一种分析电子商务协议的新工具  

A New Approach for the Analysis of Electronic Commerce Protocols

作　　者：周典萃[1,2] 卿斯汉[1,2] 周展飞[1,2] 

机构地区：[1]中国科学院软件研究所,北京100080 [2]中国科学院信息安全技术工程研究中心,北京100080

出　　处：《软件学报》2001年第9期1318-1328,共11页Journal of Software

基　　金：国家自然科学基金资助项目 (6 0 0 830 0 7) ;国家重点基础研究发展规划 973资助项目 (G19990 35 810 )~~

摘　　要：提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始化假设 ;(3)增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 .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.

关 键 词：可追究性 公平性 逻辑分析 网上交易 电子商务协议 

分 类 号：TN915.04[电子电信—通信与信息系统]