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

A Deniable Group Key Establishment Protocol in Standard Model

给出了一个标准模型下可证明安全和可证明可否认性的高效的群密钥协商协议,并基于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 establish ment 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.