Noninterference for a practical DIFCbased operating system (2009)

by M N Krohn, E Tromer
Venue:In 30th IEEE Symposium on Security and Privacy