电子商务协议可追究性的Kailar分析与改进

可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本文讨论了逻辑的一种缺陷——初始化假设不当而致Kailar逻辑不能正确分析各方的可追究性,并分析了出现这种缺陷的原因,提出了改进方案。

The Accountability Research on Karliar Logic for the Analysis of Electronic Commerce Protocol

The accountability is one of electronic commerce secure essential requirements,The Kailar logic is aims at the electronic business to be possible specially the investigation to carry on the analysis logic. However the Kailar logic also has the insufficiency. This article discussed the logical one kind of flaw initial state assumption not to be able to analyze all quarters to be possible correctly the investigation. Analyzed had this kind of flaw the reason. Proposed the improvement program.