安全协议状态空间的束动作偏序约简算法

• 作者: 刘楠 祝跃飞 胡宗立 马亚南
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 状态空间约简 偏序归约 束动作 迹等价迁移
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3488-3491
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.09.080

摘要

目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限.针对该问题提出了一种束动作偏序约简算法,将同一会话中的动作序列看做一个束动作,根据攻击者截获的消息与攻击者知识集间的关系,判断迹等价的束动作迁移所到达的后继状态是否为冗余节点,以约简状态空间.该算法思想简单、易于实现；实例表明它有效地约简了安全协议的状态空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	解放军信息工程大学信息工程学院网络系	62	440	13.0	16.0
2	刘楠	解放军信息工程大学信息工程学院网络系	11	90	4.0	9.0
3	马亚南	解放军信息工程大学信息工程学院网络系	2	7	2.0	2.0
4	胡宗立	解放军信息工程大学信息工程学院网络系	2	7	2.0	2.0