1.The computer science research community is constantly debating the question of how to make provably secure software.
资讯科学研究社群正在争论如何制作出确实安全的软体。
2.Inventing, analyzing, and optimizing new algorithms or data structures that are provably better than the alternatives.
编写，分析并优化新的算法或数据结构并证实比现有方案更优。
3.Careful source analysis can reason through such conditionals to provably correct conclusions.
仔细进行源分析可以从此类条件推理出证实正确的结论。
4.An efficient digital signature scheme provably secure in the standard model from bilinear maps was proposed.
利用双线性映射技术设计了一个有效的在标准模型下可证安全的数字签名方案。
5.The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.
安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
6.In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
7.A certificateless signature scheme provably secure in the standard model is analyzed. It points out that the scheme is insecure.
通过对一个标准模型下可证安全的无证书签名方案进行分析，指出该方案是不安全的。
8.Before HTML5, it is literally impossible to be provably standards compliant.
在HTML5之前，标准兼容简直就不可能被加以证明。
9.Not provably valid or not valid.
不可证明为有效或无效。
10.The procedure is provably irreversible.
已经证明，此过程是不可逆的。