| SET支付协议的形式化分析与改进 |
| |
| 引用本文： | 吴建耀,张玉清,杨波. SET支付协议的形式化分析与改进[J]. 计算机工程, 2006, 32(3): 164-166,168 |
| |
| 作者姓名： | 吴建耀 张玉清 杨波 |
| |
| 作者单位： | 中科院研究生院国家计算机网络入侵防范中心,北京,100043;西安电子科技大学ISN国家重点实验室,西安,710071;中科院研究生院国家计算机网络入侵防范中心,北京,100043;西安电子科技大学ISN国家重点实验室,西安,710071 |
| |
| 摘 要： | 使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析，找到了6种不同的攻击形式，其中4种是新发现的攻击，通过对这6种攻击形式的深入分析和分类，发现了原协议中存在的漏洞，最后对该协议进行了改进，从而有效避免了以上6种攻击，提高了协议的安全性。
|
| 关 键 词： | SET支付协议 运行模式分析法 形式化分析 |
| 文章编号： | 1000-3428（2006）03-0164-03 |
| 收稿时间： | 2005-02-04 |
| 修稿时间： | 2005-02-04 |
Running-mode Analysis of Symlified SET Purchase Protocol |
| |
| WU Jianyao,ZHANG Yuqing,YANG Bo. Running-mode Analysis of Symlified SET Purchase Protocol[J]. Computer Engineering, 2006, 32(3): 164-166,168 |
| |
| Authors: | WU Jianyao ZHANG Yuqing YANG Bo |
| |
| Abstract: | The simplified SET purchase protocol is analyzed using a formal analysis method called the approach of the running-mode analysis. By analyzing the protocol, six different types of attack are found, of which four types of attack are first found. An in-depth analysis and classify is also made to find the leaks of the protocol. Finally, some improvements are made to avoid these attacks effectively, which improve the security of the protocol. |
| |
| Keywords: | SET purchase protocol Running-mode analysis Formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
