101 search results - page 17 / 21 » A language for automatically enforcing privacy policies |
158
click to vote
ESOP
2005
Springer
15 years 11 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...
162
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
136
click to vote
CSFW
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
186
click to vote
SWS
2004
ACM
15 years 11 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
168
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...