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

Dublin Core

Title

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

Subject

Computer Science

Description

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

Creator

Hammer, Christian

Source

https://www.ksp.kit.edu/9783866443983

Publisher

KIT Scientific Publishing

Date

2009

Contributor

Baihaqi

Rights

Creative Commons

Format

PDF

Language

English

Type

Textbooks

Files

Citation

Hammer, Christian, “Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs,” Open Educational Resource (OER) - Unsyiah Library, accessed October 2, 2022, http://uilis.unsyiah.ac.id/oer/items/show/4563.

Document Viewer