"Secure Information Flow in a Multi-Threaded Imperative Language."

Geoffrey Smith, Dennis M. Volpano (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics