10.3969/j.issn.1000-386X.2012.02.024
基于偏序归约的状态空间约简算法
目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点.针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法.两种算法思想简单,易于实现.实例表明,这两种算法有效地约简了安全协议的状态空间.
模型检测、偏序归约、逆序、迹等价
29
TP301(计算技术、计算机技术)
国家高技术研究发展计划项目2007AA01Z471
2012-04-27(万方平台首次上网日期,不代表论文的发表时间)
共4页
80-82,108