Biblio

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