1.
The Research and Implementation on the Formal Verification Technique of Security Protocol;
安全协议形式化验证技术的研究与实现
2.
Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows;
网格服务流的状态π演算形式化验证技术研究与应用
3.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
4.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
5.
Research and Applications of Flow Pipe Approximation Methods in Formal Verification Technology
形式验证技术中流管道近似方法的研究与应用
6.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
7.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
8.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
9.
Study of Optimization Analysis and Security Verification Technology in GCC;
嵌入式软件的编译器优化分析及安全性验证技术研究
10.
Deficiency of Technology Conversion and Transformation of Growth Mode--Evidence from Industrial Enterprises of Large and Medium Size in China
技术转化障碍与经济增长方式转变——大中型工业企业的经验证据
11.
Essential Technology of Embodied SRAM Controller Verification
嵌入式SRAM控制器验证关键技术
12.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
13.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
14.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
15.
The Research of Formal Verification Application in Office Security;
形式化验证在Office安全中的应用研究
16.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
17.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
非否认协议的UC可靠的形式化验证
18.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法