Ta, Vinh Thong and Antignac, Thibaud (2015) Privacy by Design: On the Conformance Between Protocols and Architectures. In: 7th International Symposium on » Foundations and Practice of Security, FPS 2014,, 3-5/11/2014, Montreal, Canada.
PDF (Version of Record)
- Published Version
Restricted to Repository staff only
Available under License Creative Commons Attribution Non-commercial No Derivatives.
Official URL: http://link.springer.com/chapter/10.1007/978-3-319...
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Schools:||Faculty of Science and Technology > School of Physical Sciences and Computing|
|Deposited By:||Vinh Thong Ta|
|Deposited On:||12 Feb 2016 14:48|
|Last Modified:||17 May 2016 12:59|
Downloads per month over past year
Downloads for past 30 days
Repository Staff Only: item control page