DMCA

Secrecy by Typing in Security Protocols (1998)

by Martín Abadi
Venue:Journal of the ACM
Citations:273 - 10 self