English translation for "协议验证"

protocol verification

Related Translations:

验证试车:  confirmation test

验证测量:  confirmatory measurementconfirmatorymeasurement

验证系统:  epidverification system

验证应力:  proof stress

形式验证:  formal verification

证明验证:  review

已验证:  authenticated

验证职能:  attestation function

硬件验证:  hardware verificationverification hardwareverification, hardware

判定验证:  decision verification

Example Sentences:

	1.	Tools and algorithms for the construction and analysis of systems , margaria and steffen eds . , lncs 1055 , passau , germany : springer verlag , 1996 , pp . 147 - 166 . 16 kripke s . a semantical analysis of modal logic 我们此理论上已经开发出一个完全自动化的安全协议验证工具spv security protocol verifier .要验证的规范可以带有嵌套知识算子,并且此工具是基于证明的,而不是象别的很多方法那样是基于证伪的,即找漏洞
	2.	( 2 ) collaboration layer ? ? xml - based membership protocols a new object - oriented method to design and implement xml - based communication protocols are presented and applied to membership protocols : the communication behavior of membership protocols is analyzed ; with the aid of uml , the requiring , responding and notifying protocols are designed ; the method of mapping uml to xml schema and the flow of packing and parsing xml - based protocols are described detailedly ( 2 )协作层? ?基于xml的组员关系协议提出了基于xml通信协议的面向对象设计与实现方法,并应用到组员关系协议实现中:包括分析组员关系协议的通信原语,设计和描述请求、响应和通知协议,详细说明xmlschema映射、协议验证、打包和解析流程。
	3.	Furthermore , three expanded gny logic rules are given during above analysis based on gny , and at the end of this paper , security protocol formal verification based on attack logics is discussed and presented , a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally 另外，本文在使用gny逻辑的分析过程中，提出三条实用的gny扩展规则，而在文章最后，对基于攻击逻辑的安全协议验证方法作了初步研究，提出了将该协议攻击验证技术融入协议自动分析工具的设计框架。

Similar Words：

"协议虚拟连接" English translation, "协议虚拟连接标识" English translation, "协议选择模块" English translation, "协议寻找" English translation, "协议寻址信息" English translation, "协议验证程序" English translation, "协议要素" English translation, "协议一方" English translation, "协议一致性测试报告" English translation, "协议引擎" English translation