求翻译：但仍存在不足，BAN逻辑的推理分析依赖于我们所作的基本假设和初始假设，如果假设错了，则通过形式化分析之后常常得出错误的结论。BAN逻辑是一个形式逻辑模型，进行基于知识和信任的分析。BAN逻辑假设认证是完整性和新鲜度的函数，使用逻辑规则来对协议的属性进行跟踪和分析。是什么意思？

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

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

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

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

正在翻译，请等待...