Secure information flow in a multi-threaded imperative language. (1998)

by G Smith, D Volpano
Venue:In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,