Name: Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)
Price: 44410.00 CLP
Availability: InStock
Author: Hammer, Christian
ISBN: 9783866443983

portada Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)

Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)

Formato

Libro Físico

Autor

Christian Hammer

Editorial

Karlsruher Institut Fur Technologie

Idioma

Inglés

N° páginas

230

Encuadernación

Tapa Blanda

Dimensiones

21.0 x 14.8 x 1.2 cm

Peso

0.28 kg.

ISBN13

9783866443983

Categorías

Lenguajes de programación y extensión/scripting: general

Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)

Christian Hammer (Autor) · Karlsruher Institut Fur Technologie · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 25 días háb.

$ 80.740$ 44.410

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 44.410

Llega entre el 26 Ago y el 01 Sep a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)"

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.