Needham-Schroeder协议的认证测试方法形式化分析

• 作者: 刘晓东 张选芳 李廷元 秦志光
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析 串空间模型 认证测试方法 Needham-Schroeder协议
• 年，卷（期）: 2010,（19）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 100-102
• 分类号: TP301.02
• 字数: 4302字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.19.029

摘要

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法.针对Needham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	秦志光	电子科技大学计算机科学与工程学院	262	3157	26.0	46.0