Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

DOI10.1007/978-3-642-15205-4_1zbMath1287.94049OpenAlexW1489972580MaRDI QIDQ3586028

C. J. F. Cremers, David A. Basin

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_1

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55)

Related Items (2)

Model Checking Security Protocols ⋮ Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries