|
關注：1
2013-05-23 12:21
求翻譯：This is a hybrid method combining theorem proving and protocol traces. Strand space model prove to be a practical, intuitive analysis of security protocols and strict formal method, but it would depend on the efforts of experts to do so, it is very difficult, practical difference. There are many other methods are no lo是什么意思？ 待解決
 懸賞分：1
- 離問題結束還有
This is a hybrid method combining theorem proving and protocol traces. Strand space model prove to be a practical, intuitive analysis of security protocols and strict formal method, but it would depend on the efforts of experts to do so, it is very difficult, practical difference. There are many other methods are no lo
問題補充： |
|
2013-05-23 12:21:38
這是一種混合的方法，結合定理證明和協議的痕跡。串空間模型被證明是一個實用，直觀的分析安全協議和嚴格的形式化方法，但它依賴于專家的努力這樣做，這是非常困難的，實際的差別。有很多其他方法，不再列出。在一般情況下，正式的協議分析技術，可以歸納為四類
|
|
2013-05-23 12:23:18
這是一個混合方法結合定理”證明和協議跟蹤。 束空間模型證明是一個實際的、直觀的安全協議和嚴格遵守正式分析方法,但它將取決于努力的專家去做,這是非常困難的,實際差別。 有很多其他方法將不再列出。 一般來說,正規的協議分析技術可歸納為四種類別
|
|
2013-05-23 12:24:58
正在翻譯，請等待...
|
|
2013-05-23 12:26:38
這是相結合的定理證明和協議痕跡的雜交方法。串空間模型被證明是實際的、 直觀的分析安全協議和嚴格正規的方法，但它將取決于專家努力這樣做，這是非常困難的、 實際的不同。有很多其他方法不再列出。一般情況下，協議的形式化分析技術，可以歸納為四個類別
|
|
2013-05-23 12:28:18
這是結合證明，是的 theorem，協議上溯的一
|
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區
