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
Englisch
229
Paperback | 978-3-86644-398-3 |