1.
Formal Analysis of Security Protocols Based on Universally Composable Framework;
基于UC框架的安全协议形式化分析
2.
Study on a Security Protocol Formal Analysis Tool
一个安全协议形式化分析工具的研究
3.
The Formal Analysis and Control to Security Protocol of Telecommunication for Electric Power System;
电力系统安全协议形式化分析技术研究
4.
Research on Combination of Formal Analysis Methods to Security Protocols;
安全协议形式化分析方法的融合性研究
5.
Study on Formal Analysis of Security Protocol Based on Strand Space Model;
基于Strand Space模型的安全协议形式化分析研究
6.
Research on Formal Analysis of Security Protocol of Computer Communication Network;
计算机通信网安全协议形式化分析研究
7.
Research on Authentication Test Theory in Formal Analysis of Security Protocols
安全协议形式化分析中认证测试方法的研究
8.
Research on Reconciling Two Views of Formal Analysis Methods for Security Protocols
调和两种观点的安全协议形式化分析方法研究
9.
Research on Formal Analysis of RFID Security Protocols and DRAP Protocol s Establish;
RFID安全协议形式化分析研究及DRAP协议的建立与实现
10.
Research on the Application of Authentication Tests in Formal Analysis of Security Protocol;
认证测试方法在安全协议形式化分析中的应用研究
11.
Research on the Formal Analysis Technology to Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化分析技术研究
12.
The Security Mechanism Research and Formal Analysis Based on SET Protocol;
SET协议的安全机制研究与形式化分析
13.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
14.
Formal analysis method for secure dynamic source routing protocols
一种安全DSR协议的形式化分析方法
15.
Research on Formal Analysis of Electronic Commerce Security Protocol;
电子商务安全协议的形式化分析技术研究
16.
Formal Analysis, Design and Verification on Complex Security Protocols;
复杂安全协议的形式化分析、设计与验证研究
17.
The Research and Application of Formalized Methods of Multi-party Security Protocols Analysis;
多方安全协议的形式化分析方法研究与应用
18.
FORMAL MODEL ESTABLISHMENT AND SECURITY ANALYSIS FOR SET PROTOCOL
SET协议形式化模型的建立和安全性分析