Biblio

Found 1 results
Filters: Author is Michael Backes  [Clear All Filters]
2004
Backes, Michael. "A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol." In Computer Security – ESORICS 2004. Berlin, Germany, 2004.