Privacy Architectures: Reasoning about Data Minimisation and Integrity
- Cite this paper as:
- Antignac T., Le Métayer D. (2014) Privacy Architectures: Reasoning about Data Minimisation and Integrity. In: Mauw S., Jensen C.D. (eds) Security and Trust Management. STM 2014. Lecture Notes in Computer Science, vol 8743. Springer, Cham
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.
Unable to display preview. Download preview PDF.