KIT | KIT-Bibliothek | Impressum | Datenschutz

A Framework for Non-Interference in Component-Based Systems

Greiner, Simon


Volltext §
DOI: 10.5445/IR/1000082042
Veröffentlicht am 16.04.2018
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsjahr 2018
Sprache Englisch
Identifikator urn:nbn:de:swb:90-820425
KITopen-ID: 1000082042
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XVII, 229 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 29.01.2018
Schlagwörter software security, non-interference, program analysis, component-based systems
Referent/Betreuer Beckert, B.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page