"Noninterference for a Practical DIFC-Based Operating System."

Maxwell N. Krohn, Eran Tromer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics