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

by B Blanchet
Venue:In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW