Information flow control for java

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

a comprehensive approach based on path conditions in dependence Graphs

Autor: Christian Hammer

Jazyk:

Vazba: Brožovaná

Vydavatel: Karlsruher Institut für Technologie

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

592 Kč

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

Informace o knize

Autor

Christian Hammer

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

230

EAN

9783866443983

ISBN

3866443986

Enbook ID

12729912

Vydavatel

Karlsruher Institut für Technologie

Hmotnost

281

Rozměry

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Information flow control for java

a comprehensive approach based on path conditions in dependence Graphs

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Money, Output, and Prices--Evidence from a New Monetary Aggregate / By Julio J. Rotemberg, John C. Driscoll, and James M. Poterba

Live Right for Your Type

Alice Lorraine, a tale of the South Downs(1875).in three volume By: Richard Doddridge Blackmore: (Sensation novel) Volume 2.

Sudoku for Kids Age 6: More Than 100 Fun and Educational Sudoku Puzzles Designed Specifically for 6-Year-Old Kids While Improving Their Memor

Transforming the Poverty of Affluence

Linear Theory of Fixed Capital and China's Economy

Keep the Cherries Throw Away the Pits: Does Your Financial Advisor Know the Difference?

Quantum Theory, Groups, Fields and Particles

Towards a Peaceful Resolution of Conflicts in Nigeria

State of Vermont

EXPLORING ORFF

Key Texts in Human Geography

Exploring the Book of Daniel

Foundations of Tibetan Mysticism

Three Screenplays

Zákaznicí kteří koupili tuto knihu koupili také

La confesión de un hijo del siglo

Legitimation Und Auftrag Des Oeffentlich-Rechtlichen Fernsehens in Zeiten Der Cloud

Introduction au monde du soufisme

Der Causalitätsbegriff in der Philosophie und im Strafrechte.