formal logic analysis

基本解释

We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN.
扩充了类BAN信任逻辑的语义和逻辑推理规则，并用信任逻辑BAN对其进行了形式化分析。
First, Fuzzy formal concept analysis introduces the fuzzy logic into formal concept analysis to construct fuzzy concept lattice.
首先，模糊形式概念分析将模糊逻辑嵌入形式概念分析以构成模糊概念格。
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.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。