Towards a Formal Language for Privacy Options - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

Towards a Formal Language for Privacy Options

Stefan Berthold
  • Fonction : Auteur
  • PersonId : 1012340

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-20769-3_3_Chapter.pdf (319.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01559467 , version 1 (10-07-2017)

Licence

Identifiants

Citer

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⟩
398 Consultations
92 Téléchargements

Altmetric

Partager

More