Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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, Inria Lyon
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 (Research report)
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download
Contributor : Daniel Le Métayer Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2013 - 4:28:43 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:11 AM
Long-term archiving on: : Sunday, April 2, 2017 - 12:04:04 AM


Files produced by the author(s)


  • HAL Id : hal-00788584, version 1


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⟩



Record views


Files downloads