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

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