协议验证 meaning in English
protocol verification
Examples
- 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 ) 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映射、协议验证、打包和解析流程。 - 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扩展规则，而在文章最后，对基于攻击逻辑的安全协议验证方法作了初步研究，提出了将该协议攻击验证技术融入协议自动分析工具的设计框架。