101 search results - page 6 / 21 » A language for automatically enforcing privacy policies |
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
SP
1997
IEEE
15 years 1 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
CISC
2005
Springer
15 years 3 months ago
2005
Springer
We propose a system which allows users to monitor how their email addresses are used and how they spread over the Internet. This protects the privacy of the user and can reduce the...
CCS
2004
ACM
15 years 3 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...