| 基于认证测试的通用安全协议设计方法 |
| |
| 引用本文： | 李谢华,李建华,杨树堂. 基于认证测试的通用安全协议设计方法[J]. 上海交通大学学报, 2006, 40(3): 524-527 |
| |
| 作者姓名： | 李谢华 李建华 杨树堂 |
| |
| 作者单位： | 上海交通大学,电子工程系,上海,200030 |
| |
| 基金项目： | 国家高技术研究发展计划(863)项目(2002AA145090) |
| |
| 摘 要： | 以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题.
|
| 关 键 词： | 安全协议 认证测试 Needham-Schroeder公钥协议 |
| 文章编号： | 1006-2467(2006)03-0524-04 |
| 收稿时间： | 2005-03-21 |
| 修稿时间： | 2005-03-21 |
An Authentication-Based Security Protocol Design Method |
| |
| LI Xie-hua,LI Jian-hua,YANG Shu-tang. An Authentication-Based Security Protocol Design Method[J]. Journal of Shanghai Jiaotong University, 2006, 40(3): 524-527 |
| |
| Authors: | LI Xie-hua LI Jian-hua YANG Shu-tang |
| |
| Affiliation: | Dept. of Electronic Eng. , Shanghai Jiaotong Univ. , Shanghai 200030, China |
| |
| Abstract: | This paper introduced an authentication tests-based method for guiding security protocol design,and uses it to redesign the Needham-Schroeder publickey protocol.The redesigned protocol was verified with the authentication tests.The verification result shows that the redesigned Needham-Schroeder publickey protocol can achieve the security goal of confidentiality,identity authentication and data authentication,thus it can efficiently avoid the man-in-middle attack. |
| |
| Keywords: | security protocol authentication tests Needham-Schroeder public-key protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
