Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs - Paperback
$71.55
Skip to product information
Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs - Paperback
$71.55
by Christian Hammer (Author)
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.
Number of Pages: 230
Dimensions: 0.48 x 8.27 x 5.83 IN
Publication Date: July 23, 2022
Details
This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.
Shipping & Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.
