Foundations of Security Analysis and Design III

DOI10.1007/11554578MaRDI QIDQ5897457zbMATH OpenOpenAlexFDO

Authors Michael Backes, Birgit Pfitzmann, Michael Waidner

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11554578

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol
• Information Security
• Symmetric authentication within a simulatable cryptographic library
• Limits of the cryptographic realization of Dolev-Yao-style XOR

Cited in

(8)

• Logics for reasoning about cryptographic constructions
• Real-or-random key secrecy of the Otway-Rees protocol via a symbolic security proof
• Symmetric authentication within a simulatable cryptographic library
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Programming Languages and Systems
• Information Security
• A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol
• Limits of the cryptographic realization of Dolev-Yao-style XOR

This page was built for publication: Foundations of Security Analysis and Design III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897457)