Font Size:
a
A
A
Keyword [Formal Analysis]
Result: 61 - 80 | Page: 4 of 10
61.
The Analysis Of Security Protocols Based On Colored Petri Nets
62.
The Analysis And Research On Secure Mobile Commerce Protocol
63.
Formal Analysis For UML Model Of Security Protocols Using SPIN
64.
An Authentication Protocol For OSGi Based On Hybrid Encryption
65.
Formal Analysis For Electronic Commerce Protocols
66.
Security-Enhanced Research On 3G And The Design Of Authentication And Key Agreement Protocol
67.
The Research Of Secure Electronic Voting Scheme And Its Anonymity
68.
Research On Combination Of Formal Analysis Methods To Security Protocols
69.
Formal Analysis Of Security Protocols Based On Universally Composable Framework
70.
Research On WAP Based Protocol Framework For Mobile Commerce Secure Payment
71.
Research On The Application Of Authentication Tests In Formal Analysis Of Security Protocol
72.
Research On Verification Technology For Non-Repudiation And Fairness Of Cryptographic Protocols
73.
Research And Design Of Secure Embedded Operating System Face To Power
74.
Formal Analysis And Application Of Real-time Systems Based On UPPAAL And UML
75.
A Research On Formal Analysis Of Authentication Protocols With CSP Approach
76.
Study On Formal Analysis To Security Protocol Based On Strand Space Model
77.
Fair And Non-repudiation Protocol Design And Formal Analysis
78.
A Research On The Formal Analysis Of Quantum Cryptography Protocols
79.
A Formal Analysis Method And Its Application Based On UML Requirement Modeling
80.
Research On Password-Based Authentication And Key Exchange Protocol For Low Power Devices
<<First
<Prev
Next>
Last>>
Jump to
