correctness proof in Chinese
Translation
Mobile
- 正確性證明
- "proof" in Chinese : n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面 ...
- "proof of correctness" in Chinese : 程序正確性證明; 正確性證明
- "partial correctness proof" in Chinese : 部分正確性證明
- "programming correctness proof" in Chinese : 程序正確性證明
- "proof of program correctness" in Chinese : 程序正確性證明
- "correctness" in Chinese : 正確度; 正確性; 正確與否; 準(zhǔn)確度; 準(zhǔn)確和正確
- "absolute correctness" in Chinese : 絕對(duì)正確性
- "correctness argument" in Chinese : 正確性論據(jù)
- "correctness factor" in Chinese : 校正系數(shù)
- "correctness in definition" in Chinese : 定義的下確性; 定義的正確性
- "correctness of algorithm" in Chinese : 算法正確性
- "correctness of forecast" in Chinese : 預(yù)報(bào)準(zhǔn)確性
- "correctness of software" in Chinese : 軟件正確性
- "correctness specification" in Chinese : 正確性規(guī)范, 正確性說明
- "correctness theorem" in Chinese : 正確性定理
Examples
- Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理論和kailar邏輯證明了該協(xié)議的安全性質(zhì)。 - One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是：基于strand空間理論的正確性證明是建立在已知攻擊集的基礎(chǔ)上的。 - 3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
并且他們只是用認(rèn)識(shí)邏輯描述協(xié)議的規(guī)范,但沒有給出相應(yīng)的算法,即給出一個(gè)具體的協(xié)議，如何自動(dòng)生成公理集并自動(dòng)驗(yàn)證他滿足一些認(rèn)知規(guī)范 - But at present , many mobile banking systems only use some cryptographic algorithms as security measures , without depicting the procedure of message exchanging as a secuity protocol , needless to say how to analyze it or provide the correctness proof of it
但目前很多手機(jī)銀行系統(tǒng)中只是簡(jiǎn)單的使用了若干密碼算法作為安全措施，沒有把消息交換過程抽象描述成安全協(xié)議的形式，更談不上對(duì)其進(jìn)行形式化的分析證明。
Other Languages
- "correctness proof" meaning in Japanese: 正當(dāng)性｛せいとうせい｝の証明｛しょうめい｝
Related
"correctness" in Chinese, "semantic correctness" in Chinese, "political correctness" in Chinese, "grammatical correctness" in Chinese, "probable correctness" in Chinese, "strong correctness" in Chinese, "program correctness" in Chinese, "partial correctness" in Chinese, "correctness argument" in Chinese, "correctness of concurrency control" in Chinese, "correctness of forecast" in Chinese, "correctness of software" in Chinese, "correctness of the shape of figure" in Chinese, "correctness oriented programming" in Chinese, "correctness specification" in Chinese, "correctness theorem" in Chinese, "correctness-oriented programming" in Chinese, "correctophone" in Chinese,
Neighbors
- "correctness of concurrency control" in Chinese
- "correctness of forecast" in Chinese
- "correctness of software" in Chinese
- "correctness of the shape of figure" in Chinese
- "correctness oriented programming" in Chinese
- "correctness specification" in Chinese
- "correctness theorem" in Chinese
- "correctness-oriented programming" in Chinese
- "correctophone" in Chinese
What is the meaning of correctness proof in Chinese and how to say correctness proof in Chinese? correctness proof Chinese meaning, correctness proof的中文，correctness proof的中文，correctness proof的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.