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

by G Smith, D Volpano
Venue:In Proc. ACM Symp. on Principles of Programming Languages