可证明安全是现代密码方案的基本要求。
Provable Security is the essential requirement of modern cryptographic schemes.
接着提出了一个基于身份的可证明安全的群签名方案。
Then, we propose a provably secure and ID-Based group signature scheme.
在标准模型下设计高效可证明安全的签名方案具有现实意义。
To design a signature scheme which are efficient and provably secure in the standard model is suitable for applications.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
最后，提出了可证明安全的抵御SPA攻击的RSA加密方案的设计方法。
Finally, the design of RSA encrypt scheme and its provable security were discussed.
该方案在随机预言模型下是可证明安全的，而且也是高效的方案，只需要一个对运算。
The scheme is provably secure in the random oracle model, and is an efficient scheme. It only needs one pairing operation.
结果表明，在所用分组密码是伪随机置换的条件下，方案在分块适应性攻击模型下是可证明安全的。
Investigation shows that the scheme is provable security under the blockwise adaptive attack model if the underlying block cipher is a pseudorandom permutation.
介绍基于对称密码系统的可证明安全理论，利用平方哈希函数实现技术，对一种可证明安全算法DFC实施改进后，安全性没有损失，但是速度得到了提高。
In this paper, based on provable security theory, a provable security cipher DFC is improved on speed without lost of security by means of fast implementation of square hash function.
装备了可扶持的柱子以及最快环道上的长椅，这种移动人行道被证明是非常安全的。
Equipped with posts to hold on to and benches along the fastest ring, the walkways had proved remarkably safe.
摆放在长谷川桌子上的大部分检测样品，都被证明所含的放射性元素铯- 134，铯- 137和碘- 131均在可安全范围内。
Most of the samples that have passed across Hasegawa's desk have proved to be within the legal consumption limit of the radioactive isotopes cesium 134 and 137 and iodine 131.
基于完全零知识交互证明系统和位委托方案，提出了可证明的安全水印认证协议。
A proved secure protocol for watermark verification based on perfect zero knowledge interactive proof system and bit commitments scheme is proposed.
我们证明该方案在随机预言机模型中是可证安全的。
Then we prove that our scheme satisfies these security notions in the random oracle model.
然后用该模型分析了一个具体的代理签名体制的例子，证明了这个代理签名方案在随机预言模型下是可证安全的。
Then, we present an examples of proxy signature scheme that can be proven secure in the random oracle model respectively.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
通过井下现场实际应用，证明使用这种拆装吊车，可减少工作人员的劳动强度，提高生产效率和达到安全生产的目的。
After the application in underground, it proved that this kind of dismounting crane can reduce labor intensity, improved the production efficiency and security.
实验证明，PLC在真空预冷实验装置中安全可靠、经济实用、操作维护方便、自动化程度高，可满足试验要求。
Experimental result shows that PLC can meet the test requirements because it is safe, reliable, economical, convenient for operation, easy for maintenance and has a high degree of automation.
实践证明安全、可靠、施工方便，开创了侧面粘钢加固应用的先例，可推广使用，提高工程经济效益。
The results provide in practice, the reinforced concrete beam side by sticking steel plate method will bring benefit in practice.
最后给出了样机的测试波形。结果证明，该体制的脉冲源可安全可靠地应用于民用加速器中。
Finally, the test waveforms of this machine are given out, the result proves that the pulse source using this system can be used with the safe credibility in public accelerator.
在标准模型下可证明它的安全性，并且阐述其高效性。
It could be proven secure in the standard model, and it was efficient.
实践证明，DOKA大模板系统可保证施工进度、质量、安全，并可节约成本。
It proves that construction schedule, quality and safety goals can be reached with DOKA formwork system, and project cost can be reduced.
实践证明，DOKA大模板系统可保证施工进度、质量、安全，并可节约成本。
It proves that construction schedule, quality and safety goals can be reached with DOKA formwork system, and project cost can be reduced.
应用推荐