%0 Journal Article %A 郭宇燕 %A 魏仕民 %T 基于串空间模型的改进性N-S协议的分析 %D 2008 %R 10.3969/j.issn.1000-3428.2008.24.057 %J 计算机工程 %P 165-166 %V 34 %N 24 %X 针对缪祥华提出的改进的Needham-Schroeder 协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用“理想”和“诚实”2个概念简化分析协议的步骤,证明了K, Nb, Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。
%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.24.057