%0 Journal Article
%T A New Approach for the Formal Analysis of Electronic Commerce Protocols<br>电子商务协议形式化分析的一种新方法
%A 郭云川
%A 古天龙
%A 董荣胜
%A 蔡国永
%J 计算机科学
%D 2004
%I 
%X 在电子商务领域，其协议的安全性和原子性是两个重要的问题，有必要对不断发展的协议进行分析和检验。文3]提出了逻辑分析和进程演算相结合的技术，但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性，因而本文提出了一种新的分析和检验原子性的方法。
%K 电子商务协议
%K 安全性
%K 原子性
%K 形式化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BB8A541711265977&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=5D311CA918CA9A03&sid=7AA74D31F1FF2DCE&eid=7E8E8B150580E4AB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=7