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

Author

Li, Xiangdong ; Wang, Qingxian ; Jin, Xiaoyan

Author_Institution

Inst. of Inf. Eng., Inf. Eng. Univ., Zhengzhou, China

Volume

1

fYear

2009

fDate

March 31 2009-April 2 2009

Firstpage

512

Lastpage

515

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²), 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.

Keywords

computational complexity; protocols; BW multiparty contract signing protocol; Baum-Waidner protocol; formal analysis; message transmission number; protocol modeling; strand space model; Aerospace control; Clocks; Computer science; Contracts; Cryptographic protocols; Cryptography; Design optimization; Information analysis; fairness; formal analysis; multi-party contract signing; strand spaces;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Information Engineering, 2009 WRI World Congress on

Conference_Location

Los Angeles, CA

Print_ISBN

978-0-7695-3507-4

Type

conf

DOI

10.1109/CSIE.2009.780

Filename

5171223