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

发布时间：2018-03-14 07:56

  本文选题：安全协议　切入点：攻击者模型　出处：《通信学报》2017年10期 　论文类型：期刊论文

【摘要】：提出一种能对安全协议进行分析的自动化验证机制。提出需求的概念,认为需求是攻击者未知但又对攻击者合成目标项至关重要的知识集合,并建立了以需求为中心的攻击者模型;设计一种以攻击者为中心的状态搜索方式,按需添加协议会话实例,为避免新增协议会话实例引起攻击者推理出现时序矛盾,引入回溯机制以确保状态转移过程中攻击者知识能正确增长。实验表明,该系统能正确验证协议的安全性,状态空间数目略优于Scyther工具。
[Abstract]:This paper presents an automated verification mechanism for analyzing security protocols, and proposes the concept of requirements, which is considered to be a set of knowledge that is unknown to an attacker but important for an attacker to synthesize a target term. An attacker model based on requirement is established, and a state search method is designed to add protocol session instance on demand. In order to avoid the temporal contradiction of the reasoning of the attacker caused by the new protocol session instance, a state search method based on the attacker is designed. The backtracking mechanism is introduced to ensure that the attacker's knowledge can increase correctly in the process of state transition. Experiments show that the system can verify the security of the protocol correctly and the number of state spaces is slightly better than that of Scyther tools.
【作者单位】： 解放军信息工程大学三院;
【基金】：国家自然科学基金资助项目(No.1309018)~~
【分类号】：TP393.08

【相似文献】

相关期刊论文 前10条

1 李艳,彭熙,肖德宝;计算机网络通信协议验证技术的研究[J];计算机工程;2002年11期

2 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期

3 黄卿;王亚弟;韩继红;范钰丹;黄河;;一种基于状态扩展的安全协议验证机制[J];计算机应用研究;2010年06期

4 韩进;谢俊元;;一种基于攻击序列求解的安全协议验证新算法[J];计算机科学;2010年09期

5 蒙移发;徐惠民;高强;;协议验证与一致性测试方法[J];计算机科学;2002年05期

6 宋震,李舟军,窦文华;基于类型理论的安全协议验证技术[J];计算机工程与科学;2005年03期

7 胡声洲;余敏;章志明;;一种基于关联规则的安全协议验证方法[J];计算机应用;2007年08期

8 黄连生,王新兵,谢峰,杨克;基于攻击者的“角色冒充”的协议验证方法[J];清华大学学报(自然科学版);2001年07期

9 李梦君,李舟军,陈火旺;基于进程代数安全协议验证的研究综述[J];计算机研究与发展;2004年07期

10 乔海燕;;安全协议验证的归纳方法与串空间形式化比较[J];计算机研究与发展;2008年S1期

相关博士学位论文 前2条

1 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

2 庄雷;基于Gnutella协议的Peer-to-Peer网络研究及其协议验证[D];中国人民解放军信息工程大学;2004年

，

本文编号：1610295