Name: Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs (en Inglés)
Price: 59550.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)

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 scripting

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 Físico

$ 59.550

$ 108.280

Ahorras: $ 48.730

45% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 20 de Junio y el Martes 02 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

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.