基于偏序归约的状态空间约简算法

• 作者: 刘楠 祝跃飞 陈晶宁 马亚南
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 模型检测 偏序归约 逆序 迹等价
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 基金项目论文
• 页码范围: 80-82,108
• 分类号: TP301
• 字数: 4250字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2012.02.024

摘要

目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点.针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法.两种算法思想简单,易于实现.实例表明,这两种算法有效地约简了安全协议的状态空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	信息工程大学信息工程学院	80	379	10.0	14.0
2	刘楠	信息工程大学信息工程学院	13	29	3.0	4.0
3	马亚南	信息工程大学信息工程学院	2	2	1.0	1.0
4	陈晶宁	信息工程大学信息工程学院	2	2	1.0	1.0