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

Тип публикация:

Conference Paper

Автори:

Michael Backes

Източник:

Computer Security – ESORICS 2004, Berlin, Germany (2004)
Share/Save