标准模型下可否认的群密钥协商协议

标准模型下可否认的群密钥协商协议 A Deniable Group Key Establishment Protocol in Standard Model 张雅哲 ZHANG Yazhe 1 first-author 徐海霞 XU Haixia 1 李宝 LI Bao 1 信息安全国家重点实验室/中国科学院研究生院 信息安全国家重点实验室/中国科学院研究生院 State Key Laboratory of Information Security/Graduate University of Chinese Academy of Sciences State Key Laboratory of Information Security/Graduate University of Chinese Academy of Sciences 给出了一个标准模型下可证明安全和可证明可否认性的高效的群密钥协商协议,并基于DDH假设和伪随机函数集的存在性假设一同给出了其安全证明和可否认性证明.本文的安全分析对于研究群密钥协商协议在各种特殊的应用环境下所需要的各种不同安全特性有所帮助,其证明方法也能够对其他密钥协商协议的安全证明有启发性的作用. Deniability is a feature that aims at protecting the privacy of the protocol participants in the key establishment protocols.Currently all the previous researches about deniability in group key establishment protocols were based on the Random Oracle assumption.In this paper,the authors gives a deniable group key establishment protocol without Random Oracle along with its security analysis and deniability analysis.All the proofs are done in Standard Model.The author hopes that the work in this paper could be helpful for the research on the anlysis of the various security features of the group key establishment protocols and the proof in this paper could be helpful for the security analysis of other key establishment protocols. 群密钥协商 可否认性 标准模型 group key establishment deniability standard model TP393.08 国家重点基础研究发展计划（973）项目（2007CB311201）;国家高技术研究发展计划（863）项目（2006AA01Z427）;国家自然科学基金（60673073）;中国科学院研究生院院长基金资助项目（O65101MM03） 2008-05-01 2021-04-01 5