Skip to Main content Skip to Navigation
New interface
Conference papers

Privacy Architectures: Reasoning About Data Minimisation and Integrity

Thibaud Antignac 1, 2, * Daniel Le Métayer 1, 2 
* Corresponding author
1 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services, Inria Lyon
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Thibaud Antignac Connect in order to contact the contributor
Submitted on : Friday, August 8, 2014 - 12:23:24 PM
Last modification on : Friday, August 5, 2022 - 3:50:48 AM
Long-term archiving on: : Wednesday, November 26, 2014 - 4:10:43 PM


Files produced by the author(s)


  • HAL Id : hal-01054758, version 1
  • ARXIV : 1408.1854


Thibaud Antignac, Daniel Le Métayer. Privacy Architectures: Reasoning About Data Minimisation and Integrity. STM - 10th International Workshop on Security and Trust Management, Sep 2014, Wroclaw, France. ⟨hal-01054758⟩



Record views


Files downloads