摘要： 提出了一种简单的,更适合于自动化操作的密码协议分析方法。通过进一步分析攻击者的计算能力,形成一个有效的自动推理系统。攻击者为应答挑战主体的消息,把该消息应答转化为利用推理系统进行合一替换。并分别给出了协议的推理说明。Needham-Schroeder

关键词: 密码协议, 合一替换, 自动推理

Abstract: We use a new automatic formal approach for the analysis of cryptographic protocols. Based on the analysis of intruder's computation ability, we build a automatic inference system, by which intruder changes taking up challenge into unification substitution problem. Moreover, we illustrate the method using Needham-Schroeder protocol. ;;

中图分类号: 

• TN918.1