Secure Information Flow in a MultiThreaded Imperative Language (1998)

by Georey Smith, Dennis Volpano
Venue:In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages