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

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Hammer, Christian (auth)
Fformat: Electronig Pennod Llyfr
Iaith:Saesneg
Cyhoeddwyd: KIT Scientific Publishing 2009
Pynciau:
Mynediad Ar-lein:DOAB: download the publication
DOAB: description of the publication
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg