基于串空间模型的认证测试方法

• 作者: 张玲玲 谢圣献 贾仰理
• 来源期刊: 聊城大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 串空间模型 N-S公钥协议
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 应用科学研究
• 页码范围: 79-82
• 页数: 4页
• 分类号: TP309
• 字数: 3847字
• 语种: 中文

摘要

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类。利用串空间模型理论对Needham‐Schroeder（N‐S）公钥协议中中间人攻击问题进行形式化分析与设计，并对其进行证明。与原有技术相比，该方法更为形式化，协议分析人员可以很方便地进行手动分析，并且更有利于协议分析自动化工具的实现。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢圣献	聊城大学计算机学院	37	165	8.0	10.0
2	贾仰理	聊城大学计算机学院	13	77	5.0	8.0
3	张玲玲	聊城大学计算机学院	5	1	1.0	1.0