| 一种安全协议的逻辑分析与改进 |
| |
| 引用本文： | 石曙东,李芝棠.一种安全协议的逻辑分析与改进[J].华中科技大学学报(自然科学版),2004,32(7):4-6. |
| |
| 作者姓名： | 石曙东 李芝棠 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,湖北,武汉,430074;华中科技大学,计算机科学与技术学院,湖北,武汉,430074 |
| |
| 基金项目： | 国家高技术研究发展计划资助项目 (86 3 30 1 0 6 1 )，国家自然科学基金资助项目 (6 98730 1 6，6 9972 0 1 7) |
| |
| 摘 要： | 采用BAN逻辑对著名的Needham—Schroeder(NS)协议建立理想化协议模型，利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性．分析结果表明，该协议只有增加初试假设，即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标，并提出改进方案．
|
| 关 键 词： | 安全协议 BAN逻辑 Needham-Schroeder协议 |
| 文章编号： | 1671-4512(2004)07-0004-03 |
| 修稿时间： | 2003年10月29 |
Logic analysis of the cryptographic protocol and its improvements |
| |
| Shi Shudong Li Zhitang Shi Shudong Doctoral Candidate, College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan ,China..Logic analysis of the cryptographic protocol and its improvements[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2004,32(7):4-6. |
| |
| Authors: | Shi Shudong Li Zhitang Shi Shudong Doctoral Candidate College of Computer Sci & Tech Huazhong Univ of Sci & Tech Wuhan China |
| |
| Institution: | Shi Shudong Li Zhitang Shi Shudong Doctoral Candidate, College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan 430074,China. |
| |
| Abstract: | BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol. The security of the NS protocol was analyzed with the initial hypothesis and the logic postulate, analyzing results show that the protocol should gain an initial hypothesis, namely, the key that user B get must be a new key. The limitation was discovered and improved. |
| |
| Keywords: | cryptographic protocol BAN logic Needham Schroeder protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
