An efficient cryptographic protocol verifier based on Prolog rules (2001)

by Bruno Blanchet
Venue:In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14