SET协议的可追究性分析与改进

• 作者: 王玉柱 赵娟 郭平
• 来源期刊: 后勤工程学院学报
• 学科: 工学
• 关键词: SET协议 Kailar逻辑 可追究性
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 信息与自动化技术
• 页码范围: 58-61
• 页数: 4页
• 分类号: TP309
• 字数: 4040字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-7843.2008.01.015

摘要

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭平	后勤工程学院训练部	25	93	5.0	8.0
2	赵娟	后勤工程学院后勤信息工程系	17	124	5.0	10.0
3	王玉柱	后勤工程学院后勤信息工程系	19	91	5.0	9.0