形式逻辑方法

我们只要运用概念明晰的形式逻辑方法对之进行严密的逻辑分析，就会发现“李约瑟难题”完全是一个毫无研究价值的“伪问题”。

We can find that " Needham Puzzle " is a completely worthless pseudo-problem under the strict analysis in line of formal logic with distinct concepts .

你这个结论是按照形式逻辑的方法推论出来的。

You arrived at your conclusion using the methods of formal logic .

该文在此基础上，对SET的整个业务流程进行了严格的逻辑验证，通过形式化逻辑方法的验证，发现了SET协议中存在的一些问题，并对如何解决这些问题进行了初步的探讨。

Though this formal logic verification , certain problems are found to do exist in SET . Solutions to these problems are also discussed .

本文对目前较为常用的形式逻辑分析方法&BAN逻辑的形式化分析理论进行了介绍，在此基础上对军网身份鉴别协议进行了BAN逻辑描述，并对协议的安全性进行了理论分析与证明。

This paper introduces the BAN logic formalized analysis theory which is the formal logic analysis method , and the BAN logic description of authentication protocol in military network is proposed , the theoretic analysis and verification of protocol security are also indicated .

认证协议的形式逻辑分析方法&BAN类逻辑综述

Formal Logical Methods for Analysis of Authentication Protocols - BAN-like Logics

形式化逻辑方法在分析认证协议以及电子商务协议中的应用

Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols

本文通过形式逻辑的方法，以公诉作为核心，提出了辨别检察制度的三方面本质内涵。

According to the method of formal logic and the core of public action , this paper aims to put forward three essential connotations to distinguish prosecutorial systems .

最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。

Finally , through the attempt and research on verification logic in the field of information security , we point that formal logic method is sure playing a main role in it .

形式化逻辑分析方法。

Formal logic analysis system .

演绎推理、归纳推理和类比推理都是形式逻辑的推理方法。

Deductive reasoning , inductive reasoning , and analogical reasoning all belong to the reasoning methods of formal logic .

最后，作者运用形式逻辑分析的方法对修改后协议的安全性进行了理论上的逻辑证明。

Finally , we carried out the theoretically logical proof of the security of the revised protocol , using the formal logic analysis method .

形而上学方法是科学方法，形式逻辑是形而上学方法的产物，故需要接受辩证方法的改造。

Metaphysical method is a scientific method , and formal logic should be reformed by dialectical method as it is the outcome of metaphysical method .

而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。

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 .

传统的属加种差定义是一种传统的、适用面很窄的正则命题，当代形式逻辑中下定义方法比传统形式逻辑的覆盖面宽。

Traditional categorical definition is a kind of proper method proposition that is applicable in a narrow scope , while definition methods in modern formal logic have wider applicable scope than the traditional formal logic .

目前，安全协议的形式化分析方法大致可分为三类：形式逻辑方法、模型检测方法和定理证明方法，它们既有各自的优势，又有各自的劣势。

At present , the formal analysis methods of security protocols can be broadly classified into three categories : formal logic , model checking and theorem proving methods . They have both strength and weakness at the moment .

安全协议形式化分析方法主要分为三类：基于知识和信念的形式逻辑方法、模型检测方法和定理证明方法。

The formalized method is mainly divided into three kinds : formal logic method based on knowledge and belief , model checking method and theorem proof method .