Fairness analysis of e-commerce protocols based on strand spaces. (1st January 2013)

• Record Type: Journal Article
• Authors: Liu, Yichun
• Is Part Of: International journal of grid and utility computing. Volume 4:Number 2/3(2013)
• Page Start: 128
• Page End: 133
• Publication Date: 2013-01-01
• Subjects: strand space -- electronic commerce protocol -- fairness -- strand node path; Electronic data processing -- Distributed processing -- Periodicals; Electronic commerce -- Management -- Computer programs -- Periodicals; 004.605
• Languages: English
• ISSNs: 1741-847X

Abstract

Strand space logic is a formal method for analysing the security protocol. The electronic commerce protocols are of more complex structures, for example, branch structures, or a protocol is composite of multiple sub-protocols, so the analysis of electronic commerce protocols is far more complex than the analysis of authentication protocols. Fairness is a very important feature in e-commerce protocol. But traditional belief logic is not suitable for this. In this paper, we analyse the strand and bundle of ISI payment protocol and then prove its unfairness. We also present a strand node path method to analyse ASW protocol, which consists of multiple sub-protocols with branch structure, and the strand space analysis shows that this protocol is fair.