This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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(n2), 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.
Index Terms:
multi-party contract signing, fairness, formal analysis, strand spaces
Citation:
Xiangdong Li, Qingxian Wang, Xiaoyan Jin, "Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis," csie, vol. 1, pp.512-515, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.