Kailar逻辑的缺陷及改进

摘要：

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

关键词：Kailar逻辑、电子商务、协议、协议分析

所属期刊栏目：25

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-301-06-1;国信安办资助项目2001-研1-004

在线出版日期：2004-08-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：853-855,883