标准模型下可证安全的属性基认证密钥交换协议  

Provable Secure Attribute Based Authenticated Key Exchange Protocols in the Standard Model

作　　者：魏江宏[1] 刘文芬[1] 胡学先[1] 

机构地区：[1]数学工程与先进计算国家重点实验室(解放军信息工程大学),河南郑州450001

出　　处：《软件学报》2014年第10期2397-2408,共12页Journal of Software

基　　金：国家重点基础研究发展计划(973)(2012CB315905)

摘　　要：在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议.在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明.此外,针对无会话密钥托管的应用需求,在基本协议的基础上,构造了能够有效防止会话密钥托管的属性基认证密钥交换协议.在计算效率方面,所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当.Based on Waters’ attribute based encryption scheme, this paper proposes a two-party attribute based authenticated key exchange protocol with provable security in the standard model. The detailed proof of the security is presented in the modified BJM model under the decisional bilinear Diffie-Hellman assumption. In addition, to satisfy the requirement that the session key should not be escrowed by the trusted third party, a new protocol, which can cancellthe escrow of the session key, is constructed from the basic protocol. The computation efficiency of the proposed protocols is nearly equivalent to the computation efficiency of the available ABAKE protocols with provable secure attribute in the random oracle model.

关 键 词：属性基加密 认证密钥交换 属性认证 标准模型 

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