论文部分内容阅读
2001年，Canetti和Krawczyk给出了用于认证密钥交换协议的可证安全模型(CK模型)，使得协议的安全证明成为热点研究问题。近年来CK模型的一些改进版本相继出现，LaMacchia等提出的eCK模型是其中比较好的一个。本文指出了两个模型的不同之处，分析了它们各自存在的一些不足。在CK模型下分析eCK模型中证明安全的NAXOS+协议，在eCK模型中分析CK模型下证明安全的SIG-DHM协议，通过分析发现两个模型的安全性没有一个比另一个更强。