电子商务协议的串空间分析

本品为葡萄糖、氯化钠、氯化钙、氯化镁和乳酸钠的灭菌水溶液。含葡萄糖（C6H12O6·H2O）、乳酸钠（C3H5NaO3）均应为标示量的90．0％～110．0％；含氯化钙（CaCl2·2H2O）应为标示量的85．0％～115．0％；含氯化镁（MgCl2·6H2O）均应为标示量的80．0％～120．0％；本品每1mL含总钠（Na）应为2．73～3．34Mg；每1mL中含总氯（Cl）3．06～3．74mg。

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.