×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [g b diffie hellman slide]
Home >
g b diffie hellman slide
Formal Derivation of Security Protocols Anupam DattaAnte Derek John C. Mitchell Dusko Pavlovic Stanford University Kestrel Institute HCSS April 15, 2004.
214 views
Abstraction and Refinement in Protocol Derivation Anupam DattaAnte Derek John C. Mitchell Dusko Pavlovic Stanford University Kestrel Institute CSFW June.
217 views