117 search results - page 9 / 24 » Mediating secure information flow policies |
ACSAC
2001
IEEE
14 years 2 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
CONCUR
2009
Springer
14 years 5 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
ESOP
2001
Springer
14 years 3 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 ...
ISI
2006
Springer
13 years 11 months ago
2006
Springer
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
CSFW
2010
IEEE
14 years 2 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...