1.
Verification and analysis of classic MAC protocols in wireless sensor networks
无线传感器网络的经典MAC协议验证与分析
2.
Analyzing and Verifying Network Protocols by Model Checking
基于模型检查的网络协议分析与验证
3.
Analysis and Verification of CCSDS SCPS-NP and SCPS-TP Protocol
CCSDS SCPS网络层与传输层协议分析与仿真验证
4.
Formal Analysis, Design and Verification on Complex Security Protocols;
复杂安全协议的形式化分析、设计与验证研究
5.
Analysis and verif TCP connection management protocol based on model checking
基于模型检查的TCP连接管理协议分析与验证
6.
Flaw Analysis of Security Protocol and Automatic Tool;
安全协议的漏洞分析及自动验证工具
7.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
8.
Analysis and Improvement of Otway-Rees Authentication Protocol
Otway-Rees认证协议的分析与改进
9.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
10.
Analysis and Improvement of an Authenticated Group Key Agreement Protocol
认证群密钥协商协议的安全性分析与改进
11.
Analysis and Improvement of Authenticated Group Key Agreement Protocol Compiler
认证群密钥协商协议编译器的分析与改进
12.
Form Analysis of Kerberos Protocal and NuSMV Verification
Kerberos协议的形式分析与NuSMV检验
13.
Analysis and Validation under Linux of ICMPv6 and Its Correlative Protocols;
ICMPv6相关协议分析及其在Linux环境下的验证
14.
Security Protocol Analysis and Verification Based on Model Checker SPIN;
基于模型检测工具SPIN的安全协议分析和验证
15.
ANALYSIS AND VERIFICATION ON MULTI-PROTOCOL GUESSING ATTACKS BASED ON STRAND SPACE MODEL
基于串空间模型的多协议猜测攻击验证分析
16.
Design and Analysis of Provably Secure Authentication and Key Exchange Protocols;
可证明安全的认证及密钥交换协议设计与分析
17.
Analysis and Improvement on Limitation of IEEE802.1x Based Safety Certification Protocol;
基于IEEE802.1x安全认证协议的缺陷分析与改进
18.
Analysis and Studies on the Security of Protocols Base on WLAN Integrated Authentication Platform;
基于WLAN集成认证平台的协议安全性研究与分析