So the analysis and design for efficient security protocol is more important research problem in the field of computer communication.
因此，分析、设计安全有效的安全协议是计算机通讯领域中一个极为重要的研究课题。
PAM's architecture is modular, which means it's designed to support the seamless exchange of one security protocol component for another by swapping out modules.
PAM的体系结构是模块化的，这意味着它设计为可以通过交换模块，支持从一个安全协议组件无缝地转换到另一个协议组件。
While the former can be accomplished via use of Kerberos (see Resources) and similar network security protocol, the latter requires special administrative tuning.
尽管前者可以通过使用Kerberos （参见参考资料）和类似的网络安全协议完成，但是后者需要特殊的管理调优。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Now the most popular web security protocol is SSL, which can be deployed in the embedded browser.
将SSL协议与嵌入式浏览器相结合即可满足安全数据传输的要求。
The security protocol verification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。
The security protocol is found to have bugs or leaks if the logic can not reason out the protocol goal.
如果不能推理出协议的最终目标，说明协议存在缺陷或者漏洞。
There are many ways proposed to analyze the security protocol, the BAN-like logic is one of the important ways.
人们提出了多种密码协议的分析方法，BAN类逻辑是其中重要的一种。
Information security is composed of security protocol and cryptographic algorithm, the latter is the base and core.
信息安全主要是由安全协议和密码算法组成，其中密码算法是信息安全的基础和核心技术。
SSL (Secure Sockets Layer), a widely used security protocol in the net, can provide security guarantee for Internet communications.
SSL作为互联网上普遍使用的一种安全协议，可以为互联网通信提供安全保障。
Provides a stream that uses the Negotiate security protocol to authenticate the client, and optionally the server, in client-server communication.
提供一个使用协商安全协议的流，以便对客户端/服务器通信中的客户端及服务器（可选）进行身份验证。
Protocol analyser can analyse security protocol by the logic, and protocol designer can construct security protocol by the logic in a systematic way.
协议分析者可以用该逻辑来对安全协议进行分析，而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议。
Based on the non repudiation and the security protocol of non repudiation for electronic commerce, this paper introduces a new non repudiation protocol.
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
We abstract this as a group of logic rules, which makes it possible to do the verification of the interleaving of infinite sessions of the security protocol.
将安全协议对应的并发合成系统抽象为一组逻辑规则，能够对安全协议无穷会话的交叠运行进行验证。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
Then the thesis put forward to a kind of security protocol based on trusted third party and a kind of lightweight IP layer security mechanism, and analysed them in details.
然后提出了一种基于可信第三方的安全协议以及一种轻量级IP层的安全机制，对它们进行了详细的分析。
The importance of e-commerce security protocol is self-evident as a key factor to ensure the information and data security, and to safeguard the vital interests of both sides.
电子商务安全协议作为切实保证交易双方信息数据安全，维护双方切身利益的关键因素，其重要性不言而喻。
Called by servers to begin an asynchronous operation to authenticate the server and optionally the client using the specified certificates, requirements and security protocol.
由服务器调用以开始一个异步操作，该操作使用指定的证书、要求和安全协议对服务器和客户端(可选)进行身份验证。
A guessing attack on a security protocol is an attack where an attacker guesses a chosen user's secret and if failed then seeks to verify that guess by using other information.
对安全协议进行猜测攻击，如果攻击者不能正确猜测用户秘密，那么他就会设法使用其他的信息来验证这种猜测。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
Random number is always chosen by the participant in information security protocol, which can not be verified by other participants, so that the fairness of protocol is affected.
信息安全协议中使用的随机数通常由协议参与者任意选取，其他参与方无法验证，从而影响协议的公平性。
Encryption technology, security system and security protocols are the major supports for present business transaction, while security protocol usually adopts SSL and SET protocol.
而商务交易安全主要是通过加密技术、安全机制、安全协议进行保证的。电子商务中的安全协议主要采用SSL协议和SET协议。
Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
Since the present design methods for security protocol are characterized by being abstract, narrow application range and complexity, this paper presented a new approach to design security protocol.
针对目前安全协议的设计方法存在方法抽象、适用范围小及复杂的特点，提出了一种新的安全协议设计方法。
Some form of network-level encryption, such as a Virtual Private Network (VPN), perhaps using IP Security Protocol (IPSEC), is the most obvious solution, although there are other reasonable choices.
某种可能使用IP安全性协议 (IPSEC)的网络级加密形式（例如虚拟专用网 (VPN)）是最可取的解决方案，虽然也有其他合理的选择。
Some form of network-level encryption, such as a Virtual Private Network (VPN), perhaps using IP Security Protocol (IPSEC), is the most obvious solution, although there are other reasonable choices.
某种可能使用IP安全性协议 (IPSEC)的网络级加密形式（例如虚拟专用网 (VPN)）是最可取的解决方案，虽然也有其他合理的选择。
应用推荐