Secrecy by typing in security protocols (1997)

by Martn Abadi
Venue:In Proc. Theoretical Aspects of Computer Software: Third International Conference