一种基于状态扩展的安全协议验证机制

• 作者: 王亚弟 范钰丹 韩继红 黄卿 黄河
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 自动化验证 基本搜索 扩展搜索
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2327-2330
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.06.095

摘要

基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况.针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,得到协议基本状态,然后进行扩展搜索,考虑基本状态与其他协议运行的关系,形成协议扩展状态.该机制能够有效反映出协议的运行情况,且能够同时对多种安全性质进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	范钰丹	解放军信息工程大学电子技术学院	12	24	2.0	4.0
4	黄卿	解放军信息工程大学电子技术学院	3	4	1.0	1.0