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)
Share/Save