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