Information flow control for java : a comprehensive approach based on path conditions in dependence graphs
Hammer, Christian
Produktnummer:
18758d34ade64948c3b593d687adbb8dca
| Autor: | Hammer, Christian |
|---|---|
| Themengebiete: | information flow control path conditions program dependence graph program slicing software security |
| Veröffentlichungsdatum: | 15.09.2009 |
| EAN: | 9783866443983 |
| Sprache: | Englisch |
| Seitenzahl: | 221 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | KIT Scientific Publishing |
Produktinformationen "Information flow control for java : a comprehensive approach based on path conditions in dependence graphs"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen