1.
Analysis of Needham-Schroeder Symmetric Key Authentication Protocol Based on Model Checking
基于模型检测的NS公钥认证协议分析
2.
Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model
基于串空间模型的认证协议分析方法研究
3.
Design and Analysis of Mobile IPv6 Binding Update Authentication Protocol;
移动IPv6绑定更新认证协议设计及分析
4.
Analysis and Improvement of Otway-Rees Authentication Protocol
Otway-Rees认证协议的分析与改进
5.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
6.
Analyzing model of amended wireless authentication protocol SSM
对改进的无线认证协议SSM的分析
7.
Analysis and Improvement of an Authenticated Group Key Agreement Protocol
认证群密钥协商协议的安全性分析与改进
8.
Analysis and Improvement of Authenticated Group Key Agreement Protocol Compiler
认证群密钥协商协议编译器的分析与改进
9.
Design and Analysis of Provably Secure Authentication and Key Exchange Protocols;
可证明安全的认证及密钥交换协议设计与分析
10.
Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols;
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
11.
Analysis and Improvement on Limitation of IEEE802.1x Based Safety Certification Protocol;
基于IEEE802.1x安全认证协议的缺陷分析与改进
12.
The Analysis of WAPI Protocol and Its Realization in the WLAN Integrated Authentication Platform;
WAPI协议的分析及在WLAN集成认证平台中的实现
13.
Analysis and Studies on the Security of Protocols Base on WLAN Integrated Authentication Platform;
基于WLAN集成认证平台的协议安全性研究与分析
14.
Analysis and Implementation of the IEEE802.11i Based on WLAN Integrated Authentication Architecture;
基于WLAN集成认证体系结构的IEEE802.11i协议分析与实现
15.
The Analysis, Improvement and Implementation of the Authentication Mechanism in IKE Main Mode Protocol;
IKE协议主模式认证机制的分析改进及实现
16.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
17.
Analysis and Improvement of Woo-Lam Protocol Based on Authentication Test Methods
基于认证测试方法的Woo-Lam协议的分析及改进
18.
Overview security analysis of 3G authentication protocols and technical specifications
3G实体认证协议及技术规范的综述与安全分析