Media type: E-Book Title: Modular verification of information flow security in component-based systems - proofs and proof of concept Contributor: Greiner, Simon [VerfasserIn]; Mohr, Martin [VerfasserIn]; Beckert, Bernhard [VerfasserIn] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2017,9 Extent: 1 Online-Ressource (22 Seiten, 545,84 KB) Language: English DOI: 10.5445/IR/1000070463 Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 21-22 Access State: Open Access