1.
Automatic Verifying Security Protocols Basing Term Guessing and Hash Forging;
基于术语猜测及Hash伪造的安全协议自动化验证
2.
Flaw Analysis of Security Protocol and Automatic Tool;
安全协议的漏洞分析及自动验证工具
3.
Automated verification tool for time-dependent cryptographic protocols
一种时间相关安全协议的自动验证工具
4.
Research on Formal Verification and Design of Security Protocols;
安全协议形式化验证方法和安全协议设计研究
5.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
6.
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
一个安全、原子的电子商务协议及其形式化验证
7.
The Research and Implementation on the Formal Verification Technique of Security Protocol;
安全协议形式化验证技术的研究与实现
8.
Formal Analysis, Design and Verification on Complex Security Protocols;
复杂安全协议的形式化分析、设计与验证研究
9.
Research on Formal Validation of Security of Ad Hoc Network Protocols
Ad hoc网络协议安全性的形式化验证研究
10.
Attack on Security Protocol Based on Homomorphism and Its Formal Verification
基于同态的安全协议攻击及其形式化验证
11.
Research on Optimization and Secure Routing Scheme of MANET AODV Protocol;
移动自组网AODV协议优化及安全路由方案研究
12.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
13.
Automatic Functional Verification of the Multi-protocols Processing Chip Bashed on SpecmanE;
用SpecmanE进行复杂协议处理芯片的自动化功能验证
14.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
15.
Verifying Mobile Ad-Hoc Security Routing Protocols with Type Inference
利用类型推理验证Ad Hoc安全路由协议
16.
New verification framework for safety communication protocol
一种新的安全通信协议安全性验证框架
17.
Research on Formal Verification Methods of Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化验证方法的研究
18.
The Application of Knowledge Theory Based Secure Protocol Formal Verification Method;
基于知识理论的安全协议形式化验证方法的应用