The Privacy Option Language: Specification & Implementation
2013 (English)Report (Other academic)
In this report, we specify a privacy contract language and call it the Privacy Option Language. It is modelled after the analogy between financial option contracts and data disclosures which has been presented in previous work and led to the Privacy Option notion. The language specification provides privacy by design through its data minimisation provisions, i.e., all contracts are automatically reduced to their canonical form so that individual differences in the contract formulation are inherently normalised. The language specification is extensible in two ways. First, hooks are specified in the core language and can be used to connect sublanguages. The freedom to choose any suitable sublanguage allows to specify language details independent of the core language. Second, the Privacy Option Language itself can be used as a sublanguage within a more general-domain language. We give examples for both types of extensions. Additionally, we provide tools for evaluating semantics such as human-readable presentations of Privacy Options and contract management. The definitions of the semantics are kept simple and serve as templates for more practical ones.
All functionality can be checked by interactive tests in a standard multi-purpose programming language interpreter, since the Privacy Option Language is specified as an embedded domain-specific language within Haskell. Hands-on examples are provided along with the language specification.
Place, publisher, year, edition, pages
2013. , 70 p.
Karlstad University Studies, ISSN 1403-8099 ; 2013:29
Research subject Computer Science
IdentifiersURN: urn:nbn:se:kau:diva-27396ISBN: 978-91-7063-507-6OAI: oai:DiVA.org:kau-27396DiVA: diva2:623452