Fairness Analysis of Electronic Commerce Protocol Based on Strand Space

E-commerce protocols are secure protocols commonly used in ensuring the running of the e-commerce activities, and fairness is the most important security property of e-commerce protocols. A formal analysis approach of fairness based on stand space theory is proposed in this paper. Firstly, strand space model which is used to formally describe fairness of e-commerce protocols is presented. Then, strand space theory is applied to analyze the fairness of e-commerce protocols. Finally, we take the famous E-commerce protocol IBS protocol as an example to analyze the fairness with the proposed approach. The analysis result proves the availability of the proposed approach.

[1]  Lawrence C. Paulson,et al.  Proving security protocols correct , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[2]  Joshua D. Guttman,et al.  Strand Spaces: Proving Security Protocols Correct , 1999, J. Comput. Secur..

[3]  Xiangdong Li,et al.  Analysis of Offline Fair Exchange Protocols in Strand Spaces , 2008, 2008 International Conference on Computational Intelligence and Security.

[4]  Jie Yang,et al.  Security Electronic Commerce Protocol by the Third Kind Entities , 2006, 2006 International Conference on Machine Learning and Cybernetics.

[5]  F. Javier Thayer Fábrega,et al.  Strand spaces: proving security protocols correct , 1999 .

[6]  Roger M. Needham,et al.  Using encryption for authentication in large networks of computers , 1978, CACM.