Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
Regulärer Preis:
inkl. MwSt.
29,90 €
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
Beschreibung
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.
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.
Zusammenfassung
Printing on Demand. Kostenloser Download über den Verlagsserver unter der URL [...]
Details
| Erscheinungsjahr: | 2014 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
230 S.
22 farbige Illustr. |
| ISBN-13: | 9783866443983 |
| ISBN-10: | 3866443986 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Hammer, Christian |
| Hersteller: | Karlsruher Institut für Technologie |
| Verantwortliche Person für die EU: | Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, D-76133 Karlsruhe, verlag@aifb.uni-karlsruhe.de |
| Maße: | 210 x 148 x 15 mm |
| Von/Mit: | Christian Hammer |
| Erscheinungsdatum: | 13.08.2014 |
| Gewicht: | 0,34 kg |