A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol (2004)

by Michael Backes
Venue:In Proc. 9th European Symposium on Research in Computer Security (ESORICS
Citations:24 - 10 self