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

摘要：

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

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

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2009-02-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：165-166,169