1.
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
2.
Analysis of Cryptographic Protocol Based on Object Oriented Timed Petri Nets
基于面向对象时间Petri网的密码协议分析
3.
Non-Malleability and Emulation Based Approach to Cryptographic Protocol Analysis
基于刚性与相似性概念的密码协议分析方法
4.
Application of Petri Nets in Modelling and Analyzing of Encryption Protocol
Petri网在密码协议建模和分析中的应用
5.
Model Checking of the NS Cryptographic Protocol and Analysis Based on the UPPAAL
基于UPPAAL的NS密码协议模型检测分析
6.
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
7.
Study on Algebraic Model of Cryptographic Protocols and Algorithm of Security Analysis;
密码协议的代数模型和安全分析算法研究
8.
Research on Spi Calculus-Based Automatic Analyzing Technology of Cryptographic Protocols;
基于Spi演算的密码协议自动化分析技术研究
9.
Research on Formal Analysis and Design of Public Key Protocols;
公钥密码协议的形式化分析与设计研究
10.
Design and Analysis of Cryptographic Protocols from Bilinear Pairings;
基于双线性对的密码协议的设计与分析
11.
Password Authentication Protoco
密码鉴别协议(pap协议)
12.
Analysis of Quantum Cryptographic System Based on BB84 Protocol;
基于BB84协议的量子密码体制浅析
13.
Research on Analysis and Design of Cryptographic Protocols Based on Generalized Strand Space Model;
基于广义串空间模型的密码协议设计与分析的研究
14.
Research on the Techniques Based on Multi-set Rewriting for Analyzing the Secure Properties of Cryptographic Protocols;
基于多重集重写的密码协议形式化分析技术研究
15.
Analysis and Improvement of Group Key Agreement Protocol ID-AGKA
群密钥协商协议ID-AGKA的分析与改进
16.
A Novel Quantum Key Distribution Protocol Based on Quantum Error Correction Code
一种基于量子纠错编码的量子密钥分配协议
17.
Analysis Method of TCP/IP Protocol Binary Code;
TCP/IP协议二进制代码的分析方法
18.
An Improved Key Issuing Protocol in ID-Based Cryptosystem
一种基于ID的密钥分发协议分析改进