Using Horn clauses for analyzing security protocols
B Blanchet - Formal Models and Techniques for Analyzing …, 2011 - ebooks.iospress.nl
This chapter presents a method for verifying security protocols based on an abstract
representation of protocols by Horn clauses. This method is the foundation of the protocol …
representation of protocols by Horn clauses. This method is the foundation of the protocol …