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

• Main Author: Hammer, Christian (auth)
• Format: Electronic Book Chapter
• Language: English
• Published: KIT Scientific Publishing 2009
• Subjects: information flow control; software security; program slicing; program dependence graph; path conditions
• Online Access: DOAB: download the publication; DOAB: description of the publication

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 slici...