As no trials were identified, no formal analysis was performed.
由于没有找到相关的试验，因此没有进行正式的分析。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
In other words, the programmer does not stand to benefit from breaking the formal analysis.
换句话说，程序设计者绝不会因破坏形式分析而获得好处。
The function of formal analysis in the design of the authentication protocols is discussed;
探讨了形式化分析在设计密码认证协议中的作用；
In this article we enumerate, using an example, the promises and pitfalls of formal analysis.
本文使用一个例子列举出形式分析给我们提供的承诺和存在的陷阱。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
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.
文中给出了两算法优化性能的分析，实验结果也显示这些算法的效果是明显而有效的。
But surely there are better examples - start ups with measurable revenues and solid business plans that lend themselves to formal analysis?
不过，肯定有更好的例子，比如有具体收入和切实经营计划、进而可以正儿八经地展开分析的初创公司？
Formal analysis of terms is extremely valuable when both attempting to reuse existing ontologies and extending them (McGuinness et al. 2000).
当尝试重用现存本体和扩展他们的时候，正式的称谓分析是非常有价值的。
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协议中的应用。
It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.
利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
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议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
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逻辑对其进行了形式化分析。
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.
由于有向超图具有坚实的数学基础和严格的形式化分析手段，能够清楚地描述多对多、一对多、多对一的关系。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
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.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
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.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This content analysis requires formal and explicit specifications of domain models, which define the terms used and their relationships.
这个内容分析要求正式和明确的域模型规范，规范定义了使用的术语和它们的关系。
This tutorial focuses on how to leverage queries to further analyze your model, and how to use formal reports to document the analysis results.
本教程侧重于如何利用查询来进一步分析模型，并说明如何使用正式的报告来对分析结果作文档记录。
Profiling is a formal summary or analysis of data, often in the form of a graph or table, representing distinctive performance features or characteristics.
评测是表示不同性能特性和特征的数据的形式化总结或分析，它通常以图形和表的形式的出现。
The articles have also discussed an approach to a formal representation of user interfaces linked with system analysis.
本文还讨论了一种用户接口同系统分析相链接的正式的表示法。
A QA team can become much more effective and efficient by replacing an AD hoc testing approach with formal, repeatable processes that include test planning, defect cause analysis, and automated tests.
QA团队通过将包含测试计划、缺陷原因分析，和自动化测试的正式、可重复的过程，替代特殊的测试方法，以变得更加有效且高效。
There is a strong need for a formal glossary of accepted terms, which would be the product of a business analysis activity.
这就非常需要有一个正式的术语词汇表，可以通过业务分析活动得到这个词汇表。
There is a strong need for a formal glossary of accepted terms, which would be the product of a business analysis activity.
这就非常需要有一个正式的术语词汇表，可以通过业务分析活动得到这个词汇表。
应用推荐