139 search results - page 16 / 28 » Fable: A Language for Enforcing User-defined Security Polici... |
109
click to vote
ESORICS
2009
Springer
16 years 11 days ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
112
click to vote
ESORICS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
HASKELL
2008
ACM
15 years 25 days ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
196
Voted
POPL
2008
ACM
16 years 2 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...