Hammer, Christian <br/><br/>
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs 

 -  KIT Scientific Publishing  2009 
 - 1 electronic resource (221 p. p.) 
<br/><br/> Open Access 
<br/><br/> 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. 
<br/><br/><br/>Creative Commons 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>KSP/1000012049 9783866443983 
<br/><br/><label>Standard No.: </label>10.5445/KSP/1000012049  doi 
<br/><br/><label>Subjects--Index Terms: </label>information flow control software security program slicing program dependence graph path conditions