1.
A Distributed Authentication Protocol Integrating with Key Agreement Based on EC
EC密钥协商与分布式认证协议集成
2.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
3.
Based on the absolute distributed certificate authority almost any standard public-key-based authentication protocol could be adopted directly.
基于完全分布式的认证中心,可以直接采用几乎所有的标准公钥认证协议。
4.
Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols;
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
5.
The Analysis, Improvement and Implementation of the Authentication Mechanism in IKE Main Mode Protocol;
IKE协议主模式认证机制的分析改进及实现
6.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
7.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
8.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
非否认协议的UC可靠的形式化验证
9.
Research on the Application of Authentication Tests in Formal Analysis of Security Protocol;
认证测试方法在安全协议形式化分析中的应用研究
10.
Formal analysis of robust email protocol based on authentication tests
基于认证测试的鲁棒电子邮件协议形式化分析(英文)
11.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
12.
Design and Analysis of Mobile IPv6 Binding Update Authentication Protocol;
移动IPv6绑定更新认证协议设计及分析
13.
Analysis and Improvement of Otway-Rees Authentication Protocol
Otway-Rees认证协议的分析与改进
14.
Authentication and key agreement of 3G mobile communication system based on public key
基于公钥的3G认证和密钥分配协议
15.
Analysis of Needham-Schroeder Symmetric Key Authentication Protocol Based on Model Checking
基于模型检测的NS公钥认证协议分析
16.
Analyzing model of amended wireless authentication protocol SSM
对改进的无线认证协议SSM的分析
17.
Analysis and Improvement of an Authenticated Group Key Agreement Protocol
认证群密钥协商协议的安全性分析与改进
18.
Analysis and Improvement of Authenticated Group Key Agreement Protocol Compiler
认证群密钥协商协议编译器的分析与改进