两种形式化模型的安全性分析
2001年，Canetti和Krawczyk给出了用于认证密钥交换协议的可证安全模型(CK模型)，使得协议的安全证明成为热点研究问题。近年来CK模型的一些改进版本相继出现，LaMacchia等提出的eCK模型是其中比较好的一个。本文指出了两个模型的不同之处，分析了它们各自存在的一些不足。在CK模型下分析eCK模型中证明安全的NAXOS+协议，在eCK模型中分析CK模型下证明安全的SIG-DHM协议，通过分析发现两个模型的安全性没有一个比另一个更强。
密钥建立 认证密钥 可证安全模型
程庆丰 丁晓飞 马传贵
信息工程大学信息工程学院，郑州，450002
国内会议
南京
中文
82-86
2009-05-30（万方平台首次上网日期，不代表论文的发表时间）