1.
Research on Protocol Security Testing Based on Constructed Type Algebra
基于构造类别代数的协议安全测试研究
2.
Design and Implementation of Security Testing System of SIP Protocol in Next Generation Network
NGN中SIP协议安全测试系统的设计与实现
3.
Research on SIP Security Test in IMS Core Network Based on PROTOS
IMS中基于PROTOS的SIP协议安全测试方案研究
4.
Research on VPN Product Test Standard Based on IPsec Protocol and Consistent Testing Technology;
基于IPsec协议VPN安全产品测试规范与协议一致性测试技术研究
5.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
6.
Safety requirement oriented test sequence generation algorithm for safety communication protocol
面向安全需求的安全通信协议测试序列生成算法
7.
Research on the Application of Authentication Tests in Formal Analysis of Security Protocol;
认证测试方法在安全协议形式化分析中的应用研究
8.
Efficient Protocol-proving Algorithm Based on Improved Authentication Tests
基于改进认证测试理论的高效安全协议验证算法
9.
Analysis and Security Detection of LDAP;
轻量级目录访问协议分析与安全检测
10.
Research on intrusion detection system based on security protocol for wireless sensor networks
基于WSNs安全协议的入侵检测系统研究
11.
The Security Analysis and Detection of 802.1X Wireless Local Area Network
无线局域网802.1X协议安全性分析与检测
12.
Automatic Verifying Security Protocols Basing Term Guessing and Hash Forging;
基于术语猜测及Hash伪造的安全协议自动化验证
13.
Security Protocol Analysis and Verification Based on Model Checker SPIN;
基于模型检测工具SPIN的安全协议分析和验证
14.
Research and Application on Model Checking of Security Protocol of Network;
网络安全协议模型检测技术研究与应用
15.
Research on Security Protocol Model Checking Based on Classical Logic;
基于经典逻辑的安全协议模型检测研究
16.
A Multipath Secure Routing Protocol Based on Malicious Node Detection
基于恶意节点检测的多路径安全路由协议
17.
SHTTP (Secure Hypertext Transfer Protocol)
安全超文本传输协议
18.
Analysis of 3-D Secure protocol security
3-D Secure协议的安全分析