KIT | KIT-Bibliothek | Impressum

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.


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 DOI: 10.5445/KSP/1000012049
ISBN: 978-3-86644-398-3
URN: 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)
Schlagworte program slicing, information flow control, software security, path conditions, program dependence graph
Bestellung Die Veröffentlichung ist bei KIT Scientific Publishing erschienen.
Weitere Informationen sowie gegebenenfalls Bestellmöglichkeiten finden Sie hier.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page