一种分析电子商务协议的新方法

A New Approach for the Analysis of Electronic Commerce Protocols

通过将Kailar逻辑和LPC形式方法相结合 ,提出一种新的用于分析电子商务协议的形式化方法 .新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力 .该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性 ,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议 .与其它的方法相比较 ,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足 .

This paper presents an approach for the analysis of e-commerce protocols by combining Kailar logic with LPC organically. This approach provides a set of inference rules for reduction and analysis of signature and cryptograph.Thus it not only describes the knowledge and behavior of participants, but also analyzes the accountability and fairness of e-commerce protocols. In addition, the use of the method enables us to analyze protocols both with in-line TTP and with off-line TTP. Compared with other approach, this one can help avoid the weakness of Kailar logic and compensate the deficiency of the LPC.