6293 search results - page 67 / 1259 » Information Flow Testing |
CSFW
2002
IEEE
14 years 3 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
PSIVT
2009
Springer
14 years 2 months ago
2009
Springer
This paper discusses the detection of moving objects (being a crucial part of driver assistance systems) using monocular or stereoscopic computer vision. In both cases, object dete...
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...