ABeCK模型下安全的基于属性的认证密钥协商协议  

Attribute-Based Authenticated Key Agreement Protocol Secure in ABeCK Model

作　　者：高海英[1] 

机构地区：[1]中国人民解放军信息工程大学,河南郑州450001

出　　处：《软件学报》2015年第12期3183-3195,共13页Journal of Software

基　　金：国家自然科学基金(61272488;61272041;61202491)~~

摘　　要：基于属性的认证密钥协商(attribute-based authenticated key agreement,简称ABAKE)协议可在保护身份隐私的通信环境中为用户建立共享的会话密钥,ABe CK(attribute-based extended Canetti-Krawczyk)模型是适用于ABAKE协议安全性分析的一种安全强度较高的模型.首先在GCDH(gap computational Diffie-Hellman)假设的基础上提出了GCPBDHE(gap computational parallel bilinear Diffie-Hellman exponent)假设,然后,基于Waters属性基加密方案提出了一个基于属性的认证密钥协商协议,并在GCPBDHE假设和CDH假设成立的条件下,证明了该方案在ABe CK模型下是安全的.与现有的ABe CK模型下安全的ABAKE协议相比,降低了通信开销.Attribute-based authenticated key agreement （ABAKA） protocol is used to establish session key among parties in the communication environment in which the identity information of individual is protected. Attribute-based extended Canetti-Krawczyk （ABeCK） model is a model with more security applying to the security proof of ABAKE protocol. This paper presents gap computational parallel bilinear Diffie-Hellman exponent （GCPBDHE） assumption based on gap computational Diffie-Hellman （GCDH） assumption. Based on Waters scheme, it establishes an ABAKA protocol, and proves its security in ABeCK model under GCPBDHE and CDH assumptions. Compared with the existing ABAKE protocols, the new protocol is more efficient in communication cost.

关 键 词：基于属性 密钥协商 ABeCK模型 GCDH假设 GCPBDHE假设 

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