一种改进的基于认证测试的形式化分析方法

• 作者: 刘明达 姚萌萌 朱正超
• 来源期刊: 信息网络安全
• 学科: 工学
• 关键词: 串空间 认证测试 形式化分析方法 安全协议
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 技术研究
• 页码范围: 27-33
• 页数: 7页
• 分类号: TP309
• 字数: 5571字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1122.2019.01.004

摘要

近年来,认证测试定理得到了改进,并应用于各种安全协议的分析.但是这些改进定理在应用范围和准确性方面存在一定的缺陷.针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明.通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷.基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议.分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘明达		9	32	4.0	5.0
2	姚萌萌		6	26	1.0	5.0
3	朱正超		5	1	1.0	1.0