Not provably valid or not valid.
不可证明为有效或无效。
These functions validate all strings unless they are provably not valid.
这些函数将验证所有字符串，除非这些字符串可证明为无效。
In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
But it wasn't really a choice between which option was provably correct from an external point of view.
但在从外部观点的角度来确定选项是可证明的情况下，这并不是一个真正的选择。
To design a signature scheme which are efficient and provably secure in the standard model is suitable for applications.
在标准模型下设计高效可证明安全的签名方案具有现实意义。
It is based on the protocol of Burmester and Desmedt and is provably-secure in the random-oracle and ideal-cipher models.
最后，在随机预言模型和理想密码模型中证明了协议的安全性。
The scheme is provably secure in the random oracle model, and is an efficient scheme. It only needs one pairing operation.
该方案在随机预言模型下是可证明安全的，而且也是高效的方案，只需要一个对运算。
A certificateless signature scheme provably secure in the standard model is analyzed. It points out that the scheme is insecure.
通过对一个标准模型下可证安全的无证书签名方案进行分析，指出该方案是不安全的。
The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.
安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
Under the assumption that the random high-density knapsack problem is infeasible, the proposed schemes are provably secure against ciphertext-only attack.
在高密度随机背包困难性假设下，可以证明方案在唯密文攻击下是安全的。
Whatever the true result of the election, it is now plain that there is a vast constituency, even if it is not yet provably a majority, crying out for freedom.
不管选举的真实结果如何，至少现在看来，我们知道大量选民—即使没有证实是大多数—正迫切的渴望自由。
That stated, this issue is actually overshadowed by a large social imperative: That the use of machine labor (mechanization) is provably more efficient than human performance in virtually all sectors.
说明了这点，但这个议题实际上仍被一个巨大的社会急迫性所覆盖：机械劳动(机械化)在所有的部门领域中，实际上皆可证明为比人力表现更有效率。
That stated, this issue is actually overshadowed by a large social imperative: That the use of machine labor (mechanization) is provably more efficient than human performance in virtually all sectors.
说明了这点，但这个议题实际上仍被一个巨大的社会急迫性所覆盖：机械劳动(机械化)在所有的部门领域中，实际上皆可证明为比人力表现更有效率。
应用推荐