There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。
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.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
In other words, the programmer does not stand to benefit from breaking the formal analysis.
换句话说，程序设计者绝不会因破坏形式分析而获得好处。
But surely there are better examples - start ups with measurable revenues and solid business plans that lend themselves to formal analysis?
不过，肯定有更好的例子，比如有具体收入和切实经营计划、进而可以正儿八经地展开分析的初创公司？
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.
串空间模型是一种新兴的密码协议形式化分析工具。
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.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
For these two algorithms, we present formal analysis of optimality, and experimental results show that the algorithms are efficient.
文中给出了两算法优化性能的分析，实验结果也显示这些算法的效果是明显而有效的。
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.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
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.
由于有向超图具有坚实的数学基础和严格的形式化分析手段，能够清楚地描述多对多、一对多、多对一的关系。
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.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
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.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
应用推荐