计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
2期
80-82,108
,共4页
马亚南%刘楠%陈晶宁%祝跃飞
馬亞南%劉楠%陳晶寧%祝躍飛
마아남%류남%진정저%축약비
模型检测%偏序归约%逆序%迹等价
模型檢測%偏序歸約%逆序%跡等價
모형검측%편서귀약%역서%적등개
目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点.针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法.两种算法思想简单,易于实现.实例表明,这两种算法有效地约简了安全协议的状态空间.
目前,針對安全協議分析的偏序歸約算法較為複雜且不易實現,限製瞭其適用範圍,未攷慮約簡誠實主體會話中的逆序結點.針對該問題,採用偏序歸約的思想,提齣一種誠實主體會話中逆序結點的約簡算法以及一種跡等價遷移冗餘後繼結點的約簡算法.兩種算法思想簡單,易于實現.實例錶明,這兩種算法有效地約簡瞭安全協議的狀態空間.
목전,침대안전협의분석적편서귀약산법교위복잡차불역실현,한제료기괄용범위,미고필약간성실주체회화중적역서결점.침대해문제,채용편서귀약적사상,제출일충성실주체회화중역서결점적약간산법이급일충적등개천이용여후계결점적약간산법.량충산법사상간단,역우실현.실례표명,저량충산법유효지약간료안전협의적상태공간.
