Information Security

DOI10.1007/B100936MaRDI QIDQ5492783zbMATH OpenOpenAlexFDO

Authors Michael Backes, Birgit Pfitzmann, Michael Waidner

Publication date 16 October 2006

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

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Foundations of Security Analysis and Design III
• Symmetric authentication within a simulatable cryptographic library
• A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol
• Automated Security Proofs with Sequences of Games
• Limits of the cryptographic realization of Dolev-Yao-style XOR

Cited in

(2)

• The reactive simulatability (RSIM) framework for asynchronous systems
• Foundations of Security Analysis and Design III

This page was built for publication: Information Security

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