CAJ | 학술논문

在Waters的属性基加密方案的基础上，提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议。在修改的BJM模型中，给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明。此外，针对无会话密钥托管的应用需求，在基本协议的基础上，构造了能够有效防止会话密钥托管的属性基认证密钥交换协议。在计算效率方面，所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当。
재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.