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

作     者：谷文 韩继红 袁霖 GU Wen;HAN Ji-hong;YUAN Lin

作者机构：解放军信息工程大学三院河南郑州450004 

基　　金：国家自然科学基金资助项目(No.1309018) 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2017年第38卷第10期

页      码：175-188页

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

主 题 词：安全协议 攻击者模型 状态扩展 

学科分类：0839[0839] 08[工学] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2017208

馆 藏 号：203277966...