309 search results - page 5 / 62 » A Type System for Expressive Security Policies |
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...