Hammer | Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs | Buch | 978-3-86644-398-3 | sack.de

Buch, Englisch, 221 Seiten, PB, Format (B × H): 148 mm x 210 mm, Gewicht: 340 g

Hammer

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs


Erscheinungsjahr 2014
ISBN: 978-3-86644-398-3
Verlag: Karlsruher Institut für Technologie

Buch, Englisch, 221 Seiten, PB, Format (B × H): 148 mm x 210 mm, Gewicht: 340 g

ISBN: 978-3-86644-398-3
Verlag: Karlsruher Institut für Technologie

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.

Hammer Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs jetzt bestellen!

Autoren/Hrsg.

Hammer, Christian
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.