Privacy Architectures: Reasoning about Data Minimisation and Integrity

  • Thibaud Antignac
  • Daniel Le Métayer
Conference paper

DOI: 10.1007/978-3-319-11851-2_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8743)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Thibaud Antignac
    • 1
  • Daniel Le Métayer
    • 1
  1. 1.InriaUniversity of LyonFrance

Personalised recommendations