论文部分内容阅读
将消息类型的概念和检测方法引入认证测试的分析过程，提出基于消息类型检测的认证测试分析方法，从而完善了认证测试在对称密钥协议验证中的应用，使其具有发现消息重放攻击和类型攻击的能力．对Neuman—Stubblebine协议和Kao—Chow协议的分析结果表明，基于消息类型检测的认证测试方法能够发现对Neuman—Stubblebine协议的类型攻击，并且为Kao—Chow协议提供更为准确的证明．