Privacy by Design: On the Conformance Between Protocols and Architectures

Vinh-Thong Ta 1, 2, * Thibaud Antignac 1, 2
* Auteur correspondant
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 : In systems design, we generally distinguish the architecture and the protocol levels. In the context of privacy by design, in the first case, we talk about privacy architectures, which define the privacy goals and the main features of the system at high level. In the latter case, we consider the underlying concrete protocols and privacy enhancing technologies that implement the architectures. In this paper, we address the question that whether a given protocol conforms to a privacy architecture and provide the answer based on formal methods. We propose a process algebra variant to define protocols and reason about privacy properties, as well as a mapping procedure from protocols to architectures that are defined in a high-level architecture language.
Type de document :
Communication dans un congrès
Fong, Philip W. L.; Cuppens, Frédéric; Garcia-Alfaro, Joaquin; Zincir Heywood, Nur. FPS - 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montreal, Canada. Springer, <http://conferences.telecom-bretagne.eu/fps/2014/>
Liste complète des métadonnées


https://hal.inria.fr/hal-01103546
Contributeur : Thibaud Antignac <>
Soumis le : mercredi 14 janvier 2015 - 22:05:56
Dernière modification le : mardi 13 décembre 2016 - 15:40:10
Document(s) archivé(s) le : vendredi 11 septembre 2015 - 06:48:16

Fichiers

fps14_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01103546, version 1
  • ARXIV : 1501.03593

Collections

Citation

Vinh-Thong Ta, Thibaud Antignac. Privacy by Design: On the Conformance Between Protocols and Architectures. Fong, Philip W. L.; Cuppens, Frédéric; Garcia-Alfaro, Joaquin; Zincir Heywood, Nur. FPS - 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montreal, Canada. Springer, <http://conferences.telecom-bretagne.eu/fps/2014/>. <hal-01103546>

Partager

Métriques

Consultations de
la notice

125

Téléchargements du document

70