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.