| 摘要: |
| 在Waters的属性基加密方案的基础上，提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议.在修改的BJM模型中，给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明.此外，针对无会话密钥托管的应用需求，在基本协议的基础上，构造了能够有效防止会话密钥托管的属性基认证密钥交换协议.在计算效率方面，所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当. |
| 关键词: 属性基加密 认证密钥交换 属性认证 标准模型 |
| DOI：10.13328/j.cnki.jos.004505 |
| 分类号: |
| 基金项目:国家重点基础研究发展计划（973）（2012CB315905） |
|
| Provable Secure Attribute Based Authenticated Key Exchange Protocols in the Standard Model |
|
WEI Jiang-Hong, LIU Wen-Fen, HU Xue-Xian
|
|
State Key Laboratory of Mathematical Engineering and Advanced Computing(PLA Information Engineering University), Zhengzhou 450001, China
|
| Abstract: |
| 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 cancel the 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. |
| Key words: attribute based encryption authenticated key exchange attribute authentication standard model |
