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.

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:Erscheinungsort nicht ermittelbar
  • Language:und
  • Publication Date:2009

The Physical Object

  • Description:1 Online-Ressource (1 electronic resource (221 p. p.))

Edition Identifiers

  • ISBN:9783866443983, 3866443986
  • oclc:on1193077415

Subjects

Electronic computers. Computer science

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