Daniel Le Métayer. Privacy by design: a formal framework for the analysis of architectural choices. In Elisa Bertino, Ravi S. Sandhu, Lujo Bauer, Jaehong Park, editors, Third ACM Conference on Data and Application Security and Privacy, CODASPY'13, San Antonio, TX, USA, February 18-20, 2013. pages 95-104, ACM, 2013. [doi]
Abstract is missing.