Constructing Optimistic Multi-party Contract Signing Protocols

Barbara Kordy, Saa Radomirovic
2012 2012 IEEE 25th Computer Security Foundations Symposium  
We give an explicit, general construction for optimistic multi-party contract signing protocols. Our construction converts a sequence over any finite set of signers into a protocol specification for the signers. The inevitable trusted third party's role specification and computations are independent of the signer's role specification. This permits a wide variety of protocols to be handled equally by the trusted third party. We give tight conditions under which the resulting protocols satisfy
more » ... rness and timeliness. We provide examples of several classes of protocols and we discuss lower bounds for the complexity of fair protocols, both in terms of bandwidth and minimum number of messages. Our results highlight the connection between optimistic fair contract signing protocols and the combinatorial problem of constructing sequences which contain all permutations of a set as subsequences. This connection is stronger than was previously realized.
doi:10.1109/csf.2012.23 dblp:conf/csfw/KordyR12 fatcat:oqk6sxemzfec5pxiqptsfgx3fe