KIT | KIT-Bibliothek | Impressum | Datenschutz

Slicing of Concurrent Programs and its Application to Information Flow Control

Giffhorn, Dennis

Abstract:

This thesis presents a practical technique for information flow control for concurrent programs with threads and shared-memory communication. The technique guarantees confidentiality of information with respect to a reasonable attacker model and utilizes program dependence
graphs (PDGs), a language-independent representation of information flow in a program.


Volltext §
DOI: 10.5445/IR/1000028814
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsjahr 2012
Sprache Englisch
Identifikator urn:nbn:de:swb:90-288143
KITopen-ID: 1000028814
Verlag Karlsruher Institut für Technologie (KIT)
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdatum 08.05.2012
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Schlagwörter slicing, chopping, noninterference, threads, concurrency
Referent/Betreuer Snelting, G.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page