%0 Journal Article
%T A Formal Method for Analyzing Electronic Commerce Protocols<br>一种电子商务协议形式化分析方法
%A QING Si-Han
%A <br>卿斯汉
%J 软件学报
%D 2005
%I 
%X A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented. Compared with the previous work, the main contributions are the following. Firstly, a formal definition is given to the possession set of each protocol participant, and the initial possession set depends only on the environment. Secondly, the set of initial state assumptions is divided into three categories: basic assumptions, trust assumptions, and protocol comprehension assumptions, in order to avoid analysis errors caused by informal initial state assumptions. Thirdly, the set of trust assumptions is articulated by formal specification at a lower level of granularity, exposing the essence of the protocol. Fourthly, establishing an axiom system makes the new approach more rigorous and expressive.
%K formal analysis
%K electronic commerce protocol
%K accountability
%K fairness
%K TTP<br>形式化分析
%K 电子商务协议
%K 可追究性
%K 公平性
%K 可信第三方
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BAAC42715AB974D6&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=F3090AE9B60B7ED1&sid=43E2C08889D1FABC&eid=0B2B64BA93B3A889&journal_id=1000-9825&journal_name=软件学报&referenced_num=14&reference_num=21