协议验证的英文

• protocol verification

• "协议"英文翻译    agree on
• "验证"英文翻译    test and verify; checking; p ...
• "协议验证程序" 英文翻译 :    protocol verifier
• "自动化协议验证" 英文翻译 :    automated protocol validation
• "密码验证协议" 英文翻译 :    pap:password authentication protocol; password authentication protocol pap
• "可扩展验证协议" 英文翻译 :    extensible authentication protocol (eap)
• "密码验证通讯协议" 英文翻译 :    password authentication protocol; password authenticationpprotocol
• "请求握手验证协议" 英文翻译 :    chap:challenge handshake authentication protocol
• "质询握手验证协议" 英文翻译 :    challenge handshake authentication protocol
• "可扩展的身份验证协议" 英文翻译 :    external network number
• "可扩展身份验证协议" 英文翻译 :    eap, extensible authentication protocol
• "上三次握手验证协议" 英文翻译 :    ppchallenge authentication protocol
• "挑战与响应验证协议" 英文翻译 :    ntlm nt lanman windowsnt
• "盘问沟通确认协议，敌友验证协议" 英文翻译 :    chachallenge handshake authentication protocol
• "验证" 英文翻译 :    test and verify; checking; proving; testing; confirmation; [数学] corroboration; inspection; verification
• "阶段在完成验证之后使用回叫控制协议" 英文翻译 :    cbcp
• "协议" 英文翻译 :    1.(协商) agree on 一致协议的文件 a document unanimously agreed upon2.(协商取得的一致意见) agreement; understanding; treaty; deal; composition 口头协议 verbal agreement; 达成协议 reach an agreement; come to an agreement; 撕毁协议 tear up an agreement
• "检验, 验证" 英文翻译 :    verify check
• "检验证" 英文翻译 :    cermet of inspection; inspection certificate
• "可验证" 英文翻译 :    verifiable
• "免验证" 英文翻译 :    laissez passer
• "前验证" 英文翻译 :    prospective validation
• "验证, 证明" 英文翻译 :    proofness
• "验证；核证" 英文翻译 :    verify
• "验证；校验" 英文翻译 :    verify

• 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扩展规则，而在文章最后，对基于攻击逻辑的安全协议验证方法作了初步研究，提出了将该协议攻击验证技术融入协议自动分析工具的设计框架。