Title: Fairness analysis of e-commerce protocols based on strand spaces

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.

DOI: 10.1504/IJGUC.2013.056248

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: 18 Sep 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article