%0 Journal Article
%T Strand Spaces Analysis of Electronic Commerce Protocols<br>电子商务协议的串空间分析
%A LIU Yi-Chun
%A ZHANG Huan-Guo
%A <br>刘义春
%A 张焕国
%J 计算机科学
%D 2008
%I 
%X 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.
%K Strand space
%K Electronic commerce protocol
%K Fairness
%K Strand node path<br>串空间
%K 电子商务协议
%K 公平性
%K 串节点路径
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F825DB67AD291E6F01E71C410C12696C&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=0B39A22176CE99FB&sid=91C9056D8E8856E0&eid=DDD31293A7C7D057&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=18