更强的密钥交换可证安全模型(英文)

摘要

设计和分析双方密钥交换协议,目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性,形成一个统一的安全模型是非常必要的。本文评估了eCK′,eCK和CK模型,证明了eCK′模型是当前最强的密钥交换可证安全模型,并形式化分析了这些模型的强弱关系。此外,对于模型间存在的蕴含关系还提供了形式化证明,并对非蕴含关系给出了反例。