Using Horn Clauses for Analyzing Security Protocols Publication Type: Book Chapter Authors: Bruno Blanchet Source: Formal Models and Techniques for Analyzing Security Protocols, IOS Press, Amsterdam, p.86-111 (2011)
