Secrecy by Typing in Security Protocols (1998)

by Martín Abadi
Venue:Journal of the ACM
Citations:281 - 15 self