314 search results - page 1 / 63 » Secure Information Flow and CPS |
ESOP
2001
Springer
13 years 9 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 ...
LISP
2002
13 years 4 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
DEBS
2007
ACM
13 years 8 months ago
2007
ACM
Denial of Service (DoS) attacks continue to affect the availability of critical systems on the Internet. The existing DoS problem is enough to merit significant research dedicated...
SP
1990
IEEE
13 years 8 months ago
1990
IEEE
SP
1991
IEEE
13 years 8 months ago
1991
IEEE