KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Hammer, Christian

Abstract:
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
Seitenaufrufe: 133
seit 25.04.2018
Downloads: 1323
seit 06.09.2009
Die gedruckte Version dieser Publikation können Sie hier kaufen.
Coverbild
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Jahr 2009
Sprache Englisch
Identifikator ISBN: 978-3-86644-398-3
urn:nbn:de:0072-120494
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)
Schlagworte program slicing, information flow control, software security, path conditions, program dependence graph
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page