The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference

Hemant Gouni, Frank Pfenning, Jonathan Aldrich

Non-interference properties, spanning confidentiality and integrity, have long enjoyed a position as the high water mark of program security guarantees. Information flow type syste…