Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Information flow control for java

Name: Information flow control for java
Brand: Karlsruher Institut für Technologie
SKU: 12729912
Price: 610 CZK
Availability: InStock
Author: Christian Hammer
ISBN: 9783866443983

a comprehensive approach based on path conditions in dependence Graphs

Christian Hammer

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 12729912

Nakladatelství Karlsruher Institut für Technologie, srpen 2014

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

Libristo kód: 12729912

61 b

610 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

La confesión de un hijo del siglo Alfred de Musset

Brožovaná

705 Kč

Legitimation Und Auftrag Des Oeffentlich-Rechtlichen Fernsehens in Zeiten Der Cloud Dieter Dörr

Pevná

1 012 Kč

Introduction au monde du soufisme Schimmel

Kniha

562 Kč

Der Causalitätsbegriff in der Philosophie und im Strafrechte. Richard Horn

Brožovaná

648 Kč

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.