309 search results - page 1 / 62 » A Type System for Expressive Security Policies |
POPL
2000
ACM
13 years 9 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
WISA
2007
Springer
13 years 11 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
ICICS
2001
Springer
13 years 9 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...