Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Information flow control for java

Name: Information flow control for java
Brand: Karlsruher Institut für Technologie
SKU: 9783866443983
Price: 26.02 EUR
Availability: InStock

a comprehensive approach based on path conditions in dependence Graphs

Autor: Christian Hammer

Jazyk:

Väzba: Brožovaná

Vydavateľ: Karlsruher Institut für Technologie

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

26.02 €

Information flow control (IFC) is a technique to assert the security of a given program with respect...

Informácie o knihe

Autor

Christian Hammer

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

230

EAN

9783866443983

ISBN

3866443986

Enbook ID

12729912

Vydavateľ

Karlsruher Institut für Technologie

Hmotnosť

281

Rozmery

148 x 210 x 12

Kompletný popis

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.