1.
The Study of Peer-to-Peer Network and Its Protocol Verification Based on Gnutella Protocol;
基于Gnutella协议的Peer-to-Peer网络研究及其协议验证
2.
In this paper, an And/ Or graph model for Communication Protocol Validation is proposed.
![点击朗读](/dictall/images/read.gif)
协议验证是一个时空耗费很高的问题。
3.
Research on the Protocol Analysis Based on Strand Space Model;
![点击朗读](/dictall/images/read.gif)
基于串空间模型的协议验证技术研究
4.
Vertification of OSPF Protocol Based on Coloured Petri Net;
![点击朗读](/dictall/images/read.gif)
基于着色Petri网模型的OSPF协议验证
5.
Formal authentication based on identification of intruder role impersonate
![点击朗读](/dictall/images/read.gif)
基于攻击者的“角色冒充”的协议验证方法
6.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
![点击朗读](/dictall/images/read.gif)
EAP-AKA无线认证协议的形式化验证方法
7.
Research on Formal Verification and Design of Security Protocols;
![点击朗读](/dictall/images/read.gif)
安全协议形式化验证方法和安全协议设计研究
8.
Flaw Analysis of Security Protocol and Automatic Tool;
![点击朗读](/dictall/images/read.gif)
安全协议的漏洞分析及自动验证工具
9.
Formal Verification of Security Protocol Adopted in 802.11I;
![点击朗读](/dictall/images/read.gif)
802.11i中安全协议的形式化验证
10.
The Research of Formal Verification Method on Cryptography Protocol;
![点击朗读](/dictall/images/read.gif)
关于密码协议形式化验证方法的研究
11.
Description and verification for security protocol based onπ-calculus;
![点击朗读](/dictall/images/read.gif)
基于π-演算的安全协议描述与验证
12.
Design and Verification of Communication Protocol for Onboard-Trackside Equipments in CTCS Level 3
CTCS-3级车地通信协议设计与验证
13.
Analyzing and Verifying Network Protocols by Model Checking
![点击朗读](/dictall/images/read.gif)
基于模型检查的网络协议分析与验证
14.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
![点击朗读](/dictall/images/read.gif)
非否认协议的UC可靠的形式化验证
15.
Protocol Formal Description and Verification Method Based on RSL
![点击朗读](/dictall/images/read.gif)
基于RSL的协议形式化描述与验证方法
16.
Hash Lock-based Strengthen Synchronization RFID Authentication Protocol
![点击朗读](/dictall/images/read.gif)
基于Hash锁的同步强化RFID验证协议
17.
Verifying Mobile Ad-Hoc Security Routing Protocols with Type Inference
![点击朗读](/dictall/images/read.gif)
利用类型推理验证Ad Hoc安全路由协议
18.
Validation for RPC Protocol Based On Strand Space
![点击朗读](/dictall/images/read.gif)
串空间模型对RPC协议机密性的验证