Modular Verification of Information Flow Security in Component-Based Systems.

Simon Greiner, Martin Mohr, Bernhard Beckert

Browse the full SEFM paper archive.