SSMCI:以攻击者为中心的安全协议验证机制

• 作者: 袁霖 谷文 韩继红
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 安全协议 攻击者模型 状态扩展
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 学术通信
• 页码范围: 175-188
• 页数: 14页
• 分类号: TP393.08
• 字数: 16240字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2017208

摘要

提出一种能对安全协议进行分析的自动化验证机制.提出需求的概念,认为需求是攻击者未知但又对攻击者合成目标项至关重要的知识集合,并建立了以需求为中心的攻击者模型;设计一种以攻击者为中心的状态搜索方式,按需添加协议会话实例,为避免新增协议会话实例引起攻击者推理出现时序矛盾,引入回溯机制以确保状态转移过程中攻击者知识能正确增长.实验表明,该系统能正确验证协议的安全性,状态空间数目略优于Scyther工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩继红		59	243	9.0	11.0
2	袁霖		7	70	3.0	7.0
3	谷文		3	2	1.0	1.0