Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs di Christian Hammer edito da Karlsruher Institut für Technologie
Alta reperibilità

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

A Comprehensive Approach Based On Path Conditions In Dependence Graphs

EAN:

9783866443983

ISBN:

3866443986

Pagine:
230
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione 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.

Spedizione gratuita
€ 50.38
o 3 rate da € 16.79 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti