provably
美 
英
例句
The computer science research community is constantly debating the question of how to make provably secure software.
资讯科学研究社群正在争论如何制作出确实安全的软体。
Inventing, analyzing, and optimizing new algorithms or data structures that are provably better than the alternatives.
编写，分析并优化新的算法或数据结构并证实比现有方案更优。
Careful source analysis can reason through such conditionals to provably correct conclusions.
仔细进行源分析可以从此类条件推理出证实正确的结论。
An efficient digital signature scheme provably secure in the standard model from bilinear maps was proposed.
利用双线性映射技术设计了一个有效的在标准模型下可证安全的数字签名方案。
The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.
安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
A certificateless signature scheme provably secure in the standard model is analyzed. It points out that the scheme is insecure.
通过对一个标准模型下可证安全的无证书签名方案进行分析，指出该方案是不安全的。
Before HTML5, it is literally impossible to be provably standards compliant.
在HTML5之前，标准兼容简直就不可能被加以证明。
Not provably valid or not valid.
不可证明为有效或无效。
The procedure is provably irreversible.
已经证明，此过程是不可逆的。
These functions validate all strings unless they are provably not valid.
这些函数将验证所有字符串，除非这些字符串可证明为无效。
I think Jane has something to say about that. -You know, I think. . . uh, I don't think that that is provably true.
我认为简对此有自己的看法。-你知道，我认为…嗯，我不认为那是可证实的事实。
This paper constructs a kind of provably secure group signature scheme with authorization based on the BMW's scheme.
在BMW方案的基础上构建可证明安全性的具有权限特性的群签名方案。
Zeroth Order Ignorance (0OI): Lack of ignorance. I have 0OI when I provably know something.
零级无知：没有无知。当大概知道什么，称为有0OI。
Computational Combinatorial Optimization Optimal or Provably Near-Optimal Solutions
计算机组合优化中的最优及可证近优解
Provably Secure Identity-Based Authenticated Key Agreement Protocols in the Standard Model
标准模型下可证安全的身份基认证密钥协商协议
Provably Secure Threshold Signature Schemes Without Random Oracles
标准模型下可证安全的门限签名方案
Provably Secure ID-Based Identification Scheme without Random Oracle
无需随机预言可证安全的基于ID的身份认证方案
Second, it is provably secure and has very good exact security against existential forgery for selective-ID attack in the standard model;
其次，这个方案是可证明安全的，即在随机应答模型下，方案在给定身份和选择明文攻击下是不可伪造的；
Cryptanalysis of Some Provably Secure Signature Schemes
一些可证安全签名方案的密码学分析
A Multi-proxy Signature Scheme with Provably Secure
一个安全的多重代理签名方案
A Provably Secure Proxy Signature Scheme
一个可证明安全的代理签名方案
