助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   protocol goal 的翻译结果: 查询用时:0.179秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

protocol goal
相关语句
  协议目标
     The paper,uses the logic to analyze Woo-Lam protocol and indicates the impossibility to reach the protocol goal.
     最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标
短句来源
  “protocol goal”译为未确定词的双语例句
     My main works are listed as follow:1. This paper devised a new model of entity authentication and key authentication to analyse the security of the public key cryptographic protocols with regard to their model and protocol goal structures;
     1.提出了基于实体认证和密钥认证模型的协议分析方法,该方法以确定协议的模型和目标为基础,实现对协议的安全性分析;
短句来源
     The security protocol is found to have bugs or leaks if the logic can not reason out the protocol goal.
     如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。
短句来源
     The method does not define nonrepudiation evidence. It only studies if the design of protocol goal can offer evidence of accountability. Thus accountability requirement can be discussed without reference to if the protocol satisfies fairness requirement.
     文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性。
短句来源
  相似匹配句对
     From the goal of the Am.
     从Am. W.
短句来源
     323 protocol.
     323的PC到PC的语音终端软件的具体实现方法。
短句来源
     Systematic goal.
     目标系统化;
短句来源
     Protocol layer.
     ●协议分层。
短句来源
     Aiming at this goal, it improves its hardware and communication protocol from traditional computer networks.
     为达到此目标,现场总线网络从硬件和通信协议上对传统网络作出了改进。
短句来源
查询“protocol goal”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  protocol goal
Starting with a list of initial formal beliefs, the objective is to logically derive the stated protocol goal by consuming the list of protocol steps.
      


A new improvement of Zhou-Gollmann's fair non-repudiation protocol is analyzed with SVO logic.Some problems in the analysis of non-repudiation protocols using SVO logic,which are the causes why the flaw of Zhou-Gollmann's fair non-repudiation cannot be discovered,are discussed.These problems include determination of protocol goals,analysis of timeliness property of protocols and premise set establishment.In the analysis,both the final goals and the intermediary goals need...

A new improvement of Zhou-Gollmann's fair non-repudiation protocol is analyzed with SVO logic.Some problems in the analysis of non-repudiation protocols using SVO logic,which are the causes why the flaw of Zhou-Gollmann's fair non-repudiation cannot be discovered,are discussed.These problems include determination of protocol goals,analysis of timeliness property of protocols and premise set establishment.In the analysis,both the final goals and the intermediary goals need to be proved.By extending the syntax of SVO logic,a time description method is added into it and,thus the timeliness of non-repudiation protocols can be analyzed.

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等.分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标.通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性.

There exist many logics.Some of them may be only used to analyze security protocols,and the others may be only used to design security protocols.This paper presents a new logic for analysis and design of security protocols.The logic can be used not only to analyze security protocols,but also to design security protocols.Security protocol analysis and design may proceed in the same logic.At the same time,the logic may get rid of non-consistence in different ways of analysis and design.During analyzing a security...

There exist many logics.Some of them may be only used to analyze security protocols,and the others may be only used to design security protocols.This paper presents a new logic for analysis and design of security protocols.The logic can be used not only to analyze security protocols,but also to design security protocols.Security protocol analysis and design may proceed in the same logic.At the same time,the logic may get rid of non-consistence in different ways of analysis and design.During analyzing a security protocol,the security protocol is formalized by the logic and then it is deduced by the reasoning rule.The security protocol is found to have bugs or leaks if the logic can not reason out the protocol goal.During designing a security protocol,the protocol designer may use a systematic way to construct the required protocol.The paper,uses the logic to analyze Woo-Lam protocol and indicates the impossibility to reach the protocol goal.The paper redesigns the Woo-Lam protocol and makes it success.

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议。本文提出一种分析和设计安全协议的新逻辑。该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议。通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行。同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性。在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理。如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议。最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标。我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标。

Accountability is one of main properties that security electronic commerce protocols must satisfy.Optimistic fair exchange protocols are important electronic commerce protocols.There are no tools for the analysis of accountability of optimistic fair exchange protocols.A formal method that can analyze the accountability of optimistic fair exchange protocols is proposed in this paper.The method does not define nonrepudiation evidence.It only studies if the design of protocol goal can offer evidence of accountability....

Accountability is one of main properties that security electronic commerce protocols must satisfy.Optimistic fair exchange protocols are important electronic commerce protocols.There are no tools for the analysis of accountability of optimistic fair exchange protocols.A formal method that can analyze the accountability of optimistic fair exchange protocols is proposed in this paper.The method does not define nonrepudiation evidence.It only studies if the design of protocol goal can offer evidence of accountability. Thus accountability requirement can be discussed without reference to if the protocol satisfies fairness requirement.

可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性。

 
图标索引 相关查询

 


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

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