A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Optimistic contract signing protocols allow two parties to commit to a previously agreed upon contract, relying on a third party to abort or conÿrm the contract if needed. These protocols are relatively subtle, since there may be interactions between the subprotocols used for normal signing without the third party, aborting the protocol through the third party, or requesting conÿrmation from the third party. With the help of Mur', a ÿnite-state veriÿcation tool, we analyze two related contractdoi:10.1016/s0304-3975(01)00141-4 fatcat:vau2mq2surcnfczmgc6fbpqhhu