%0 Journal Article
%T A New Approach for the Analysis of Electronic Commerce Protocols<br>一种分析电子商务协议的新工具
%A ZHOU Dian cui
%A QING Si han
%A ZHOU Zhan fei
%A <br>周典萃
%A 卿斯汉
%A 周展飞
%J 软件学报
%D 2001
%I 
%X In this paper, a new framework is proposed for the analysis of electronic commerce protocols. Comparing to the framework proposed by Kailar, it has three major improvements. Firstly, it can analyze fairness of protocols efficiently. In the analysis of fairness, it takes the reliability of communication channels into consideration. Secondly, the initial possesion set depends on environment in stead of human beings. At last, by introducing the cipher text understanding rule the new framework can analyze the message which includes signed cipher text.
%K accountability
%K electronic commerce
%K fairness
%K logical analysis
%K protocol<br>可追究性
%K 电子商务
%K 公平性
%K 逻辑分析
%K 协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1BA0D5D745778556&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=9CF7A0430CBB2DFD&sid=0E223208672FF713&eid=F016DE22306D4D4A&journal_id=1000-9825&journal_name=软件学报&referenced_num=45&reference_num=7