1.
Model Checking of the NS Cryptographic Protocol and Analysis Based on the UPPAAL
基于UPPAAL的NS密码协议模型检测分析
2.
Study on Algebraic Model of Cryptographic Protocols and Algorithm of Security Analysis;
密码协议的代数模型和安全分析算法研究
3.
Password Authentication Protoco
密码鉴别协议(pap协议)
4.
Application of Petri Nets in Modelling and Analyzing of Encryption Protocol
Petri网在密码协议建模和分析中的应用
5.
Research on Analysis and Design of Cryptographic Protocols Based on Generalized Strand Space Model;
基于广义串空间模型的密码协议设计与分析的研究
6.
Validation for RPC Protocol Based On Strand Space
串空间模型对RPC协议机密性的验证
7.
Efficient Password-Based Authenticated Key Exchange Protocol under Standard Model
标准模型下高效的基于口令认证密钥协商协议
8.
Password-based Group Key Exchange Protocol Under Standard Model
标准模型下基于口令的群密钥协商协议
9.
The Simulation Study Based on IEEE802.20 Standard for Channel Model and Channel Coding
IEEE802.20协议的信道模型与信道编码的仿真研究
10.
Improved One-Round Key Exchange Protocol in the Standard Model
改进的基于标准模型的一轮密钥交换协议
11.
Design and analysis of private-preserving dot product protocol under malicious model
恶意模型下保密点积协议的设计与分析
12.
Design and implementation of iSCSI-based encryption storage area network model
基于iSCSI协议的加密存储区域网模型设计与实现
13.
Error: Connection Agreement Wizard needs the password for account %1
错误: 连接协议向导需要帐户 %1 的密码
14.
Improvement of AKA Protocol and Design of Cryptography Algorithm in 3G;
3G中AKA协议改进和密码算法设计
15.
The Security Protocol of RFID Based on Elliptic Curve Cryptography;
基于椭圆曲线密码的RFID安全协议
16.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
17.
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
18.
Research on Kerberos Authentication Protocol Integrating Public Key Cryptography;
基于公钥密码的Kerberos认证协议研究