English translation for "可证明的"
|
- certifiable
certifiably
evincible
justifiable
provable
vindicable
Related Translations:
程序证明: program proofprogram proving 出口证明: export certificateexport certificationproof of export 委任证明: certification of authorization 修订证明: revised certificates 实践证明: it has been found thatpractice confirmspractice proves 健康证明: bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate 付款证明: payment certificate 正确性证明: correctne proofcorrectness proofjustificationproof of correctness
- Example Sentences:
| 1. | Proven track record of at least 3 years of sales success
可证明的3年以上成功销售记录。 | | 2. | Proven track record of at least 2 years of sales success
可证明的两年以上成功销售记录。 | | 3. | There are known limitations to what is provable and probably to what is computable or knowable
关于什么是可证明的，什么是可计算的，或什么是可知的，有一些已知的限制。 | | 4. | “ the tendency of our own day is . . . towards firm , solid , verifiable knowledge ” ( william h . mallock )
“我们今天的趋势是…朝向一种坚定、坚实且可证明的知识” （威廉? h ?马洛克） 。 | | 5. | The most recent common ancestors between humans and all the other great apes date back to about 15 million years ago , suggesting this common preference has been part of our brain structures since at least then
可证明的人类和猿类拥有共同祖先的最近时间是1500万年前，也就是说至少从那个时候起，人类和猿类就拥有同样的记忆方法。 | | 6. | For any formal theory in which basic arithmetical facts are provable , it is possible to construct an arithmetical statement which , if the theory is consistent , is true but not provable or refutable in the theory
对任何基本算术事实是可证明的形式理论来说，如果该理论是一致的，那么就可以构造一个算术陈述，它是正确的，但无法使用该理论证明或推翻。 | | 7. | This paper focus on the following research work : 1 . analyze the existing basic public - key encryption schemes , after that an efficient certificate - associated public key encryption scheme is povided and implemented
研究了传统公钥密码体制，设计并实现了基于diffiehellman判定问题，辅以hash函数和公钥证书进行加密和解密，安全性可证明的概率型非对称密码系统。 | | 8. | It contains the architecture , algorithms , and protocols etc . main contributions of the work are as follows : firstly , the security architecture , requirements , mode , and algorithms , protocols flows of 3g needed are formalized ; second , the radio access encryption , data confidentiality and data integrity technology are also deeply discussed ; third , a detailed analysis of the standardized fs and f9 is given ; at the same time , the two algorithms are realized ; next a scheme to implement fd - f5 algorithms 3g needed is proposed on the basis of 3g architecture , we also analyzed its practicability ; then according to provable security theorem and the differential and algebraic cryptanalysis , we analyze the kasumi algorithm to know the security level of it ; two systems to implement the security in the network - domain are given aiming at resolving the security problem in the fixed network : one is a global system ; the other is called two - tiered key management system by use of ipsec , ike
首先概要的总结了3g的安全结构，安全需求，安全模式以及算法和协议流程，对无线接入网的安全实现、数据加密的实现、数据的完整化保护等进行了深入的探讨，详细的阐述了其中用到的标准化算法f8 , f9 ，并对这两个算法进行了实现。然后在此基础上提出了实现3g中需要的算法f0 - f5的方案，并分析了其可行性；根据可证明的安全理论详细分析了kasumi算法，从而对标准化算法有了一个理性的认识，更加清楚的知道了它的安全度；接着利用数学、差分等方法对kasumi进行了实际的分析，证明其是安全的。文章接着在无线接入网的安全体制基础上进一步给出了两种实现网络域内安全的密钥管理体制，解决了固定网内的安全：一个是宏观的安全体制；一个是two - tiered （两阶）安全体制，后一种体制是在ipsec ， ike的基础上提出和完善的。 |
- Similar Words：
- "可正是那一天" English translation, "可证公式" English translation, "可证媚" English translation, "可证迷" English translation, "可证明" English translation, "可证明的破产债务" English translation, "可证明为同一的" English translation, "可证明为误的" English translation, "可证明为正当的" English translation, "可证明无罪的情况" English translation
|
|
|
