An Efficient Cryptographic Protocol Verifier Based on Prolog Rules (2001)

by B Blanchet
Venue:in Proc. IEEE Computer Security Foundations Workshop (CSFW’01). IEEE Computer