提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安...提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性。实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率。展开更多
文摘提出一种基于改进认证测试理论的高效安全协议验证算法---AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性。实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率。
