Analyzing security protocols with secrecy types and logic programs (2002)

by Mart́ın Abadi, Bruno Blanchet
Venue:In POPL