Just fast keying

DOI10.1145/996943.996946zbMath1291.94041OpenAlexW2163795263WikidataQ60530250 ScholiaQ60530250MaRDI QIDQ3546456

John P. A. Ioannidis, Omer Reingold, Steven M. Bellovin, Matthew Blaze, Ran Canetti, Angelos D. Keromytis, William Aiello

Publication date: 21 December 2008

Published in: ACM Transactions on Information and System Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/996943.996946

Mathematics Subject Classification ID

Cryptography (94A60) Internet topics (68M11)

Related Items

Anonymity and one-way authentication in key exchange protocols, Automated verification of selected equivalences for security protocols, Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols, Towards Denial-of-Service-Resilient Key Agreement Protocols, Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy, Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif