Authors: Yichun Liu
Addresses: Guangdong Key Lab of Electronic Commerce, Guangdong University of Business Studies, Guangzhou, China
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.
Keywords: strand spaces; electronic commerce; e-commerce protocols; fairness; strand node path; security protocols.
International Journal of Grid and Utility Computing, 2013 Vol.4 No.2/3, pp.128 - 133
Received: 25 Aug 2012
Accepted: 23 Sep 2012
Published online: 01 Sep 2013 *