基于改进认证测试理论的高效安全协议验证算法

提出一种基于改进认证测试理论的高效安全协议验证算法——aaap（automaticanalyzerforauthenticationprotocols）算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题，通过算法实现改进认证测试中的三条定理，从而证明安全协议的安全属性。实验证明，该算法能够检测出neuman-stubblebine协议中存在的类型攻击，并在对nsl（needham-schroeder-lowe）协议的证明中较其他几种经典算法具有更高的效率。