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

Backes, Michael
(2004) A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.
In: Proceedings of 9th European Symposium on Research in Computer Security (ESORICS).

[img]
Preview
Text
c23-j9-final1.pdf - Published Version

Download (272kB) | Preview

Actions

Actions (login required)

View Item View Item