Neuman-Stubblebine协议的串空间模型及分析

• 作者: 丁萌伟 周清雷 赵东明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全协议 Neuman-Stubblebine协议 串空间 理想
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 基金项目论文
• 页码范围: 37-39
• 页数: 3页
• 分类号: TP3
• 字数: 4088字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.05.013

摘要

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析.分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
3	丁萌伟	郑州大学信息工程学院	3	9	2.0	3.0