{"product_id":"information-flow-control-for-java-a-comprehensive-approach-based-on-path-conditions-in-dependence-graphs-von-christian-hammer","title":"Information flow control for java : a comprehensive approach based on path conditions in dependence graphs","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783866443983\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783866443983","offer_id":39457373028445,"sku":"9783866443983","price":29.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e3c43613-8a20-4067-a6ed-08b162a98c22.jpg?v=1750742245","url":"https:\/\/shop.autorenwelt.de\/products\/information-flow-control-for-java-a-comprehensive-approach-based-on-path-conditions-in-dependence-graphs-von-christian-hammer","provider":"Autorenwelt Shop","version":"1.0","type":"link"}