Privacy by Design: On the Conformance Between Protocols and Architectures - Archive ouverte HAL Access content directly
Conference Papers Year :

Privacy by Design: On the Conformance Between Protocols and Architectures

(1, 2) , (1, 2)
1
2

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.
Fichier principal
Vignette du fichier
fps14_final.pdf (428.75 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01103546 , version 1 (14-01-2015)

Identifiers

Cite

Vinh-Thong Ta, Thibaud Antignac. Privacy by Design: On the Conformance Between Protocols and Architectures. FPS - 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montreal, Canada. ⟨hal-01103546⟩
105 View
73 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More