Formal eavesdropping and its computational interpretation. (2001)

by M Abadi, J Jurjens
Venue:In Proc. 4th International Symposium on Theoretical Aspects of Computer Software (TACS),