1.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
2.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
3.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
4.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
5.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
6.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
7.
The Research of Formal Verification Application in Office Security;
形式化验证在Office安全中的应用研究
8.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
9.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
非否认协议的UC可靠的形式化验证
10.
Authentication method of Web service combination formalization based on petri net
Web服务组合形式化验证方法研究
11.
Formal Verification of L4 Memory Management Using SPIN
采用SPIN的L4内存管理形式化验证
12.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
13.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
14.
Formal Verification for Communication Protocol of CBTC System Based on Probabilistic Model Checking
概率模型检验的CBTC系统通信协议的形式化验证
15.
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
一个安全、原子的电子商务协议及其形式化验证
16.
The Research and Implementation on the Formal Verification Technique of Security Protocol;
安全协议形式化验证技术的研究与实现
17.
Design and Formal Validation of Wayside Safety Computer in CBTC;
CBTC中轨旁安全计算机的设计与形式化验证
18.
The Application Research and Implementation of Boolean Satisfiability Algorithm in Formal Verification;
满足性算法在形式化验证中的应用研究及实现