助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   ban逻辑 的翻译结果: 查询用时:0.027秒
图标索引 在分类学科中查询
所有学科
电信技术
互联网技术
计算机软件及计算机应用
贸易经济
更多类别查询

图标索引 历史查询
 

ban逻辑
相关语句
  ban logic
     BAN Logic Analysis of SSL 3.0 Protocol
     用BAN逻辑方法分析SSL 3.0协议
短句来源
     BAN Logic Analysis of TLS Protocol
     用BAN逻辑方法分析TLS协议
短句来源
     BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL
     基于BAN逻辑分析Otway-Rees协议
短句来源
     BAN logic analysis of MAMWP protocol
     多播水印协议MAMWP的BAN逻辑分析
短句来源
     This paper discusses the widely applied formal analysis method, BAN logic and the authentication protocol in LMDS systems based on 802.16. In addition, the detailed analysis of the protocol using BAN logic is presented, and the more secure and reasonable scheme is also brought .
     文章用BAN逻辑形式分析方法,对基于802.16的LMDS系统的安全认证协议进行了分析,针对协议中存在的不足提出了更为安全、合理的解决方案。
短句来源
更多       
  ban logical
     At the end it discusses the actions of BAN logical analysis in authentication protocols,besides the limitations and the direction for further improvement.
     讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。
短句来源
  ban-like logics
     A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS
     关于BAN逻辑扩展的注记
短句来源
     BAN-like logics is one of the main tools for analysis cryptographic protocols in recent years, the limitations of BAN logicare analyzed and illustrated with examples, and then the features of the extended BAN-like logics and their common defects arestudied. Finally, the improvement of BAN-like logics and further research problems are proposed.
     BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。
短句来源
  “ban逻辑”译为未确定词的双语例句
     Formal Analysis of Authentication Protocol-BAN Logic
     认证协议的形式分析——BAN逻辑
短句来源
     The Model and Its Defects of BAN Family of Logic
     类BAN逻辑基本模型及缺陷
短句来源
     On Semantics Model of BAN-like Logic and Flaws in its Syntax Rules
     一种新的类BAN逻辑模态语义模型——兼论类BAN逻辑的语法缺陷
短句来源
     Fixed broadband wireless access system (IEEE 802.16) provides a high-speed access choice .
     无线宽带固定接入系统提供了一种高速、灵活的接入方式,文章介绍了802.16标准的认证机制,利用BAN逻辑进行了安全性分析。
短句来源
     On the analysis of BAN-logic and some possible attacks,the protocol is secure.
     通过BAN逻辑及各种可能的攻击分析,证明协议是安全的。
短句来源
更多       
查询“ban逻辑”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  ban logic
Finally, the security of the protocol is proved by BAN logic.
      
We prove this protocol using the original and modified BAN logic.
      
An important point about BAN logic is that it was intended to be a starting point for logics adapted for certain particular uses.
      
As a formal method, however, the author does not support the use of BAN logic.
      
BAN logic uses an approach very di erent from that of the state exploration tools.
      
更多          
  ban-like logics
Towards the idealization procedure of BAN-like logics
      
We demonstrate the flaws of Mao's method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao's method.
      
A weird point of BAN-like logics is that they consider that one can encrypt beliefs represented in formula.
      


In this paper, a logic hased on BAN for authentication for public-key cryptography is proposed, which is a logic of shared information .Applications are demonstrated by examples.

本文在BAN逻辑的基础上,提出了一种适用于公钥密码认证系统的逻辑,这是一种共享的方案,并举例说明了其应用.

A kind of more formal logic for analyzing authentication protocols was proposed by Wenbo Mao. This paper discusses the logic and presents its limitations by examples.

MaoWenbo提出了对一种认证协议进行分析时更形式化的BAN逻辑,文中对该逻辑进行了分析,并通过举例指出了其局限性.

BAN Logic is introduced in this paper, and the flaw in an authentication protocol is found. This implies that it is effective to analysis the authentication protocol using BAN logic. At last, the direction of development is presented.

介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关ban逻辑的内容
在知识搜索中查有关ban逻辑的内容
在数字搜索中查有关ban逻辑的内容
在概念知识元中查有关ban逻辑的内容
在学术趋势中查有关ban逻辑的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社