1·Not provably valid or not valid.
不可证明为有效或无效。
2·What you see in life is absolutely and provably not what you get.
你在生活中看到的东西很可能会被证明并非如此。
3·You know, I think... uh, I don't think that that is provably true.
你知道，我认为…嗯，我不认为那是可证实的事实。
4·Then, we propose a provably secure and ID-Based group signature scheme.
接着提出了一个基于身份的可证明安全的群签名方案。
5·These functions validate all strings unless they are provably not valid.
这些函数将验证所有字符串，除非这些字符串可证明为无效。
6·Careful source analysis can reason through such conditionals to provably correct conclusions.
仔细进行源分析可以从此类条件推理出证实正确的结论。
7·In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
8·But it wasn't really a choice between which option was provably correct from an external point of view.
但在从外部观点的角度来确定选项是可证明的情况下，这并不是一个真正的选择。
9·To design a signature scheme which are efficient and provably secure in the standard model is suitable for applications.
在标准模型下设计高效可证明安全的签名方案具有现实意义。
10·It is based on the protocol of Burmester and Desmedt and is provably-secure in the random-oracle and ideal-cipher models.
最后，在随机预言模型和理想密码模型中证明了协议的安全性。