"A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol." In Computer Security ? ESORICS 2004. Berlin, Germany, 2004.