Biblio

Export 2 results:
Filters: Author is Bruno Blanchet  [Clear All Filters]
2011
Blanchet, Bruno. "Using Horn Clauses for Analyzing Security Protocols." In Formal Models and Techniques for Analyzing Security Protocols, 86-111. Amsterdam: IOS Press, 2011.