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

by B Blanchet
Venue:In Proceedings of CSFW’01