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
Collection
Citation
Hammer, Christian, “Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs,” Open Educational Resource (OER) - USK Library, accessed September 12, 2024, http://uilis.usk.ac.id/oer/items/show/4563.