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
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 metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-01054758
Contributor : Thibaud Antignac <>
Submitted on : Friday, August 8, 2014 - 12:23:24 PM
Last modification on : Thursday, November 29, 2018 - 6:18:04 PM
Long-term archiving on : Wednesday, November 26, 2014 - 4:10:43 PM

Files

stm14_final.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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⟩

Share

Metrics

Record views

345

Files downloads

394