Biblio Export 1 results: RTF EndNote XML 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.DOI Google Scholar RTF EndNote XML
