KIT | KIT-Bibliothek | Impressum | Datenschutz

A Framework for Non-Interference in Component-Based Systems

Greiner, Simon

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000082042
Veröffentlicht am 16.04.2018
Seitenaufrufe: 68
seit 27.04.2018
Downloads: 81
seit 16.04.2018
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Jahr 2018
Sprache Englisch
Identifikator urn:nbn:de:swb:90-820425
KITopen-ID: 1000082042
Verlag KIT, 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