Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

Thomas Bauereiss, Dieter Hutter

Browse the full SEC paper archive.