%0 Journal Article
%T 基于改进认证测试理论的高效安全协议验证算法
%A 李谢华 高春鸣？
%J 计算机科学
%D 2009
%X 提出一种基于改进认证测试理论的高效安全协议验证算法——aaap（automaticanalyzerforauthenticationprotocols）算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题，通过算法实现改进认证测试中的三条定理，从而证明安全协议的安全属性。实验证明，该算法能够检测出neuman-stubblebine协议中存在的类型攻击，并在对nsl（needham-schroeder-lowe）协议的证明中较其他几种经典算法具有更高的效率。
%K 安全协议改进的认证测试neuman-stubblebine协议nsl协议
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30051018&flag=1