标准模型下可证安全的属性基认证密钥交换协议
Provable Secure Attribute Based Authenticated Key Exchange Protocols in the Standard Model作者机构:数学工程与先进计算国家重点实验室(解放军信息工程大学)河南郑州450001
出 版 物:《软件学报》 (Journal of Software)
年 卷 期:2014年第25卷第10期
页 面:2397-2408页
核心收录:
学科分类:0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家重点基础研究发展计划(973)(2012CB315905)
摘 要:在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议.在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明.此外,针对无会话密钥托管的应用需求,在基本协议的基础上,构造了能够有效防止会话密钥托管的属性基认证密钥交换协议.在计算效率方面,所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当.