我们介绍了一个密码协议的计算模型。
We present a model of computation for cryptographic protocols.
网络安全中一个非常重要的因素就是密码协议。
A very important factor of network security is cryptographic protocols.
最后，提出了设计密码协议时应注意的两点策略。
Finally, two strategies to be paid attention to are put forward when cryptographic protocol is designed.
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
分布式乘法计算协议是应用很广泛的基础密码协议。
Distributed multiplication computation protocols are widely used as basic cryptographic protocols.
这种改进方案对其它带有噪声的量子密码协议同样适用。
The improvement we present can be applied to other quantum cryptographic protocol with noise.
类BA N逻辑是一种用于分析密码协议安全性的逻辑。
BAN family of logic is used to analyze the security of cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
此算法对基于多重取幂密码协议的快速运作是很有效用的。
The algorithm is useful to speed up the operation for some cryptographic protocols based on multiple exponentiation.
因此密码协议设计和密码协议分析是信息安全领域的难题。
So the design and analysis of cryptographic protocols are the troubles of information security.
第三部分，应用推广的构造攻击方法指导密码协议的设计。
The third part is to apply generalized constructing attack method to guide design of cryptographic protocols.
因此密码协议设计和密码协议分析是信息安全领域的难题。
The design and analysis of cryptographic protocols are notoriously complex and error prone.
盲签名体制是保证参与者匿名性的基本的、重要的密码协议。
Blind signature schemes, an important cryptographic primitive, are useful in protocols that guarantee the anonymity of the participants.
众所周知，设计正确而安全的密码协议是一项容易出错的任务。
It is well known that designing correct and secure cryptographic protocols is an error-prone task.
本文主要研究双线性配对函数在构造新的密码协议方面的应用。
This paper mainly does some research in applications of constructing new cryptographic protocols with bilinear pairings.
其次，分析方法与密码协议和攻击者能力的具体形式化描述无关；
The formalism is independent of the concrete formalization of a protocol or attackers' possible behaviors.
(安全远程密码协议)是一种安全的新型密码鉴别和密钥交换协议。
SRP (the secure remote password protocol) is a new secure password authentication and key-exchange protocol.
利用RS码和两锁密码协议构造了一种非对称的公钥叛逆者追踪方案。
By applying RS code and two-locks cipher protocol, this paper constructs an asymmetric public key traitor tracing scheme.
人们提出了多种密码协议的分析方法，BAN类逻辑是其中重要的一种。
There are many ways proposed to analyze the security protocol, the BAN-like logic is one of the important ways.
工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
These works indicate that the ATL logic based on game is more suitable to describe and analyze cryptographic protocols than traditional CTL.
这个协议解决了可信第三方的性能瓶颈问题，是一个更为有效的、安全的密码协议。
It is a more efficient and secure protocol, which solves the bottleneck problem of trusted third party.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
本文对这三种密码协议的执行时间、结构特性以及实现分析的软件复杂度给出了客观的评估。
The thesis also objectively evaluates the performance of time delay, structure properties and software complexity of the above three cryptographic protocols.
这一结果表明基于身份的数字签名方案可以作为安全的密码原语用于构建更复杂的密码协议。
This result shows that an identity-based signature scheme can be used as a primitive block to design more complicated cryptographic protocols.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
目前，密码系统中大量地使用基于公钥的密码协议，这些协议的安全性直接影响着网络系统的安全。
Today we have seen more and more public key protocols use in networked and distributed systems, so we must select an secure public key protocol otherwise it will jeopardy the secrecy of networks.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。
It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.
应用推荐