By Topic

A Multi-Party Contract Signing Protocol and its Formal Analysis in Strand Space Model

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

4 Author(s)
Xiangdong Li ; Inst. of Inf. Eng., Inf. Eng. Univ., Zhengzhou ; Zhenyu Wang ; Li Chen ; Qingxian Wang

Difficulties in designing multi-party contract signing (MPCS) protocols include providing concise and efficient protocols and at the same time keeping the protocols fair and abuse-free. This paper proposed an optimistic MPCS protocol. The number of rounds is reduced to two and the message transmission number to O(n2), which is the best known so far. Formal definitions of fairness and abuse-freeness are presented in the strand space model, and formal analysis shows that fairness and abuse-freeness are satisfied in the protocol.

Published in:

Education Technology and Computer Science, 2009. ETCS '09. First International Workshop on  (Volume:3 )

Date of Conference:

7-8 March 2009