因此密码协议设计和密码协议分析是信息安全领域的难题。
So the design and analysis of cryptographic protocols are the troubles of information security.
因此密码协议设计和密码协议分析是信息安全领域的难题。
The design and analysis of cryptographic protocols are notoriously complex and error prone.
众所周知，设计正确而安全的密码协议是一项容易出错的任务。
It is well known that designing correct and secure cryptographic protocols is an error-prone task.
密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
设计了一种基于ECDH协议的数字签名方案，使其不仅具有基于椭圆曲线密码协议的优点，而且提高了签名与验证的速度。
A digital signature scheme is designed based on ECDH protocol. It has some excellences about elliptic curve crypto-protocol and it improves speed of signature and validate.
本文在分析目前密码管理协议的基础上，针对DSPS系统的需求和特点设计并实现一种密钥管理协议。
Basing on the analysis of the popular key management protocols, we design and implement a novel key management protocol aiming at the requirements of DSPS system.
辫群是一种非交换的无限群，该群中有许多困难问题是不可解的，如字问题、共轭问题和根问题等，利用这些困难问题可以去设计一些密码协议。
The braid group is infinite non-commutative group, and it has many hard problems that can be utilized to design cryptographic primitives, such as the word problem, conjugacy problem and root problem.
分布式乘法计算是安全多方计算中的重要部分，也是设计门限密码体制的基本协议。
Distributed multiplication computation is an important part of secure multi-party computation and a basic protocol of threshold cryptography.
该系统使用公钥密码技术，设计和实现了一套身份认证协议和相关应用接口，可以更加安全和有效地解决网上应用中面临的网络身份认证问题。
The technology of public key is applied in this system, protocol interfaces of the system which can solve the identity authentication in network effectively are implemented.
抗选择密文攻击公钥密码体制是安全性很高的密码体制，它是设计抗主动攻击的协议非常有用的工具。
The public key cryptosystem secure against chosen ciphertext attacks is a very strong secure cryptosystem and is a useful primitive for designing protocols that resisting active adversary.
第三部分，应用推广的构造攻击方法指导密码协议的设计。
The third part is to apply generalized constructing attack method to guide design of cryptographic protocols.
探讨了形式化分析在设计密码认证协议中的作用；
The function of formal analysis in the design of the authentication protocols is discussed;
密码是网络与信息安全的核心，密码问题一般归结为密码算法与协议的设计与分析问题。
Generally, the problem about cryptology comes down to the design and analysis of cipher algorithms and protocols.
辫群是一种非交换的无限群，该群中有许多困难问题是不可解的，如字问题、共轭问题和根问题等，利用这些困难问题可以去设计一些密码协议。
The braid groups have many hard problems that can be utilized to design cryptographic primitives, for example, the word problem, conjugacy problem, and root problem.
最后，提出了设计密码协议时应注意的两点策略。
Finally, two strategies to be paid attention to are put forward when cryptographic protocol is designed.
在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。
Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.
在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。
Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.
应用推荐