provable

adj.

1. 可以证明的；能证实的
   that can be shown to be true

1. He invokes scientific method in pursuit of testable, provable solutions to entrenched public policy problems.
   他试图运用科学的方法，为复杂的公共政策问题寻找有理有据、经得住考验的解决之道。
2. There is now a direct, provable link between an organization's flexibility and business performance.
   现在有证据证明组织的灵活性与商业性能之间存在着直接的联系。
3. "Any net sum shall be provable in the bankruptcy or winding-up or, as the case may be, payable to the relevant office-holder;"
   则任何净款额可于破产或清盘中予以确认，或须按情况支付予有关人员
4. Note to the Authentication Operate Modes of Block Cipher and Provable Security
   分组密码算法认证运算模式的注记及可证安全性
5. Moreover, the OFT admitted there was no provable link between the information-sharing and soaring fees.
   此外，英国公平贸易局承认，无法证明学校共享信息与学费高涨之间存在关联。
6. A Provable Secure Short Threshold Proxy Signature Scheme
   一个可证明安全的短门限代理签名方案
7. The weakness of the argument is that there are just as many differences and no provable direct link.
   论点的不足是，两者还有许多的差异，而且缺乏直接的证据。
8. A Provable Secure Group Key Agreement Protocol with Fault-Tolerant
   一种故障容忍的可证安全组密钥协商协议
9. Obvious lies; a demonstrable lack of concern for the general welfare; practical truth provable to all men-Walter Bagehot.
   明显的谎言；明显的对普通福利的关心；实际的真相可被所有人而言查明-沃尔特·白芝浩。
10. Provable Security Authentication Scheme Based on Public Key for Heterogeneous Wireless Network
    基于公钥的可证明安全的异构无线网络认证方案
11. Identity-based security provable two parties authentication and key agreement
    基于身份可证安全的双方密钥协商协议
12. Provable CPK-based Group Key Exchange Protocol
    基于CPK的可证安全组群密钥交换协议
13. Monkeys, apparently, offer one another fleas at times, but not in any provable spirit of kindliness.
    猴子似乎有时互相帮助捉跳蚤，但是这并不在任何可以证明的善意的范畴内。
14. Design and Analysis of a Provable Secure Multi-Recipient Public Key Encryption Scheme
    可证明安全的多接收者公钥加密方案设计与分析
15. Research on Theory and Approach of Provable Security
    可证明安全性理论与方法研究
16. To achieve provable security, the simulator protocol is given in the security proof.
    同时，通过构造了同模拟机协议给出了方案的安全性证明，达到了可证明安全。
17. A fair electronic auction system is proposed, which is based on an efficient and provable group signature.
    本文基于一个群签名方案及可验证秘密共享，设计了一个新的密封投标的电子拍卖系统，利用群签名的性质，系统具有可保护投标人的投标价和防止中标人抵赖的特点；
18. 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.
    介绍基于对称密码系统的可证明安全理论，利用平方哈希函数实现技术，对一种可证明安全算法DFC实施改进后，安全性没有损失，但是速度得到了提高。
19. Such as the provable theory, BAN logics, strand space model and model checking.
    目前已经有很多研究安全协议的理论和方法，其中比较著名的有可证明安全理论、BAN逻辑、串空间模型理论以及模型检测和定理证明的方法等。
20. We provide provable security proof under random oracle model for each of our schemes. 2.
    对于每一个方案我们都在随机预言机模型下进行可证安全性证明。
21. And present the provable security scheme in the random oracle model or in the standard model.
    并提出在随机预言模型或标准模型下可证安全的密码方案。
22. When a cryptosystem has been applied in practice, how can the users be sure that the system in use is secure? The approach of provable security leads us to an answer of the question.
    当一个密码系统投入使用的时候，用户如何确信该系统是一个安全的系统呢？可证明安全的方法给出了这个问题的答案。
23. Thus we link proxy signature with ring signature and propose a new proxy ring signature scheme to solve it. Again we also provide provable security proof under random oracle model for it. 3.
    因此，我们将代理签名与环签名技术相结合，提出一个新的代理环签名方案以解决代理签名者的隐私保护问题，同样在随机预言机模型下对方案进行可证安全性证明。
24. We define form proof with some degree and syntactic closure operation, prove some theorems used often, and define the notion of provable equivalent relation, prove several important theorems about provable equivalent relations.
    定义了程度化的形式证明和语法结论算子，证明了一些常用的定理，定义了基于某种信息的可证等价关系并证明了关于可证等价关系的几个重要定理。
25. Since from logical point of view, a kind of filter corresponds to a set of provable formula.
    因为从逻辑的角度来看，每一种滤子正好对应着一种可证公式集。
26. A provable secure cryptosystem can be ensured secure by security proofs under the defined model.
    人们可以确信一个可证明安全的系统在其定义的模型下是安全的。
27. We further prove that these algorithms have a provable approximation ratio.
    我们进一步证明这些算法都有可证的近似度。
28. Provable security is an important criterion for evaluating the security of cryptographic schemes at present.
    可证明安全是当前密码体制安全性评估的重要依据。
29. Our scheme is, in the random oracle, provable secure.
    并在随机预言机模型下证明了方案的安全性。
30. The benefit is that one can build up the theory of correctness provable compiler easily.
    这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。