注入攻击序列搜索算法对安全协议的验证研究

• 作者: 谢俊元 韩进
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 安全协议 验证分析 注入攻击序列
• 年，卷（期）: 2010,（7）
• 页码范围: 608-616
• 分类号: TP393.08
• 字数: 7245字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.07.004

摘要

通过对D-Y攻击者模型研究,可知注入攻击是攻击者实现其攻击目标的必要手段.对注入攻击序列的性质进行分析,提出了一种在安全协议会话状态空间中搜索注入攻击序列的算法,基于该算法可实现一种新的安全协议验证方法.利用该方法实现了NS公钥协议的验证.实验表明该方法可以实现对安全协议的自动化验证,降低了验证的复杂度,并能给出安全协议漏洞的具体攻击方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢俊元	南京大学计算机软件新技术国家重点实验室	95	1363	20.0	32.0
2	韩进	南京大学计算机软件新技术国家重点实验室	7	35	3.0	5.0