Cart (Loading....) | Create Account
Close category search window

Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Xiangdong Li ; Inst. of Inf. Eng., Inf. Eng. Univ., Zhengzhou, China ; Qingxian Wang ; Xiaoyan Jin

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.

Published in:

Computer Science and Information Engineering, 2009 WRI World Congress on  (Volume:1 )

Date of Conference:

March 31 2009-April 2 2009

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.