Abstract
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed contract text signed by all the others, or none of them does. This paper proposed an improvement on the optimistic MPCS protocol described by Baum-Waidner and Waidner (BW). The number of rounds is reduced to two and the message transmission number to O(n <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> ), which is the best known so far. Protocol modeling and formal definition of fairness are presented in the strand space model, and formal analysis shows that fairness is satisfied in the new protocol.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
