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

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