|
關注:1
2013-05-23 12:21
求翻譯:但仍存在不足,BAN邏輯的推理分析依賴于我們所作的基本假設和初始假設,如果假設錯了,則通過形式化分析之后常常得出錯誤的結論。BAN邏輯是一個形式邏輯模型,進行基于知識和信任的分析。BAN邏輯假設認證是完整性和新鮮度的函數,使用邏輯規則來對協議的屬性進行跟蹤和分析。是什么意思?![]() ![]() 但仍存在不足,BAN邏輯的推理分析依賴于我們所作的基本假設和初始假設,如果假設錯了,則通過形式化分析之后常常得出錯誤的結論。BAN邏輯是一個形式邏輯模型,進行基于知識和信任的分析。BAN邏輯假設認證是完整性和新鮮度的函數,使用邏輯規則來對協議的屬性進行跟蹤和分析。
問題補充: |
|
2013-05-23 12:21:38
But there are still insufficient, ban logic of reasoning rely on basic assumptions and the initial assumptions made in our assumptions are wrong, and often draw the wrong conclusions by the formal analysis of ban a form of logic is the logic model, the analysis based on knowledge and trust. ban logi
|
|
2013-05-23 12:23:18
But there is still insufficient, BAN logical reasoning depends on our analysis of the basic assumptions and initial assumptions, on the assumption that it is wrong, the form of analysis is often arrive at wrong conclusions. BAN logic is a interpreting model, based on knowledge and confidence in the
|
|
2013-05-23 12:24:58
But still had the insufficiency, the BAN logic inference analysis relies on the basic supposition and the initial supposition which did in ours, if supposition mistakenly, then after formalized analysis drew the wrong conclusion frequently.The BAN logic is a formal logic model, carries on based on t
|
|
2013-05-23 12:26:38
But there is still insufficient, BAN logic reasoning analysis relies on our basic assumptions and initial assumptions, if the assumptions are wrong, following the adoption of formal analysis often came to the wrong conclusion. BAN logic is a logic model and analysis based on knowledge and trust. BAN
|
|
2013-05-23 12:28:18
正在翻譯,請等待...
|
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區