But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。
First, fuzzy formal concept analysis introduces the fuzzy logic into formal concept analysis to construct fuzzy concept lattice.
首先，模糊形式概念分析将模糊逻辑嵌入形式概念分析以构成模糊概念格。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
The structures of simple systems can be given a complete and consistent logical analysis and expression by formal logic, but those of complicated systems can not.
形式逻辑可以对简单系统的结构作出协调而完备的逻辑分析和逻辑表达，但不能对复杂系统的结构作出协调而完备的逻辑分析和逻辑表达。
However, an improvement proposal called Dual-way Challenge Handshake and Logoff Authentication was proposed, and a formal analysis was done on it with an improved BAN logic.
提出并实现了一种双向挑战握手及下线验证的改进方案，并用一种改进的BAN逻辑对其进行了形式化分析。
However, an improvement proposal called Dual-way Challenge Handshake and Logoff Authentication was proposed, and a formal analysis was done on it with an improved BAN logic.
提出并实现了一种双向挑战握手及下线验证的改进方案，并用一种改进的BAN逻辑对其进行了形式化分析。
应用推荐