Privacy means something different to everyone. Against a vast and rich canvas of diverse types of privacy rights and violations, we argue technology's dual role in privacy: new technologies raise new threats to privacy rights and new technologies can help preserve privacy. Formal methods, as just one class of technology, can be applied to privacy, but privacy raises new challenges, and thus new research opportunities, for the formal methods community. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Tschantz, M. C., & Wing, J. M. (2009). Formal methods for privacy. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5850 LNCS, pp. 1–15). https://doi.org/10.1007/978-3-642-05089-3_1
Mendeley helps you to discover research relevant for your work.