TY - GEN
T1 - Privacy by design
T2 - Chinese Materials Congress, CMC 2014
AU - Ta, Vinh Thong
AU - Antignac, Thibaud
N1 - Funding Information:
The authors would like to thank Daniel Le Métayer for his initial idea and valuable comments during this work. This work is partially funded by the European project PARIS/FP7-SEC-2012-1, the ANR project BIOPRIV, and the Inria Project Lab CAPPRIS.
Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
KW - Design
UR - http://www.scopus.com/inward/record.url?scp=84928551245&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84928551245&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-17040-4_5
DO - 10.1007/978-3-319-17040-4_5
M3 - Conference proceeding (ISBN)
AN - SCOPUS:84928551245
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 65
EP - 81
BT - Foundations and Practice of Security - 7th International Symposium, FPS 2014, Revised Selected Papers
A2 - Garcia-Alfaro, Joaquin
A2 - Cuppens, Frédéric
A2 - Heywood, Nur Zincir
A2 - Fong, Philip W.L.
PB - Springer Verlag
Y2 - 4 July 2014 through 7 July 2014
ER -