1.
Formal Analysis of Security Protocols Based on Universally Composable Framework;
基于UC框架的安全协议形式化分析
2.
Study on a Security Protocol Formal Analysis Tool
一个安全协议形式化分析工具的研究
3.
Research on Formal Analysis of RFID Security Protocols and DRAP Protocol s Establish;
RFID安全协议形式化分析研究及DRAP协议的建立与实现
4.
The Formal Analysis and Control to Security Protocol of Telecommunication for Electric Power System;
电力系统安全协议形式化分析技术研究
5.
Research on Combination of Formal Analysis Methods to Security Protocols;
安全协议形式化分析方法的融合性研究
6.
The Application Study on Formalism of Electronic Commerce Protocols Based on SVO Logic;
基于SVO逻辑的电子商务协议形式化分析与研究
7.
Study on Formal Analysis of Security Protocol Based on Strand Space Model;
基于Strand Space模型的安全协议形式化分析研究
8.
Research on Formal Analysis of Security Protocol of Computer Communication Network;
计算机通信网安全协议形式化分析研究
9.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
10.
Research on Reconciling Two Views of Formal Analysis Methods for Security Protocols
调和两种观点的安全协议形式化分析方法研究
11.
Research on Logic-based Method for Formal Analysis of Composed Security Protocols
基于逻辑的复合协议形式化分析方法研究
12.
Designing and Formal Analysis Communication Protocol of CBTC System;
CBTC系统通信协议的设计和形式化分析
13.
The Security Mechanism Research and Formal Analysis Based on SET Protocol;
SET协议的安全机制研究与形式化分析
14.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
15.
Universally Composable Formal Analysis of Sender Non-repudiation Protocol
发送者非否认协议的UC形式化分析
16.
Formal analysis method for secure dynamic source routing protocols
一种安全DSR协议的形式化分析方法
17.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
18.
Methods for formal verification of large and complicated protocols
大型复杂协议的形式化分析方法研究