可证明安全 provable security ; provably secure
可证明安全性 provable security
可证明安全理论 Provable Security
可证明安全的 provable secure
差分可证明安全性 The differential provable security
证明可以安全使用 prove out
可证安全 可证明安全
Verifiable security
以上为机器翻译结果，长、整句建议使用 人工翻译 。
我们证明该方案在随机预言机模型中是可证安全的。
Then we prove that our scheme satisfies these security notions in the random oracle model.
youdao
然后用该模型分析了一个具体的代理签名体制的例子，证明了这个代理签名方案在随机预言模型下是可证安全的。
Then, we present an examples of proxy signature scheme that can be proven secure in the random oracle model respectively.
应用推荐
模块上移
模块下移
不移动