Information flow control for java

a comprehensive approach based on path conditions in dependence Graphs

By: Christian Hammer

Write A Review

Paperback | 13 August 2014

At a Glance

Paperback
230 Pages

Dimensions(cm)
21.01 x 14.81 x 1.22

Paperback

$80.75

or 4 interest-free payments of $20.19 with

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.