Secrecy by typing in security protocols. (1997)

by Martın Abadi
Venue:In Proc. Theoretical Aspects of Computer Software: Third International Conference,