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

Author:: Hammer, Christian
Published:: KIT Scientific Publishing 2009
Physical Description:: 1 electronic resource (221 p. p.)

Access Online

www.ksp.kit.edu , Open Access: DOAB: download the publication
directory.doabooks.org , Open Access: DOAB: description of the publication

Availability

Finding items...

Language Note:

English

Restrictions on Access:

Open Access Unrestricted online access

Summary:

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.

Other Subject(s):

ISBN:

KSP/1000012049
9783866443983

Collection:

DOAB Library.

Terms of Use and Reproduction:

Creative Commons https://creativecommons.org/licenses/by-nc-nd/4.0/

View MARC record | catkey: 33194746