provably

1. Careful source analysis can reason through such conditionals to provably correct conclusions.
   仔细进行源分析可以从此类条件推理出证实正确的结论。
2. The Research on a Provably Security Routing Protocol for Wireless Sensor Networks
   具有可证明安全性的无线传感器网络路由协议研究
3. New provably secure identification protocol in standard model
   新的在标准模型中可证安全身份鉴别协议
4. The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.
   安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
5. To design a signature scheme which are efficient and provably secure in the standard model is suitable for applications.
   在标准模型下设计高效可证明安全的签名方案具有现实意义。
6. She was undeniably spare, and ponderably light, and provably tall.
   她天生苗条，体态轻盈，身材修长。
7. Compared with the existing schemes, the proposed scheme is provably secure.
   提出了利用双线性对构建可证明安全的秘密共享方案的新方法。
8. What you see in life is absolutely and provably not what you get.
   你在生活中看到的东西很可能会被证明并非如此。
9. Analysis of provably secure on-demand source routing in MANET
   可证明安全的MANET按需源路由协议分析
10. Design and Analysis of Provably Secure Public Key Cryptosystems
    可证明安全公钥密码方案的设计与分析
11. With the development of the theory of provable security, the MACs, which have security proof, are the first choice of many people. A Provably Secure Proxy Signature Scheme
    随着可证明安全理论的逐渐成熟，具备可证明安全的消息认证码无疑成为人们的首选.一个可证明安全的代理签名方案
12. Moreover, using the padding technique and hash function, a provably secure message recovery blind signature scheme, against adaptive chosen-message attack in random oracle model and generic group model, was proposed.
    使用填充技术和hash函数，得到在ROM（RandomOracleModel）和GM（genericgroupmodel）模型下抗适应性选择消息伪造的可证明安全的消息恢复盲签名方案。
13. The article proposes a provably secure fault-tolerant conference-key agreement protocol under the authenticated broadcast channel model.
    本文提出一种在可认证的广播信道模式下，可证明安全的，容错的会议密钥协商协议。
14. Provably Secure ID-Based Identification Scheme without Random Oracle
    无需随机预言可证安全的基于ID的身份认证方案
15. Based on the latest proposed k+ 1 assumption, two different schemes of universal designated verifier signature were proposed. Both of them are provably secure without random oracles.
    基于最新被提出的k+1平方根假设，提出了两个新的不同类型的广义指定验证者签名方案，它们都是在标准模型之下可证明安全的。
16. They are provably secure based on pseudo-random synthesizers, in our scheme, the sender may be unbounded to polynomial time and the receiver is bounded.
    该方案的安全性是基于伪随机合成器的存在性，承诺者可以拥有无限的计算资源。
17. Under the assumption that the random high-density knapsack problem is infeasible, the proposed schemes are provably secure against ciphertext-only attack.
    在高密度随机背包困难性假设下，可以证明方案在唯密文攻击下是安全的。
18. In this paper, based on elliptic curve cryptosystem, an efficient and provably secure authentication scheme on smart cards is proposed.
    该文利用椭圆曲线密码系统，构建了一个新的、高效的、可证安全的身份认证方案。
19. Provably Secure Threshold Signature Schemes Without Random Oracles
    标准模型下可证安全的门限签名方案
20. A Provably Secure Ring Signature and Proxy Ring Signature Schemes from Bilinear Pairings
    基于双线性对的可证明安全的环签名和代理环签名
21. Aiming at the requirements of DAA, we propose a direct anonymous attestation protocol in trusted computing based on CPK combined with a provably secure ring signature scheme, and give the security analysis of this protocol in detail.
    针对直接匿名证明的需求，根据TCG规范，利用CPK技术和一种可证明安全的环签名方案，提出一种可信计算环境中基于CPK的直接匿名证明协议，并全面地分析了协议的安全性。
22. Most of existing digital signature schemes are provably secure in the random oracle model.
    大多数现有的比较有效的数字签名方案都是在随机预言模型中可证安全。
23. It is provably secure in the standard model. CL-AK protocol provides perfect forward secrecy.
    在标准模型下，给出了CL-AK协议的安全性证明，该协议满足完善前向安全性。
24. In order to achieve session key distribution when authentication is carried out, a provably secure authenticated key exchange method is proposed on the basis of trusted access authentication method.
    为了在认证的同时实现会话密钥的分配，在可信接入认证方法的基础上，提出了可证明安全的认证密钥交换方法，并分析了协议的性能和安全性。
25. At last, a new provably secure signature scheme in the standard model is proposed. The scheme is proved secure against existential forgery in adaptively chosen message attack in the standard model.
    最后，在标准模型下提出了一个新的基于双线性对的代理签名方案，证明了该方案在标准模型下能够抵抗适应性选择消息攻击下的存在性伪造。
26. After studying the proposed ring signature schemes, a provably secure short ring signature based on one-way accumulator is proposed, which is also used to construct multi-party concurrent signatures.
    在对已有环签名方案进行了系统研究的基础上，采用单向累加器技术提出了可证安全的简短环签名方案，并将其用于构造高效的多方同时生效签名协议。
27. As far as we know, the new scheme is the first provably secure proxy signature scheme from integer factorization assumption. 4.
    据我们所知，该方案是第一个可证明安全的基于大整数分解困难问题的代理签名。
28. Therefore, it is an important issue to design an efficient and provably secure in the standard model.
    因此，如何设计在标准模型下可证安全且有效的数字签名方案是一个重要问题。
29. Our scheme is provably secure in the full model. Especially, we take the?
    我们提出的方案在完备的安全模型下具有可证安全性，且特别考虑了分布式环境的灵活性。

adv

1. in an obvious and provable manner
   1. his documentary sources are demonstrably wrong

   Synonym:    demonstrablyincontrovertibly