Kailar逻辑的缺陷及改进

作者：石曙东; 李之棠

来源：计算机工程与设计, 2004, (06): 853-855+883.

DOI：10.16208/j.issn1000-7024.2004.06.002

• Kailar逻辑
• 电子商务
• 协议
• 协议分析 Kailar logic
• electronic commerce
• protocol
• protocol analysis.

近年来,电子商务协议的设计逐渐成为热点。Kailar提出了一种用于分析电子商务协议中可追究性的形 式化分析方法,简称Kailar逻辑。指出这一逻辑的缺陷:在发生重放攻击时不能正确分析各方面的责任,在验证 协议是否满足公平性原则时,具有一定的局限性。针对上述缺陷提出改进措施。

• 单位
  华中科技大学; 湖北师范大学