| 认证测试方法在安全协议分析中的应用 |
| |
| 引用本文： | 李谢华,李建华,杨树堂,诸鸿文.认证测试方法在安全协议分析中的应用[J].计算机工程,2006,32(2):19-22. |
| |
| 作者姓名： | 李谢华 李建华 杨树堂 诸鸿文 |
| |
| 作者单位： | 上海交通大学电子工程系,上海,200030 |
| |
| 摘 要： | 系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham -Schroeder和包含三方主体的Woo—Lam认证协议的分析。最后通过比较认证测试方法和BAN逻辑在安全协议分析的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。
|
| 关 键 词： | 安全协议 串空间 认证测试 |
| 文章编号： | 1000-3428（2006）02-0019-04 |
| 收稿时间： | 2005-01-20 |
| 修稿时间： | 2005-01-20 |
Application of Authentication Test in Security Protocol Analysis |
| |
| LI Xiehua,LI Jianhua,YANG Shutang,ZHU Hongwen.Application of Authentication Test in Security Protocol Analysis[J].Computer Engineering,2006,32(2):19-22. |
| |
| Authors: | LI Xiehua LI Jianhua YANG Shutang ZHU Hongwen |
| |
| Affiliation: | Dept, of Electronic Engineering, Shanghai Jiaotong University, Shanghai 200030 |
| |
| Abstract: | The paper makes a systematic study on the authentication test, uses it to prove the security of two-part Needham-Schroeder protocol and three-part Woo-Lain protocol, and at last, compares the authentication test with BAN logic to illuminate the simplicity and complete semantics of authentication test. |
| |
| Keywords: | Security protocol Strand space Authentication test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
