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

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

作　　者：刘庆华[1] 周小燕[1] 

机构地区：[1]焦作大学

出　　处：《中国市场》2008年第15期112-114,共3页China Market

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

关 键 词：可追究性 KAILAR逻辑 初始化假设 

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