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

摘要

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