Media type: E-Book Title: A Framework for Non-Interference in Component-Based Systems Contributor: Greiner, Simon [Verfasser]; Beckert, B. [Akademischer Betreuer] imprint: Karlsruhe: KIT-Bibliothek, 2018 Extent: Online-Ressource Language: English Identifier: Keywords: software security ; non-interference ; program analysis ; component-based systems Origination: University thesis: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2018 Footnote: Access State: Open Access