Information Flow Control for Java: A Comprehensive Approach Based on Path Conditions in Dependence Graphs: Dissertationsschrift. Zugl.: Karlsruhe, Univ., Diss., 2009 - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Information Flow Control for Java: A Comprehensive...
Foto des Verkäufers
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Verlag:
Karlsruher Institut Für Technologie, 2009
ISBN 10: 3866443986
ISBN 13: 9783866443983
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783866443983
Neu kaufen
EUR 29,90
EUR 61,70 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar