Skip to Main content Skip to Navigation
Conference papers

Towards a Formal Language for Privacy Options

Abstract : Describing complex ideas requires clear and concise languages. Many domains have developed their specific languages for describing problem instances independently from solutions and thus making a reference model of the domain available to solution developers. We contribute to the zoo of domain-specific languages within the privacy area with a language for describing data disclosure and usage contracts. Our Privacy Options Language is defined by a small number of primitives which can be composed to describe complex contracts. Our major contribution is the notion of contract rights which is based on the notion of obligations and therefore establishes both concepts as first-class language citizens in a new coherent model for privacy policy languages. Our model overcomes the traditional separation of the right and obligation notions known from access control based policy language approaches. We compare our language to the PrimeLife Policy Language and provide rules for the translation from our language to PrimeLife’s language. Then, we present a canonical form of our contracts. It is used to ensure that contracts with equal semantics have the same syntax, thus eliminating the possibility of a covert channel in the syntax revealing information about the originator. Finally, we show different ways of how to extend our language.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Monday, July 10, 2017 - 4:49:36 PM
Last modification on : Tuesday, July 11, 2017 - 8:41:04 AM
Long-term archiving on: : Wednesday, January 24, 2018 - 6:01:19 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Stefan Berthold. Towards a Formal Language for Privacy Options. 6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. pp.27-40, ⟨10.1007/978-3-642-20769-3_3⟩. ⟨hal-01559467⟩



Record views


Files downloads