KIT | KIT-Bibliothek | Impressum | Datenschutz

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Hammer, Christian

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.

Open Access Logo

Volltext §
DOI: 10.5445/KSP/1000012049
Die gedruckte Version dieser Publikation können Sie hier kaufen.
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 2009
Sprache Englisch
Identifikator ISBN: 978-3-86644-398-3
KITopen-ID: 1000012049
Verlag Universitätsverlag Karlsruhe, Karlsruhe
Umfang 221 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdatum 01.07.2009
Referent/Betreuer Prof. G. Snelting
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Schlagwörter program slicing, information flow control, software security, path conditions, program dependence graph
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page