protocol verification - Globe Thesis

Keyword [protocol verification] Result: 1 - 20 \| Page: 1 of 2
1.	The Study Of Peer-to-Peer Network And Its Protocol Verification Based On Gnutella Protocol
2.	Study On Algebra Methods For Cryptographic Protocol Verification
3.	Research On Authentication Test Theory In Formal Analysis Of Security Protocols
4.	Agent System Communication Theory And Organizational Structure
5.	Vertification Of OSPF Protocol Based On Coloured Petri Net
6.	The Application Of Knowledge Theory Based Secure Protocol Formal Verification Method
7.	Research On Methods Of Security Assurance Based On Computer-Assisted Proof
8.	Intrusion Detection System Based On TCP/IP Protocol Analysis
9.	Composition Abstraction Spin Model Checking Based On Promela And Its Application
10.	Modeling And Analysis Of SCTP Association Management Using Colored Petri Net
11.	Improving Automatic Verification Of Security Protocols With XOR
12.	Construction And Verification Of SoC Base On LEON3 Microprocessor
13.	Research On The LDP Protocol Verification Based On Coloured Petri Nets
14.	The Design And Implementation Of Physical Layer Interface Control Subsystem In EDGE Protocol Verification System
15.	Bluetooth Service Discovery Protocol Verification, And Testing
16.	Based On Timed Automata Model Verification Theory And Applied Research
17.	Multi-machine Environment, The Bus Interface Unit Design And Research
18.	Optimization Of Model Verification Methods Based On Timed Automata
19.	Colored Petri Net-based Spin Protocol Verification
20.	Based On Strand Space Model Of Security Protocol Verification Algorithm
<<First <Prev Next> Last>> Jump to