Analyzing Security Protocols with Secrecy Types and Logic Programs (2005)

by Martı́n Abadi, Bruno Blanchet
Venue:Journal of the ACM