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...
Wedi'i Gadw mewn:
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
-
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
gan: Mohr, Martin
Cyhoeddwyd: (2023) -
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
gan: Mohr, Martin
Cyhoeddwyd: (2023) -
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
gan: Chlipala, Adam
Cyhoeddwyd: (2013) -
Elements of dynamic and 2-SAT programming: paths, trees, and cuts
gan: Bentert, Matthias
Cyhoeddwyd: (2021) -
Elements of dynamic and 2-SAT programming: paths, trees, and cuts
gan: Bentert, Matthias
Cyhoeddwyd: (2021)