1.
Logic Program and Its Application to the Verification of Security Protocols;
逻辑程序及其在安全协议验证中的应用
2.
Efficient Protocol-proving Algorithm Based on Improved Authentication Tests
基于改进认证测试理论的高效安全协议验证算法
3.
Research on Formal Verification and Design of Security Protocols;
安全协议形式化验证方法和安全协议设计研究
4.
Flaw Analysis of Security Protocol and Automatic Tool;
安全协议的漏洞分析及自动验证工具
5.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
6.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
7.
Verifying Mobile Ad-Hoc Security Routing Protocols with Type Inference
利用类型推理验证Ad Hoc安全路由协议
8.
New verification framework for safety communication protocol
一种新的安全通信协议安全性验证框架
9.
Attestation proxy party-supported remote attestation model and its secure protocol
支持验证代理方的远程证明模型及其安全协议
10.
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
一个安全、原子的电子商务协议及其形式化验证
11.
The Research and Implementation on the Formal Verification Technique of Security Protocol;
安全协议形式化验证技术的研究与实现
12.
Automatic Verifying Security Protocols Basing Term Guessing and Hash Forging;
基于术语猜测及Hash伪造的安全协议自动化验证
13.
Security Protocol Analysis and Verification Based on Model Checker SPIN;
基于模型检测工具SPIN的安全协议分析和验证
14.
Formal Analysis, Design and Verification on Complex Security Protocols;
复杂安全协议的形式化分析、设计与验证研究
15.
Research on Formal Validation of Security of Ad Hoc Network Protocols
Ad hoc网络协议安全性的形式化验证研究
16.
Survey on Modelling and Verification of Time Sensitive Security Protocol
时间敏感的安全协议建模与验证:研究综述
17.
Automated verification tool for time-dependent cryptographic protocols
一种时间相关安全协议的自动验证工具
18.
Attack on Security Protocol Based on Homomorphism and Its Formal Verification
基于同态的安全协议攻击及其形式化验证