%0 Journal Article
%T Efficient Protocol-proving Algorithm Based on Improved Authentication Tests
基于改进认证测试理论的高效安全协议验证算法
%A LI Xie-hu
%A GAO Chun-ming
%A
李谢华
%A 高春鸣
%J 计算机科学
%D 2009
%I
%X 提出一种基于改进认证测试理论的高效安全协议验证算法--AAAP(Automatic Analyzer for Authentica-tion Protocols)算法.利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性.实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率.
%K Security protocol
%K Improved authentication tests
%K Neuman-Stubblebine protocol
%K NSL protocol
安全协议
%K 改进的认证测试
%K Neuman-Stubblebine协议
%K NSL协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=462698F7337A54CA14219E3312BFB4F9&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=E158A972A605785F&sid=B9704B40A4225A24&eid=228A710F49B6CE58&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=10