Sciweavers

Share
PET
2004
Springer

Language-Based Enforcement of Privacy Policies

11 years 10 months ago
Language-Based Enforcement of Privacy Policies
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the programming language Jif, an extension of Java with information-flow 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
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PET
Authors Katia Hayati, Martín Abadi
Comments (0)
books