基于串空间模型的改进性N-S协议的分析  

Analysis of Amended N-S Protocol Based on Strand Space Model

作　　者：郭宇燕[1] 魏仕民[2] 

机构地区：[1]淮北煤炭师范学院数学系,淮北235000 [2]淮北煤炭师范学院计算机科学与技术系,淮北235000

出　　处：《计算机工程》2008年第24期165-166,169,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60773121);安徽省自然科学基金资助项目(070412052)

摘　　要：针对缪祥华提出的改进的Needham-Schroeder协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用"理想"和"诚实"2个概念简化分析协议的步骤,证明了K,Nb,Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。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, Nb^0 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.

关 键 词：N—S协议 串空间 认证性 机密性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]