Secrecy by typing in security protocols (1999)

by M Abadi
Venue:Journal of the ACM