Secrecy by Typing in Security Protocols (1998)

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