Font Size:
a
A
A
Keyword [formal analysis]
Result: 1 - 20 | Page: 1 of 10
1.
Study On Security Analysis Techniques In Routing Protocols For Mobile Ad Hoc Networks
2.
Model Checking Based Formal Analysis And Verification For Component Oriented Embedded Software
3.
Trustworthy Network Control Model And Its Formal Analysis
4.
Formal Analysis And Verification Of Hybrid Systems Via Co-Verification And Hybrid Relations
5.
Research On Commercial Security Policy And Its Formal Analysis
6.
Research On Analysis Of Fair Exchange Protocols
7.
The Application Study On Formalism And Model Checking Techniques Of Electronic Commerce Protocols
8.
The Petri Net Based On The π-calculus And The Formal Analysis For Cryptographic Protocols
9.
The Strand Spaces Theory And Its Application To The Analysis Of Security Protocols
10.
Formal Analysis And Verification For Component-based Embedded Software Designs
11.
The Formal Analysis Methods Of Wireless Network Security Protocol
12.
Formal Analysis And Design Of Wireless Network Protocols
13.
The Research And Application Of Formalized Methods Of Multi-party Security Protocols Analysis
14.
On Some Key Problems Of Mobile Payment System Security
15.
Research On Authentication Test Theory In Formal Analysis Of Security Protocols
16.
Research On Formal Methods For Cryptographic Protocols Analysis
17.
The Research On Modeling Analysis And Defense Mechanism Of AKA Protocol
18.
Research On Formal Verification Methods Of Security Protocols
19.
Research On Formal Analysis Method Of The Security Of E-commerce Protocol
20.
Formal Analysis And Construction For Internetware-based Software System
<<First
<Prev
Next>
Last>>
Jump to
