Automata, Languages and Programming: 25th International ...
Kim G. Larsen
Secrecy by typing in security protocols. In Theoretical Aspects of Computer Software, volume 1281 of Lecture Notes in Computer Science, pages 611-638. Springer- Verlag, 1997. [AFG98] Martin Abadi, Cedric Fournet, and Georges Gonthier.