correctness proof 中文意思是什麼
correctness proof
解釋
正確性證明- correctness : 正確度
- proof : n 1 證明;證據;【法律】證件;【法律】(口頭或書面)證詞,證言。2 檢驗,考驗;驗算;檢定的品質[強...
-
Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理論和kailar邏輯證明了該協議的安全性質。 -
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空間理論的正確性證明是建立在已知攻擊集的基礎上的。 -
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
但目前很多手機銀行系統中只是簡單的使用了若干密碼演算法作為安全措施,沒有把消息交換過程抽象描述成安全協議的形式,更談不上對其進行形式化的分析證明。 -
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure. and the partial correctness of the extracted procedure is proved
這一方法的特點是,抽取演算法的時間、空間復雜度都是線性的,並且抽取演算法本身十分簡單,易於實現。 -
We discuss the important designing technologies used in mb - protocol and compare it with protocols related. then we give a rigorous proof of correctness mb protocol based on strand space model
在此基礎上提出了一個手機銀行安全協議- mb協議,分析了設計協議時使用的重要技術,並和其他相關協議進行了比較。 -
Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing, puts forward a new algorithm, simulates it and gets the results, the proof of correctness and complexity analysis of the new algorithm are given, chapter 7 summarizes this paper, at the same time, suggestions for future research are given
第6章,討論了支持qos多播路由的基於最小生成樹演算法的理論模型並提出一種新的演算法,試驗模擬結果證明了它的效率會比傳統演算法大大提高。第7章,給出了本文的總結,並對下一步的工作作了展望。
分享友人