BooksCloudSKU: 9783866443983
Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs - Paperback
$78.55
/
Shipping calculated at checkout.
In stock (50)
$78.55
Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs - Paperback
$78.55
/
Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs - Paperback
$78.55
/
products.product.pickup_availability.unavailable
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
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
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
