Media type: E-Book; Electronic Thesis; Doctoral Thesis; Text Title: A Framework for Non-Interference in Component-Based Systems Contributor: Greiner, Simon [Author] imprint: KIT-Bibliothek, Karlsruhe, 2018-01-01 Language: English DOI: https://doi.org/10.5445/IR/1000082042 Keywords: program analysis ; software security ; non-interference ; component-based systems ; DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access