We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol.
- Authors
Xiaoru Li; Xiaohong Li; Guangquan Xu; Jing Hu; Zhiyong Feng
- Abstract
Optimisticmultiparty contract signing (OMPCS) protocols are proposed for exchangingmultiparty digital signatures in a contract. Compared with general two-party exchanging protocols, such protocols are more complicated, because the number of protocol messages and states increases considerably when signatories increase. Moreover, fairness property in such protocols requires protection from each signatory rather than from an external hostile agent. It thus presents a challenge for formal verification. In our analysis, we employ and combine the strength of extended modeling language CSP# and linear temporal logic (LTL) to verify the fairness of OMPCS protocols. Furthermore, for solving ormitigating the state space explosion problem, we set a state reduction algorithm which can decrease the redundant states properly and reduce the time and space complexity greatly. Finally, this paper illustrates the feasibility of our approach by analyzing the GM and CKS protocols, and several fairness flaws have been found in certain computation times.
- Subjects
DIGITAL signatures; MODELING languages (Computer science); COMPUTER network protocols; DATA reduction; CONTRACTS; ALGORITHMS
- Publication
Journal of Applied Mathematics, 2014, p1
- ISSN
1110-757X
- Publication type
Article
- DOI
10.1155/2014/983204