Strand Spaces Analysis of Electronic Commerce Protocols
电子商务协议的串空间分析

The electronic commerce protocols often have more complex structures than authentication protocols,and a protocol might be composite of multiple sub-protocols,so the security analysis of electronic commerce protocols is more complex than the analysis of authentication protocols.Traditional belief logic is not suitable for analyzing the electronic commerce protocol.Kailar logic is suitable for analyzing the accountability of commerce protocol and it is not suitable for fairness analysis.In this paper,the strand space model is described and expanded,and the ISI protocol is proven unfair by analyzing its strands.Based on strand space model,a universal strand node path method is presented to analyze the ASW protocol,which consists of multiple sub-protocols with branch structure,and the strand space analysis shows that the ASW protocol is fair.The formal analysis methods are proposed for electronic commerce exchange protocols with on-line TTP and off-line TTP by analyzing ISI protocol and ASW protocol.