1.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
2.
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
3.
Application of Petri Nets in Modelling and Analyzing of Encryption Protocol
Petri网在密码协议建模和分析中的应用
4.
Model Checking of the NS Cryptographic Protocol and Analysis Based on the UPPAAL
基于UPPAAL的NS密码协议模型检测分析
5.
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
6.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
7.
Research on Verification Technology for Non-Repudiation and Fairness of Cryptographic Protocols;
密码协议非否认性和公平性验证技术研究
8.
Study on Algebraic Model of Cryptographic Protocols and Algorithm of Security Analysis;
密码协议的代数模型和安全分析算法研究
9.
Research on Spi Calculus-Based Automatic Analyzing Technology of Cryptographic Protocols;
基于Spi演算的密码协议自动化分析技术研究
10.
Research on Formal Analysis and Design of Public Key Protocols;
公钥密码协议的形式化分析与设计研究
11.
Universally Composable Cryptographic Protocols Theory and Applications;
通用可复合密码协议理论及其应用研究
12.
Design and Analysis of Cryptographic Protocols from Bilinear Pairings;
基于双线性对的密码协议的设计与分析
13.
Password Authentication Protoco
密码鉴别协议(pap协议)
14.
Error: Connection Agreement Wizard needs the password for account %1
错误: 连接协议向导需要帐户 %1 的密码
15.
Improvement of AKA Protocol and Design of Cryptography Algorithm in 3G;
3G中AKA协议改进和密码算法设计
16.
The Security Protocol of RFID Based on Elliptic Curve Cryptography;
基于椭圆曲线密码的RFID安全协议
17.
Research on Kerberos Authentication Protocol Integrating Public Key Cryptography;
基于公钥密码的Kerberos认证协议研究
18.
Analysis of Quantum Cryptographic System Based on BB84 Protocol;
基于BB84协议的量子密码体制浅析