Using Horn clauses for analyzing security protocols (2011)

by B Blanchet
Venue:Formal Models and Techniques for Analyzing Security Protocols, Cryptology and Information Security Series