Kailar逻辑的缺陷

被引：30

作者：

周典萃

卿斯汉

周展飞

机构：

[1] 中国科学院软件研究所!北京

[2] 中国科学院信息安全技术工程研究中心!北京

来源：

软件学报 | 1999年 / 12期

关键词：

可追究性; 电子商务; 协议; 协议分析;

D O I：

10.13328/j.cnki.jos.1999.12.002

中图分类号：

TN918 [通信保密与通信安全];

学科分类号：

0839 ; 1402 ;

摘要：

近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法 ,简称 Kailar逻辑 .该文指出这一逻辑的缺陷 :(1)不能分析协议的公平性 ;(2 )对协议语句的解释及初始化假设是非形式化的 ,存在局限性 ;(3)无法处理密文 .

引用

页码：1238 / 1245

页数：8