2015/01/15 by Vinh-Thong Ta, Ta, Vinh-Thong, Thibaud Antignac +1 · 1 citation
Computer Science · Social Sciences · #Access Control and Trust #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #User Authentication and Security Systems #cs.CR #cs.LO
paper · pdf · doi:10.48550/arxiv.1501.03593
FPS - 7th International Symposium on Foundations \& Practice of Security, Nov 2014, Montreal, Canada. Springer
arxiv created 2015/01/15 · openalex publication_date 2015/01/15 · arxiv updated 2015/01/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.