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.
Umfang: 221 S.
Preis: €29.90 | £28.00 | $53.00
These are words or phrases in the text that have been automatically identified by the Named Entity Recognition and Disambiguation service, which provides Wikipedia () and Wikidata () links for these entities.
Hammer, C. 2009. Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000012049
Dieses Buch ist lizenziert unter Creative Commons Attribution + Noncommercial + NoDerivatives 3.0 DE Dedication
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 15. September 2009