我们证明该方案在随机预言机模型中是可证安全的。
Then we prove that our scheme satisfies these security notions in the random oracle model.
在现代密码学中，可证安全是保证协议安全的一种方式。
In modern cryptography, one way to ensure the security of a protocol is by means of provable security.
该协议是有效的、可证安全的，并且可以容忍至多一半代理的恶意行为。
The protocols are efficient and provable secure and can tolerate the malicious behavior of up to half of the proxies.
而是否具有形式化的可证安全性，是衡量密码体制是否安全的最重要的标准。
While, the most important principle in evaluating a cryptosystem is whether it can be proved to be secure formally.
通过对一个标准模型下可证安全的无证书签名方案进行分析，指出该方案是不安全的。
A certificateless signature scheme provably secure in the standard model is analyzed. It points out that the scheme is insecure.
安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.
然后用该模型分析了一个具体的代理签名体制的例子，证明了这个代理签名方案在随机预言模型下是可证安全的。
Then, we present an examples of proxy signature scheme that can be proven secure in the random oracle model respectively.
结论：术前充分准备，严格掌握手术适应证，熟练掌握手术操作技能，可提高老年人腹腔镜胆囊切除的安全性。
Conclusions: Under carefully preparation before operation, strict indication and skillful operation, safety of laparoscopic cholecystectomy can be greatly improved in the aged patients.
结论：术前充分准备，严格掌握手术适应证，熟练掌握手术操作技能，可提高老年人腹腔镜胆囊切除的安全性。
Conclusions: Under carefully preparation before operation, strict indication and skillful operation, safety of laparoscopic cholecystectomy can be greatly improved in the aged patients.
应用推荐