Information flow control for java

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

by HAMMER, CHRISTIAN

Type Book
Rate 0.0 /5

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.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Information flow control for java : a comprehensive approach based on path conditions in dependence graphs / Hammer, Christian.

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.

Read More ↓

Edition Statements

  • Publication Date:2009.

Publication Statements

  • Publisher(s):KIT Scientific Publishing
  • Place of Publication:Place of publication not identified
  • Language:eng
  • Publication Date:2009.

Notes

Title from content provider.

The Physical Object

  • Description:1 online resource

Edition Identifiers

  • ISBN:9783866443983, 3866443986, 1000012049, 9781000012040, 1000012042
  • oclc:on1126205922

Subjects

information flow control path conditions program dependence graph Program Slicing software security

Writers

HAMMER, CHRISTIAN

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Information Flow Control for Java: A Comprehensiv…

    PDF · 11.5 MB · updated
    Login →

  • Information Flow Control for Java: A Comprehensiv…

    PDF · 20.2 MB · updated
    Login →
Log in to request a copy