Main Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs

Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs

Name: Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs
Rating: 5.0 (4 reviews)
ISBN: 9783866443983

Christian Hammer

5.0 / 5.0

0 comments

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.

Request Code : ZLIB.IO17660902

Categories:

Year:

2022

Publisher:

KIT Scientific Publishing

Language:

English

ISBN 10:

3866443986

ISBN 13:

9783866443983