Privacy Architectures: Reasoning About Data Minimisation and Integrity

Thibaud Antignac,Daniel Le Métayer
DOI: https://doi.org/10.48550/arXiv.1408.1854
2014-08-08
Abstract:Privacy by design will become a legal obligation in the European Community if the Data Protection Regulation eventually gets adopted. However, taking into account privacy requirements in the design of a system is a challenging task. We propose an approach based on the specification of privacy architectures and focus on a key aspect of privacy, data minimisation, and its tension with integrity requirements. We illustrate our formal framework through a smart metering case study.
Cryptography and Security
What problem does this paper attempt to address?