KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
DOI: 10.5445/IR/1000082042

A Framework for Non-Interference in Component-Based Systems

Greiner, Simon



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2018
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-820425
KITopen ID: 1000082042
Verlag Karlsruhe
Umfang XVII, 229 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 29.01.2018
Referent/Betreuer Prof. B. Beckert
Schlagworte software security, non-interference, program analysis, component-based systems
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page