Kailar逻辑的缺陷

• 作者: 卿斯汉 周典萃 周展飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可追究性 电子商务 协议 协议分析
• 年，卷（期）: 1999,（12）
• 页码范围: 1238-1245
• 页数: 8页
• 分类号: TP309
• 字数: 5450字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卿斯汉	中国科学院信息安全技术工程研究中心	145	4238	29.0	62.0
2	周典萃	中国科学院软件研究所	2	194	2.0	2.0
3	周展飞	中国科学院软件研究所	9	291	4.0	9.0