6812 search results - page 82 / 1363 » Detection of Information Flows |
104
click to vote
CSFW
2002
IEEE
15 years 6 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
15 years 6 months ago
2010
ACM
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
ESOP
2001
Springer
15 years 6 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 ...
FM
2001
Springer
15 years 6 months ago
2001
Springer