KIT Scientific Publishing

Im Shop suchen

29,90 €

inkl. 7 % USt. exkl. Versandkosten

Christian Hammer

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

AutorHammer, Christian

VerlagUniversitätsverlag Karlsruhe, Karlsruhe

ISBN9783866443983

Umfang221 S.

Veröffentlicht
am:
15.09.2009

Erscheinungs-
jahr
2009

VerfügbarkeitAktiv

Downloads:

Für Zitate bitte die folgende URL verwenden:
http://dx.doi.org/10.5445/KSP/1000012049

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.