{"product_id":"information-flow-control-for-java-christian-hammer-9783866443983","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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Christian Hammer\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3866443986\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783866443983\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Karlsruher Institut Fur Technologie\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/13\/2014\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 230\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.62lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.27h x 5.83w x 0.48d","brand":"Christian Hammer","offers":[{"title":"Paperback","offer_id":44123233943807,"sku":"9783866443983","price":53.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_5bd9e14e-3d98-4ba9-b038-5e41e7f75d45.jpg?v=1687429706","url":"https:\/\/www.whiterainbookhouse.com\/products\/information-flow-control-for-java-christian-hammer-9783866443983","provider":"WR Book House","version":"1.0","type":"link"}