A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol Publication Type: Conference Paper Authors: Michael Backes Source: Computer Security – ESORICS 2004, Berlin, Germany (2004)
