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

• 作者: 郭宇燕 魏仕民
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: N-S协议 串空间 认证性 机密性
• 年，卷（期）: 2008,（24）
• 所属期刊栏目: 安全技术
• 页码范围: 165-166,169
• 页数: 3页
• 分类号: TP309
• 字数: 3554字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.24.057

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏仕民	淮北煤炭师范学院计算机科学与技术系	32	103	6.0	9.0
2	郭宇燕	淮北煤炭师范学院数学系	6	5	1.0	2.0