Sciweavers

5324 search results - page 55 / 1065
» Internet Security Protocols
Sort
View
86
Voted
CCS
1998
ACM
15 years 6 months ago
Public-Key Cryptography and Password Protocols
Shai Halevi, Hugo Krawczyk
89
Voted
CSFW
1997
IEEE
15 years 6 months ago
Mechanized proofs for a recursive authentication protocol
Lawrence C. Paulson
71
Voted
CCS
1997
ACM
15 years 6 months ago
A Calculus for Cryptographic Protocols: The Spi Calculus
Martín Abadi, Andrew D. Gordon