2486 search results - page 34 / 498 » A Type System for Computationally Secure Information Flow |
ESORICS
2009
Springer
14 years 16 days ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
EDO
2005
Springer
14 years 2 months ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
CSFW
2010
IEEE
14 years 17 days ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...