改进的Kailar逻辑在协议分析中的应用  

Application of Improved Kailar Logic in Protocol Analysis

作　　者：余昭平[1] 张岚[1] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004

出　　处：《计算机工程与应用》2005年第32期118-120,148,共4页Computer Engineering and Applications

基　　金：现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZDIZS0601)

摘　　要：通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又能分析复杂的电子商务协议。This paper presents an approach for the analysis of e-commerce protocols by improving Kailar Logic.This approach provides a set of inference rules for reduction and analysis of signature and cryptograph.Thus it not only analyzes the accountability of e-commerce protocols,but also the fairness.Compared with other approach,this one can help avoid the weakness of Kailar Logic and analyze complex e-commerce protocols.

关 键 词：电子商务 协议 可追究性 公平性 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]