Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Joint Authors
Feng, Zhiyong
Li, Xiaohong
Hu, Jing
Li, Xiaoru
Xu, Guangquan
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-06-17
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract EN
Optimistic multiparty contract signing (OMPCS) protocols are proposed for exchanging multiparty 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 or mitigating 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.
American Psychological Association (APA)
Li, Xiaoru& Li, Xiaohong& Xu, Guangquan& Hu, Jing& Feng, Zhiyong. 2014. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-513471
Modern Language Association (MLA)
Li, Xiaoru…[et al.]. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol. Journal of Applied Mathematics No. 2014 (2014), pp.1-10.
https://search.emarefa.net/detail/BIM-513471
American Medical Association (AMA)
Li, Xiaoru& Li, Xiaohong& Xu, Guangquan& Hu, Jing& Feng, Zhiyong. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-513471
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-513471