%0 Journal Article
%T New Approach for Analyzing of E-commerce Protocol
一种新的电子商务协议分析方法
%A GUO Hua
%A LI Zhou-jun
%A ZHUANG Lei
%A JI Hong-lin
%A
郭华
%A 李舟军
%A 庄雷
%A 计宏霖
%J 计算机科学
%D 2010
%I
%X This paper presented an extended CSFM by combining communication finite state machine(CSFM) with some new logic rules based on Qing-Zhou logic to analyze security properties of E-commerce protocols. It not only can describe the knowledge and behavior of participants, but also analyze the security properties without initial state assumptions. In addition, this method enables us to verity other security properties after abstracting and modifying the model. Using this method,accountability,fairness and atomicity were analyzed to be satisfied in the anonymous and failure resilient fair-exchange ecommerce protocol. Then UPPAAL was used to verify the properties of fairness, liveness and timeliness.
%K E-commerce protocol
%K Model checking
%K Logic proving
%K Communication finite state machine
电子商务协议
%K 模型检测
%K 逻辑分析
%K 通信有限状态自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7055BED7E624A86363A66DC0EA5ECB29&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=5D311CA918CA9A03&sid=014B591DF029732F&eid=BFE7933E5EEA150D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14