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逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
应用推荐