Secure implementation of channel abstractions (1998)

by M Abadi, C Fournet, G Gonthier
Venue:In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science