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

by G Smith, D Volpano
Venue:In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages