Font Size:
a
A
A
Keyword [Dolev-Yao model]
Result: 1 - 3 | Page: 1 of 1
1.
Research On Analysis And Design Of Cryptographic Protocols Based On Generalized Strand Space Model
2.
Automatic Verification Of Security Protocols Based On Tree Automata
3.
An Authentication Protocol With Anonymity Based On The K-pseudonym Set
<<First
<Prev Next>
Last>>
Jump to
