一种改进的安全协议认证测试分析方法

摘要：

认证测试方法是以串空间模型为基础的一种形式化分析方法。该方法在协议形式化分析过程中具有简洁、清晰等优点，然而，认证测试方法不能检测类型缺陷攻击，文中着力于研究认证测试方法的定义、输出测试定理、输入测试定理以及主动测试定理，以ISO/IEC9798-3协议的安全性分析为例指出认证测试方法的局限，在此基础上重新修改认证测试方法的相关定义，提出新的改进方案，新的认证测试方法扩大了认证测试理论的应用范围。

关键词：安全协议、认证测试、串空间

分类号：TP393(计算技术、计算机技术)

在线出版日期：2014-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：951-954