Secrecy by Typing in Security Protocols (1998)

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