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

摘要

在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.