1.
Formal authentication based on identification of intruder role impersonate
基于攻击者的“角色冒充”的协议验证方法
2.
A Biased Correlation Analysis Based Verification Method for Cache Coherence Protocol
一种带偏置的基于相关性分析的Cache一致性协议验证方法
3.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
4.
Research on Formal Verification and Design of Security Protocols;
安全协议形式化验证方法和安全协议设计研究
5.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
6.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
7.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
8.
Consultative Meeting on Quality Assurance and Good Laboratory Practices
质量保证和实验室良好操作方法协商会议
9.
Research on Formal Verification Methods of Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化验证方法的研究
10.
The Application of Knowledge Theory Based Secure Protocol Formal Verification Method;
基于知识理论的安全协议形式化验证方法的应用
11.
Incremental SAT-based Formal Verification of Security Protocols
基于增量式可满足性求解的安全协议形式化验证方法
12.
Attestation proxy party-supported remote attestation model and its secure protocol
支持验证代理方的远程证明模型及其安全协议
13.
Verifiable Secret Redistribution Protocol Based on Additive Sharing
基于加法共享的可验证秘密再分发协议
14.
Hardware Implementation of Authentication Algorithm Based on CCMP on Wireless Network;
基于CCMP协议无线网络验证算法的FPGA实现
15.
Study on the Vector-based SW/HW Cosimulation Method
Vector模式软硬件协同仿真验证方法研究
16.
Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols;
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
17.
Improvement of the Three-party Encrypted key Exchange Protocol
基于口令认证的三方密钥交换协议改进方法
18.
An Improved Scheme of Challenge Handshake Authentication protocol--ChapNew protocol
Chap认证协议的改进方案——ChapNew协议