我们在随机预言模型下给出了方案的安全性证明。
The formal security proof of this scheme is provided in the random oracle model.
最后，在随机预言模型和理想密码模型中证明了协议的安全性。
It is based on the protocol of Burmester and Desmedt and is provably-secure in the random-oracle and ideal-cipher models.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
应用推荐