| SET协议的可追究性分析与改进 |
| |
| 引用本文： | 赵娟,郭平,王玉柱.SET协议的可追究性分析与改进[J].后勤工程学院学报,2008,24(1):58-61. |
| |
| 作者姓名： | 赵娟 郭平 王玉柱 |
| |
| 作者单位： | 1. 后勤工程学院,后勤信息工程系,重庆,400016
2. 后勤工程学院,训练部,重庆,400016 |
| |
| 摘 要： | 协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.
|
| 关 键 词： | SET协议 Kailar逻辑 可追究性 |
| 文章编号： | 1672-7843(2008)01-0058-04 |
| 修稿时间： | 2007年2月23日 |
Analysis and Improvement of SET Protocol |
| |
| ZHAO Juan,GUO Ping,WANG Yuzhu.Analysis and Improvement of SET Protocol[J].Journal of Logistical Engineering University,2008,24(1):58-61. |
| |
| Authors: | ZHAO Juan GUO Ping WANG Yuzhu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
