13 search results - page 2 / 3 » Enforcing Stateful Authorization and Information Flow Polici... |
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
ESORICS
2000
Springer
13 years 9 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
LISP
2002
13 years 5 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...
CSFW
2010
IEEE
13 years 9 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
CSFW
2003
IEEE
13 years 11 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...