1) formal verification technique
形式化验证技术
1.
In this paper,illustrate the formal verific ation requirement for security protocols, also describe several formal verification techniques and set forth the relative merit of each in detail.
文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。
2) formal verification
形式化验证
1.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
2.
Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows;
网格服务流的状态π演算形式化验证技术研究与应用
3.
There is a growing interest in formal verification for analysis of transaction protocol in electronic commerce field.
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点。
3) formal authentication
形式化验证
1.
This paper introduces some classical formal authentication tools for security protocols, and describes an authentication algorithm for security protocol based on intruder identification and security implementation using JAVA.
介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。
5) technology demonstration
技术验证
1.
Foreign technology demonstration in aeroengine development is briefly introduced in this paper.
简要介绍了国外航空发动机研制的技术验证情况 ,分析了技术验证的目的、作用和技术特点 ,提出了实施技术验证计划中应注意的问题 ,并对验证计划的整体规划、关键技术分解、设计体系的继承和发展、部件和发动机不同验证阶段的侧重点等提出了建
6) verifiable technique
验证技术
1.
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条