%0 Journal Article
%T Stuttering partial-order reduction algorithm in verification of security protocols<br>安全协议状态空间的束动作偏序约简算法*
%A MA Ya-nan
%A LIU Nan
%A ZHU Yue-fei
%A HU Zong-li
%A <br>马亚南
%A 刘楠
%A 祝跃飞
%A 胡宗立
%J 计算机应用研究
%D 2011
%I 
%X 目前安全协议分析的偏序归约算法较为复杂、不易实现，限制了其适用范围，且以动作为基础，粒度较小，对减少状态空间的作用有限。针对该问题提出了一种束动作偏序约简算法，将同一会话中的动作序列看做一个束动作，根据攻击者截获的消息与攻击者知识集间的关系，判断迹等价的束动作迁移所到达的后继状态是否为冗余节点，以约简状态空间。该算法思想简单、易于实现；实例表明它有效地约简了安全协议的状态空间。
%K 安全协议
%K 状态空间约简
%K 偏序归约
%K 束动作
%K 迹等价迁移
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=49438F68A18A4524908476D79E2CACB6&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=9CF7A0430CBB2DFD&sid=EF290535A630A82C&eid=46E70AD150839BB5&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=9