| 基于串空间模型的改进性N-S协议的分析 |
| |
| 引用本文： | 郭宇燕,魏仕民.基于串空间模型的改进性N-S协议的分析[J].计算机工程,2008,34(24):165-166. |
| |
| 作者姓名： | 郭宇燕 魏仕民 |
| |
| 作者单位： | 1. 淮北煤炭师范学院数学系,淮北,235000
2. 淮北煤炭师范学院计算机科学与技术系,淮北,235000 |
| |
| 基金项目： | 国家自然科学基金资助项目，安徽省自然科学基金资助项目 |
| |
| 摘 要： | 针对缪祥华提出的改进的Needham-Schroeder 协议，利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性，包括响应者认证、发起者认证和协议的机密性进行分析，并运用“理想”和“诚实”2个概念简化分析协议的步骤，证明了K, Nb, Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标，并与缪祥华分析的结果一致。
|
| 关 键 词： | N-S协议 串空间 认证性 机密性 |
| 修稿时间： | |
Analysis of Amended N-S Protocol Based on Strand Space Model |
| |
| GUO Yu-yan,WEI Shi-min.Analysis of Amended N-S Protocol Based on Strand Space Model[J].Computer Engineering,2008,34(24):165-166. |
| |
| Authors: | GUO Yu-yan WEI Shi-min |
| |
| Affiliation: | (1. Dept. of Mathematics, Huaibei Coal Industry Teachers College, Huaibei 235000; 2. Dept. of Computer Science＆Technology, Huaibei Coal Industry Teachers’ College, Huaibei 235000) |
| |
| Abstract: | It is the first time to prove the Miao Xianghua’s modified version of Needham-Schroeder protocol with the theory of strand space which is a rising formal analysis tool. Its authentication is analysed, the analysis contains responser’s authentication and sponsor’s authentication. Its confidentiality is analysed, and two concepts “honest” and “ideal” are used to simplify the process of verification. It indicates that K, Nb, Nb0 are secret. Result shows that the amended N-S protocol can reach the goal, and it is consistent with the result of Miao Xianghua’s analysis. |
| |
| Keywords: | N-S protocol strand space authentication confidentiality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
