A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol Вид публикации: Conference Paper Авторы: Michael Backes Источник: Computer Security – ESORICS 2004, Berlin, Germany (2004)
