Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

PET
2004
Springer

favoriteEmaildiscussreport

156views Security Privacy» more PET 2004»

Language-Based Enforcement of Privacy Policies

13 years 9 months ago

Language-Based Enforcement of Privacy Policies

Download users.soe.ucsc.edu

Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-ﬂow control. Concretely, we use the programming language Jif, an extension of Java with information-ﬂow types. We address basic leaks of private information and also consider other aspects of privacy policies supported by the Platform for Privacy Preferences (P3P) and related systems, namely the notion of purpose and the retention of data.

Katia Hayati, Martín Abadi

Real-time Traffic

Language-based Approach | PET 2004 | Privacy Policies | Privacy Preferences | Security Privacy |

claim paper

Related Content

» LanguageBased Information Erasure

» A language for automatically enforcing privacy policies

» Deriving implementationlevel policies for usage control enforcement

» Oblivious enforcement of hidden information release policies

» Tractable Enforcement of Declassification Policies

» A compositional framework for access control policies enforcement

» PolicyEnhanced Private Set Intersection Sharing Information While Enforcing Privacy Polici...

» Enforcing RoleBased Access Control Policies in Web Services with UML and OCL

» Limiting Disclosure in Hippocratic Databases

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	PET
Authors	Katia Hayati, Martín Abadi

Comments (0)