论文部分内容阅读
对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needharm-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Schroeder协议进行了改进并采用认证测试方法证实了改进的协议可以满足协议的安全目标。