构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
并采用BAN认证逻辑对协议的安全性进行了形式化证明，也对协议的计算复杂性进行了定性分析。
Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.
通过研究隐通道的工作原理，形式化地证明了隐通道存在的最小条件。
By research on the working principle of covert channels, the minimum criteria of its existence had been formally proved.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
然后对系统结构化要求进行了形式化的描述，并证明通过提出的结构化方法可以获得安全的进程环境。
Then we formalized structural requirements of process environment, and proved that a secure process environment can be available by structured method proposed.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。
The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
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.
通过对模型的形式化证明，模型的应用示例，以及与传统访问控制模型的对比，证实了TTC模型在增强可生存性方面的价值。
The value of TTC for enhancing survivability is attested by formal proving, application demonstration and comparing with traditional access control models.
结果证明，这种本体建模方法和形式化表达机制，能够较好表达应急领域的知识结构，是可行的。
It proved that the method of ontology modeling and formal representation mechanism can better express the knowledge structure of emergency field. It is available.
结果证明，这种本体建模方法和形式化表达机制，能够较好表达应急领域的知识结构，是可行的。
It proved that the method of ontology modeling and formal representation mechanism can better express the knowledge structure of emergency field. It is available.
应用推荐