形式化方法 meaning in English
formal methods
Examples
- Strand space , brought forward by fabrega , herzog and guttman , is a applied , intuitionistic and strict formal method for security protocols analysis
串空间( strandspace )模型由fabrega , herzog和guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。 - These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws
所谓形式化方法，就是利用严格的数学方法，从给出系统设计的规范( specifications )开始并逐步地推导或者验证系统的方法。 - They intended to use logic ofknowledge to formalize the knowledge properties of agents , and then verifyknowledge specifications of multi - agent systems with formal methods
研究者们使用知识逻辑来描述智能体的知识特性,并且希望借助形式化方法来验证多智能系统中的知识逻辑规范。 - When large system is under consideration , the proof process using the - calculus will be long and error - prone . therefore , some kind of mechanical support is necessary
作为一种形式化方法，使用-演算对大型系统的证明过程往往很长并且容易出现错误，所以，机器的支持与协助就相当必要。 - It is a hard problem to analyze cryptographic protocol in the area of computer network security . using formal methods to analyze cryptographic protocol remains the key issue in this field
密码协议安全性分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。