Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
Formal model for cryptographic protocols based on problem-solving theory;
一种基于问题求解理论的密码协议形式模型
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
Identity-based conference key distribution scheme;
基于身份的会议密钥分配方案
Identity-based Conference Key Distribution Scheme;
基于椭圆曲线的会议密钥分配方案
Research about Dynamic Mechanism of Exchange of Conference Key;
动态会议密钥交换机制的研究
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
Application of Petri Nets in Modelling and Analyzing of Encryption Protocol
Petri网在密码协议建模和分析中的应用
Model Checking of the NS Cryptographic Protocol and Analysis Based on the UPPAAL
基于UPPAAL的NS密码协议模型检测分析
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
Research on Verification Technology for Non-Repudiation and Fairness of Cryptographic Protocols;
密码协议非否认性和公平性验证技术研究
Study on Algebraic Model of Cryptographic Protocols and Algorithm of Security Analysis;
密码协议的代数模型和安全分析算法研究
Research on Spi Calculus-Based Automatic Analyzing Technology of Cryptographic Protocols;
基于Spi演算的密码协议自动化分析技术研究
Research on Formal Analysis and Design of Public Key Protocols;
公钥密码协议的形式化分析与设计研究
Universally Composable Cryptographic Protocols Theory and Applications;
通用可复合密码协议理论及其应用研究
Design and Analysis of Cryptographic Protocols from Bilinear Pairings;
基于双线性对的密码协议的设计与分析
Password Authentication Protoco
密码鉴别协议(pap协议)
Error: Connection Agreement Wizard needs the password for account %1
错误: 连接协议向导需要帐户 %1 的密码
Improvement of AKA Protocol and Design of Cryptography Algorithm in 3G;
3G中AKA协议改进和密码算法设计
The Security Protocol of RFID Based on Elliptic Curve Cryptography;
基于椭圆曲线密码的RFID安全协议
Research on Kerberos Authentication Protocol Integrating Public Key Cryptography;
基于公钥密码的Kerberos认证协议研究
Analysis of Quantum Cryptographic System Based on BB84 Protocol;
基于BB84协议的量子密码体制浅析
