基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析  

A Modular Approach Towards Design and Analysis of Authenticated Key Exchange Protocol Based on Extended Canetti-Krawczyk Model

作　　者：潘嘉昕[1] 王立斌[2] 

机构地区：[1]华南师范大学计算机学院,广州510631 [2]上海市信息安全综合管理技术研究重点实验室,上海200240

出　　处：《计算机研究与发展》2011年第8期1390-1399,共10页Journal of Computer Research and Development

基　　金：上海市信息安全综合管理技术研究重点实验室开放课题(AGK2010006)

摘　　要：提出一种模块化的扩展Canetti-Krawczyk模型(简称meCK模型)以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证密钥交换协议的模块化安全模型,并证明所提出的安全定义蕴涵原始的扩展Canetti-Krawczyk安全.借助协议模块化分析的思想,设计了一种高效且在标准模型下可证明安全的认证密钥交换协议(简称UPS协议).在meCK模型下,UPS协议的安全性可有效归约到伪随机函数簇、目标抗碰撞Hash函数簇和GapDiffie-Hellman等标准密码学假设上.与其他标准模型下可证明安全的协议相比,UPS协议所需的密码学假设更弱、更标准,且指数运算次数降低了50%～67%.最后,UPS协议的构造与安全性验证了所提出的模块化方法的合理性和有效性,并解决了ProvSec09上的一个公开问题.We propose a modular extended Canetti-Krawczyk （eCK） named as meCK, in order to avoid the controversial random oracle assumption in the security proof of authenticated key exchange （AKE） protocols. Our model treats the AKE protocol as a secret exchange module and a key derivation module, and formalizes the adversarial capabilities and security properties. By composing the security of these two modules, we have the modular model and prove that it is stronger than the original eCK model. With the help of the modular approach, an efficient AKE protocol named as UPS is designed. UPS is provably meCK-secure under the existence of pseudo-random function family, target collision-resistant hash function family and the hardness of Gap Diffie-Hellman problem. Compared with the related works in standard model, UPS requires weaker and more standard cryptographic assumptions, and reduces 50%-67% group exponentiations. Finally, the design and security proof of UPS validate the effectiveness of our model, and solve an open problem in ProvSec＇09.

关 键 词：可证明安全 认证密钥交换协议 CANETTI-KRAWCZYK模型 标准模型 GapDiffie-Hellman 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]