D.: Privacy by design: A formal framework for the analysis of architectural choices (2013)

by Le Métayer
Venue:In: Proc. of the 3rd ACM Conference on Data and Application Security and Privacy