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

by Michael Backes, “A
Venue:In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS