{"product_id":"information-flow-control-for-java","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.","brand":"None","offers":[{"title":"Couverture souple","offer_id":46448533995730,"sku":"9783866443983","price":68.95,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0655\/8980\/5233\/files\/1_4c9d2fe5-f73b-49b8-8769-efb3c06d928b.jpg?v=1762996557","url":"https:\/\/iandigo.com\/fr\/products\/information-flow-control-for-java","provider":"Indigo","version":"1.0","type":"link"}