Information flow control for java : a comprehensive approach based on path conditions in dependence graphs
Buch in deiner Nähe kaufen
Beschreibung
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.
Printing on Demand. Kostenloser Download über den Verlagsserver unter der URL http://uvka.ubka.uni-karlsruhe.de/shop/isbn/978-3-86644-398-3
Autor*in
Christian Hammer
Themen in »Information flow control for java : a comprehensive approach based on path conditions in dependence graphs«
software security information flow control program dependence graph program slicing path conditions