Biblio Export 1 results: RTF EndNote XML Filters: Author is Martin Abadi [Clear All Filters]2005Abadi, Martin, and Bruno Blanchet. "Analyzing Security Protocols with Secrecy Types and Logic Programs." Journal of the ACM 52, no. 1 (2005): 102-146.DOI Google Scholar RTF EndNote XML
