1.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
2.
Formal analysis method for secure dynamic source routing protocols
一种安全DSR协议的形式化分析方法
3.
Methods for formal verification of large and complicated protocols
大型复杂协议的形式化分析方法研究
4.
The Research and Application of Formalized Methods of Multi-party Security Protocols Analysis;
多方安全协议的形式化分析方法研究与应用
5.
Research on Combination of Formal Analysis Methods to Security Protocols;
安全协议形式化分析方法的融合性研究
6.
Research on Reconciling Two Views of Formal Analysis Methods for Security Protocols
调和两种观点的安全协议形式化分析方法研究
7.
Research on Logic-based Method for Formal Analysis of Composed Security Protocols
基于逻辑的复合协议形式化分析方法研究
8.
Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol
移动代理完整性协议形式化分析方法研究
9.
A Formal Analysis Method and Its Application Based on UML Requirement Modeling
基于UML需求建模的一种形式化分析方法及其应用
10.
A Formal Analysis Method for Enhancing the Security of E-Commerce Protocols
一种增强电子商务协议安全性的形式化分析方法
11.
Logic Programming Based Formal Analysis Method of Firewall Rules
一种基于逻辑编程的防火墙规则形式化分析方法
12.
Research and Implement of Formal Requirement Analysis Method Based on Component Technique;
基于构件的形式化需求分析方法研究与实现
13.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
14.
Formalized requirement analysis based on the component technology and method-B
基于构件技术和B方法的形式化需求分析
15.
The Research and Application of Formal Requirement Analysis Method Based on Evolved Component;
基于演化构件的形式化需求分析方法研究与应用
16.
On Three Local Legislation Forms;
关于地方立法成果形式的分析与探讨
17.
Research on the Application of Authentication Tests in Formal Analysis of Security Protocol;
认证测试方法在安全协议形式化分析中的应用研究
18.
Performance Analysis and Formal Verification of Workflow Model: An Extended Petri-Net-Based Approach;
工作流模型性能分析与形式化验证：一种基于扩展Petri网的方法