1.
Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model
基于串空间模型的认证协议分析方法研究
2.
Non-Malleability and Emulation Based Approach to Cryptographic Protocol Analysis
基于刚性与相似性概念的密码协议分析方法
3.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
4.
Analysis Method of TCP/IP Protocol Binary Code;
TCP/IP协议二进制代码的分析方法
5.
Analysis and Treatment of Router Protocol RIP-type Failures
路由器RIP协议故障分析及处理方法
6.
Formal analysis method for secure dynamic source routing protocols
一种安全DSR协议的形式化分析方法
7.
Security Analysis and Improving of IKE Protocol
IKE协议的安全性分析及改进方法
8.
Methods for formal verification of large and complicated protocols
大型复杂协议的形式化分析方法研究
9.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
10.
Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols;
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
11.
The Research and Application of Formalized Methods of Multi-party Security Protocols Analysis;
多方安全协议的形式化分析方法研究与应用
12.
Research on Combination of Formal Analysis Methods to Security Protocols;
安全协议形式化分析方法的融合性研究
13.
Analysis and Design of Bluetooth OBEX Protocol by the Oriented Object Method;
采用面向对象的方法分析和设计蓝牙OBEX协议
14.
The Analysis of Stop and Wait Protocol Based on Virtual Experimental Method;
基于虚拟实验方法的停止等待协议分析
15.
A research on the evaluation method integrating the probability risk evaluation with protocol tree analysis;
基于协议树分析的概率风险评估方法研究
16.
Research on Formal Verification Methods of Security Protocols
网络协议安全性分析中的逻辑化方法研究
17.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
18.
Research on Reconciling Two Views of Formal Analysis Methods for Security Protocols
调和两种观点的安全协议形式化分析方法研究