1.
Designing and Formal Analysis Communication Protocol of CBTC System;
CBTC系统通信协议的设计和形式化分析
2.
Formal Analysis of Security Protocols Based on Universally Composable Framework;
基于UC框架的安全协议形式化分析
3.
The Security Mechanism Research and Formal Analysis Based on SET Protocol;
SET协议的安全机制研究与形式化分析
4.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
5.
Study on a Security Protocol Formal Analysis Tool
一个安全协议形式化分析工具的研究
6.
Universally Composable Formal Analysis of Sender Non-repudiation Protocol
发送者非否认协议的UC形式化分析
7.
Formal analysis method for secure dynamic source routing protocols
一种安全DSR协议的形式化分析方法
8.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
9.
Methods for formal verification of large and complicated protocols
大型复杂协议的形式化分析方法研究
10.
Formalized Analyzing of Protocol Model Called Rdt2.2 base on Spin
基于Spin的Rdt2.2及其改进的形式化分析
11.
Survey on Formal Analysis of Kerberos 5
Kerberos 5协议的形式化分析综述
12.
Reference model and formal analysis for requirements of equipment systems
装备体系需求参考模型及形式化分析
13.
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
14.
The Formal Analysis and Control to Security Protocol of Telecommunication for Electric Power System;
电力系统安全协议形式化分析技术研究
15.
Workflow Execution Net Based on Formalized Pattern Analysis;
基于形式化模式分析的工作流执行网
16.
The Static-Dynamic Analysis and Optimization of Box-main-girder Bridge Crane;
箱形梁桥式起重机静动态分析与优化
17.
Complexity Analysis and Mathematical Model of DNA-Based Self-Assembly;
DNA自装配的复杂度分析及形式化模型
18.
Formal Semantic Analysis of Quantifier Scope Ambiguity in English;
英语量化词辖域歧义的形式语义分析