A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.

Michael Backes

Browse the full ESORICS paper archive.