安全协议认证是网络安全领域中重大课题之一。
The security protocol verification is one of the important projects in the domain of network security.
安全性认定标记语言(Security Assertion Markup Language (saml))是以xml消息传输认证和授权信息的协议。
Security Assertion Markup Language (SAML) is a protocol to transport authentication and authorization information in an XML message.
Kerberos是需要用户和服务提供标示证明的安全性认证协议。
Kerberos is a security authentication protocol that requires users and services to provide proof of identity.
一个安全的认证协议能有效抵御恶意的攻击者对通信网进行的欺诈，保证通信网的安全运行。
A secure authentication protocol can resist the cheat of malicious attacker to communication network and guarantee the security of network.
为路由器间的协议交换增加认证功能，提高网络安全性。
For the agreement between routers exchange authentication function, improve the network security.
证明了给出的协议既是一个安全的加密方案，也是一个安全的认证方案。
It was demonstrated that the proposed protocol was not only a secure encryption scheme, but also a secure authentication scheme.
基于完全零知识交互证明系统和位委托方案，提出了可证明的安全水印认证协议。
A proved secure protocol for watermark verification based on perfect zero knowledge interactive proof system and bit commitments scheme is proposed.
这些安全协议使用不同的认证方法和加密算法。
These security protocols used different authentication methods and encryption algorithm.
TACACS是一个安全的加密协议，因此低于后来TACACS +和远程认证拨号用户服务协议。
TACACS is an encryption protocol and therefore less secure than the later TACACS + and Remote Authentication Dial-In User Service protocols.
基于验证元的口令认证密钥交换协议的最基本安全目标是抵抗字典攻击和服务器泄露攻击。
The fundamental security goal of verifier-based password-authenticated key exchange protocol is security against dictionary attack and server compromise attack.
RADIUS协议为远程访问系统提供重要的安全服务，即认证、授权和记账。
RADIUS protocol provides very important services for remote access system, including authentication, authorization and accounting.
HSP协议还提供包括身份认证和数据加密的安全机制。
In addition, HSP provides data security including authentication and data encryption.
虫洞攻击容易发动，很难被检测到，一般的加密认证方式不能防御虫洞攻击，需要在路由协议中有针对性添加特定的安全机制。
Encryption and authentication mechanism has no use to defend against wormhole attack. It is need to embed corresponding mechanism in routing protocol to guarantee security.
在认证过程中，本系统采用双因素认证方法和数字证书强认证协议，有效增强系统的安全性。
The system USES a dual-factor authentication method and a digital certificate authentication protocol during the process of authentication, which strengthens the security of the system effectively.
模块化的协议认证系统的设计思想是有效实现网络管理系统标准化、模块化和提高网络系统安全性的新思路。
The method of modularize design of protocol authentication system is a new idea of implementing the standardization, modularize and high network safety of network manage system.
同时，研究了PPP协议的认证机制，确保报文转发过程中的高速和安全性。
Additionally, we discuss the authentication technique of PPP protocol, which ensures the safety of packets in transit.
相应的安全性分析明确给出了考虑这三种攻击时，改进的认证协议比以前的协议更加强健。
The security analyses show that the improved authentication protocol is much stronger against these three kinds of attacks than the traditional protocol.
本文提出面向消息中间件的分布式认证协议，给出协议内容、形式化描述以及安全性分析。
This chapter proposes a distributed authentication protocol for MOM , describes the content, the formalized description as well as the security analysis.
还研究了PPP协议的安全问题，包括协议的加密和认证机制，确保报文转发过程中的高速和安全性。
Additionally, we discuss the security problem of PPP protocol, including encryption and authentication techniques, which ensures the safety of packets in transit.
安全可靠的身份认证协议是认证系统的核心。
Secure identity authentication protocol is the kernel of authentication system.
提出了一种新的身份认证与密钥协商协议，该协议可以实现通信双方的相互认证，并通过协商产生安全的会话密钥。
This paper proposed a new authentication and key agreement protocol which can realize mutual authentication and generate a secure session key agreed by both sides of communication.
并采用BAN认证逻辑对协议的安全性进行了形式化证明，也对协议的计算复杂性进行了定性分析。
Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.
本文主要研究基于动态口令认证的密钥交换协议，该协议既能保证VPN的认证安全，又能保证VPN的传输安全。
This paper mainly focuses on key exchange protocol based on dynamic password authentication, which can insure the security of both authentication and transportation of VPN system.
而在真正的无线网络应用环境中，需要把两者结合起来，形成完整的安全传输协议，以实现数据保密、身份认证等功能。
In real wireless network application environment, these technologies must be combined to integral secure transport protocol to implement data encryption and authentication.
为提高制造网格环境下认证协议的安全性和性能，构建了标准模型下基于身份的认证协议。
To improve the security and performance of the authentification protocol in manufacturing grid, identity-based authentification protocols without random oracles were established.
本文主要在掌握了一定的数据加密与信息安全、身份认证等知识的基础上，对EKE协议和CAPTCHA作了较为深入的研究。
This paper deeply researches on EKE protocol and CAPTCHA on the base of the knowledge of Data Encryption and Information Security.
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要。
Informal methods for the analysis of cryptographic protocols especially authentication protocols are becoming more important in complicated modern communications.
详细分析了UMTS认证和密钥分配协议的过程以及协议的安全性，找出协议中存在的弱点和可能的攻击，提出了公钥加密协议的改进方法。
This paper analyzes authentication and key distribution protocol of the procedure and security of UMTS. The vulnerability and possible attack to this protocol are described.
本文分析了IMS认证与密钥分配协议的过程，找出了认证协议中的安全缺陷，并给出了攻击者可能进行的攻击。
In this paper, an analysis of the procedure and security of IMS (Internet protocol multimedia subsystem) authentication and key agreement protocol has been made.
本文分析了IMS认证与密钥分配协议的过程，找出了认证协议中的安全缺陷，并给出了攻击者可能进行的攻击。
In this paper, an analysis of the procedure and security of IMS (Internet protocol multimedia subsystem) authentication and key agreement protocol has been made.
应用推荐