Privacy by Design: a Formal Framework for the Analysis of Architectural Choices (extended version)

Daniel Le Métayer 1, *
* 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 : The privacy by design approach has already been put into practice in different application areas. We believe that the next challenge today is to go beyond individual cases and to provide methodologies to explore the design space in a systematic way. As a first step in this direction, we focus in this report on the data minimization principle and consider different options using decentralized architectures in which actors do not necessarily trust each other. We propose a framework to express the parameters to be taken into account (the service to be performed, the actors involved, their respective requirements, etc.) and an inference system to derive properties such as the possibility for an actor to detect potential errors (or frauds) in the computation of a variable. This inference system can be used in the design phase to check if an architecture meets the requirements of the parties or to point out conflicting requirements.
Document type :
Reports
Liste complète des métadonnées

Cited literature [48 references]  Display  Hide  Download

https://hal.inria.fr/hal-00788584
Contributor : Daniel Le Métayer <>
Submitted on : Thursday, February 14, 2013 - 4:28:43 PM
Last modification on : Thursday, November 29, 2018 - 6:18:04 PM
Document(s) archivé(s) le : Sunday, April 2, 2017 - 12:04:04 AM

File

RR-8229.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00788584, version 1

Citation

Daniel Le Métayer. Privacy by Design: a Formal Framework for the Analysis of Architectural Choices (extended version). [Research Report] RR-8229, INRIA. 2013, pp.24. ⟨hal-00788584⟩

Share

Metrics

Record views

561

Files downloads

826