On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum

Browse the full SAFECOMP paper archive.