片语

Formal Concept AnalysisIn information science, formal concept analysis is a principled way of deriving a concept hierarchy or formal ontology from a collection of objects and their propertie Each concept in the hierarchy represents the set of objects sharing the same values for a certain set of properties; and each sub-concept in the hierarchy contains a subset of the objects in the concepts above it.

formal semantic analysis形式化语义分析

fsa formal safety analysis综合安全评估

Interval Formal Concept Analysis区间形式概念分析

Formal Logic Analysis形式逻辑分析

fuzzy formal concept analysis模糊形式概念分析

formal protocol analysis协议形式化分析

formal conceptual analysis形式概念分析

formal structure analysis形式结构分析法

英汉例句

• This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

  本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。

• Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.

  形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和準确的途径。

• As no trials were identified, no formal analysis was performed.

  由于没有找到相关的试验，因此没有进行正式的分析。

• 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逻辑形式化分析该协议，在理论上证明其安全性。

• 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逻辑对其进行了形式化分析。

• The simplified SSL3 0 basic handshake protocol is analyzed by using a formal analysis method called the approach of the running-mode analysis.

  主要使用运行模式法对简化的SSL30基本握手协议进行了形式化分析。

• And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.

  用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。

• There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.

  存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。

• For these two algorithms, we present formal analysis of optimality, and experimental results show that the algorithms are efficient.

  文中给出了两算法优化性能的分析，实验结果也显示这些算法的效果是明显而有效的。

• Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.

  串空间模型是一种新兴的密码协议形式化分析工具。

• It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.

  利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。

• Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.

  保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。

• The formal analysis approaches of security protocols have been rapidly developed in the past 30 years.

  安全协议形式化分析方法在近30年得到了迅速发展。

• This article introduces IKE protocol at first, then makes formal analysis on a certain key exchange mode by logical method, and proves the correctness of IKE.

  该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。

• The function of formal analysis in the design of the authentication protocols is discussed;

  探讨了形式化分析在设计密码认证协议中的作用；

• Due to directed hypergraph's mathematical foundation and rigorous formal analysis ability, it can describes clearly the relationship of many-to-many, one-to-many, and many-to-one.

  由于有向超图具有坚实的数学基础和严格的形式化分析手段，能够清楚地描述多对多、一对多、多对一的关系。

• Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.

  采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。