Privacy by Design: From Technologies to Architectures (Position Paper)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8450 LNCS, Issue , 2014, Pages 1-17

  Antignac, Thibaud ^a   Le Métayer, Daniel ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL LEVELS; DESIGN ENVIRONMENT; DESIGN SPACES; POSITION PAPERS; SYSTEMATIC EXPLORATION;

DESIGN;

EID: 84958542205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-06749-0_1     Document Type: Conference Paper

References (59)

1. Abadi, M., Fournet, C.: Mobile Values, New Names, and Secure Communication. In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 104-115 (2001)
2. Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proc. 16th Int'l Conf. Software Eng. pp. 71-80 (May 1994
3. Backes, M., D̈urmuth, M., Karjoth, G.: Unification in privacy policy evaluation-translating EPAL into Prolog. In: POLICY, pp. 185-188 (2004)
4. Balasch, J., Rial, A., Troncoso, C., Preneel, B., Verbauwhede, I., Geuens, C.: PrETP: Privacy-preserving electronic toll pricing. In: USENIX Security Symposium, pp. 63-78 (2010)
5. Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: IEEE Symposium on Security and Privacy, pp. 184-198 (2006)
6. Bass, L., Clements, P., Kazman, R.: Software architecture in practice, 3rd edn. SEI Series in Software Engineering. Addison-Wesley (2013)
7. Becker, M.Y., Malkis, A., Bussard, L.: A practical generic privacy language. In: Jha, S., Mathuria, A. (eds.) ICISS 2010. LNCS, vol. 6503, pp. 125-139. Springer, Heidelberg (2010)
8. Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language Reference Manual, 2nd edn. Addison Wesley Professional (2004)
9. Damiani, M.L., Bertino, E., Silvestri, C.: The probe framework for the personalized cloaking of private locations. Transactions on Data Privacy 3(2), 123-148 (2010)
10. Delaune, S., Kremer, S., Ryan, M.D.: Verifying Privacy-type Properties of Electronic Voting Protocols. Journal of Computer Security 17(4), 435-487 (2009)
11. Deswarte, Y., Melchor, C.A.: Current and future privacy enhancing technologies for the internet. Annals of Telecommunications 61(3), 399-417 (2006)
12. G̈urses, S.F., Troncoso, C., Diaz, C.: Engineering privacy by design. In: Computers, Privacy &Data Protection (2011)
13. Dwork, C.: Differential privacy. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. Part II, LNCS, vol. 4052, pp. 1-12. Springer, Heidelberg (2006)
14. Dwork, C.: A firm foundation for private data analysis. Commun. ACM 54(1), 86-95 (2011)
15. E.C. European Commission. Regulation of the European Parliament and of the Council on the protection of individuals with regard to the processing of personal data and on the free movement of such data (General Data Protection Regulation). inofficial consolidated version after LIBE Commitee vote provided by the rapporteur (October 22, 2013
16. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. A Bradford Book (January 9, 2004); 1st MIT Press Paperback edition
17. Garcia, F.D., Jacobs, B.: Privacy-friendly energy-metering via homomorphic encryption. In: Cuellar, J., Lopez, J., Barthe, G., Pretschner, A. (eds.) STM 2010. LNCS, vol. 6710, pp. 226-238. Springer, Heidelberg (2011)
18. Goldberg, I.: Privacy-enhancing technologies for the internet III: ten years later. In: Digital Privacy: Theory, Technologies, and Practices, pp. 84-89. TeX Users Group (December 2007
19. Hafiz, M.: A Pattern Language for Developing Privacy Enhancing Technologies. Foftware Practice and Experience 43(7), 769-787 (2013)
20. Halpern, J.Y., Pucella, R.: Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1), 220-235 (2011)
21. Hoepman, J.-H.: Privacy Design Strategies. CoRR (2013)
22. Ḧofer, C., Petit, J., Schmidt, R., Kargl, F.: POPCORN: Privacy-preserving charging for e-mobility. In: Proceedings of the 2013 ACM Workshop on Security, Privacy &Dependability for Cyber Vehicles (CyCAR 2013), pp. 37-48. ACM, New York (2013)
23. Inverardi, P., Wolf, A.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering, Special Issue on Software Architectures 21(4), 373-386 (1995)
24. Jafari, M., Fong, P.W.L., Safavi-Naini, R., Barker, K., Sheppard, N.P.: Towards defining semantic foundations for purpose-based privacy policies. In: CODASPY, pp. 213-224 (2011)
25. Jawurek, M., Johns, M., Kerschbaum, F.: Plug-In Privacy for Smart Metering Billing. In: Fischer-Ḧubner, S., Hopper, N. (eds.) PETS 2011. LNCS, vol. 6794, pp. 192-210. Springer, Heidelberg (2011)
26. Jawurek, M., Kerschbaum, F., Danezis, G.: Privacy Technologies for Smart Grids-A Survey of Options. MSR-TR-2012-119 (November 2012
27. de Jonge, W., Jacobs, B.: Privacy-friendly electronic traffic pricing via commits. In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol. 5491, pp. 143-161. Springer, Heidelberg (2009)
28. Kerschbaum, F.: Privacy-preserving computation. In: Preneel, B., Ikonomou, D. (eds.) APF 2012. LNCS, vol. 8319, pp. 41-54. Springer, Heidelberg (2014)
29. Kosta, E., Zibuschka, J., Scherner, T., Dumortier, J.: Legal considerations on privacy-enhancing location based services using PRIME technology. Computer Law and Security Report 4, 139-146 (2008)
30. Krumm, J.: A survey of computational location privacy. Pers. Ubiquit. Comput. 13, 391-399 (2008)
31. Kung, A.: PEARs: Privacy enhancing aRchitectures. In: Preneel, B., Ikonomou, D. (eds.) APF 2014. LNCS, vol. 8450, pp. 18-30. Springer, Heidelberg (2014)
32. Langheinrich, M.: Privacy by design-principles of privacy-aware ubiquitous systems. In: Abowd, G.D., Brumitt, B., Shafer, S. (eds.) UbiComp 2001. LNCS, vol. 2201, pp. 273-291. Springer, Heidelberg (2001)
33. LeMay, M., Gross, G., Gunter, C.A., Garg, S.: Unified architecture for large-scale attested metering. In: HICSS, pp. 115-124 (2007)
34. Le Ḿetayer, D.: Software Architecture Styles As Graph Grammars. ACM SIGSOFT Software Eng. Notes (November 1996
35. Le Ḿetayer, D.: A formal privacy management framework. In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol. 5491, pp. 162-176. Springer, Heidelberg (2009)
36. Le Ḿetayer, D.: Privacy by design: A matter of choice. In: Data Protection in a Profiled World, pp. 323-334. Springer (2010)
37. Le Ḿetayer, D.: Privacy by design: a formal framework for the analysis of architectural choices. In: CODASPY 2013, pp. 95-104 (2013
38. Li, N., Yu, T., Ant́on, A.I.: A semantics based approach to privacy languages. Comput. Syst. Sci. Eng. 21(5) (2006)
39. Li, N., Qardaji, W.H., Su, D.: Provably private data anonymization: Or, kanonymity meets differential privacy. CoRR, abs/1101.2604 (2011)
40. Machanavajjhala, A., Gehrke, J., Kifer, D., Venkitasubramaniam, M.: l-diversity: Privacy beyond k-anonymity. ACM Trans. Knowl. Discov. Data 1(1), Article 3 (March 2007
41. McSherry, F.: Privacy integrated queries: an extensible platform for privacypreserving data analysis. Commun. ACM 53(9), 89-97 (2010)
42. McSherry, F., Mironov, I.: Differentially private recommender systems: building privacy into the net. In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2009), pp. 627-636. ACM, New York (2009)
43. McSherry, F., Talwar, K.: Mechanism design via differential privacy. In: FOCS, pp. 94-103 (2007)
44. Manousakis, V., Kalloniatis, C., Kavakli, E., Gritzalis, S.: Privacy in the Cloud: Bridging the Gap between Design and Implementation. In: Franch, X., Soffer, P. (eds.) CAiSE Workshops 2013. LNBIP, vol. 148, pp. 455-465. Springer, Heidelberg (2013)
45. May, M.J., Gunter, C.A., Lee, I.: Privacy APIs: Access control techniques to analyze and verify legal privacy policies. In: CSFW, pp. 85-97 (2006)
46. Mulligan, D.K., King, J.: Bridging the Gap between Privacy and Design. University of Pennsylvania Journal of Constitutional Law 4(14) (2012)
47. Pearson, S., Benameur, A.: A Decision Support System for Design for Privacy. Privacy and Identity, IFIP AICT 352, 283-296 (2011)
48. Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. ACM SIGSOFT Software Eng. Notes (October 1992
49. Popa, R.A., Balakrishnan, H., Blumberg, A.J.: Vpriv: Protecting privacy in location-based vehicular services. In: USENIX Security Symposium, pp. 335-350 (2009)
50. Poullet, Y.: About the e-privacy directive, towards a third generation of data protection legislations. In: Data Protection in a Profile World, pp. 3-29. Springer (2010)
51. Pucella, R.: Deductive Algorithmic Knowledge. Journal of Logic and Computation 16(2), 287-309 (2006)
52. Rezgui, A., Bouguettaya, A., Eltoweissy, M.Y.: Privacy on the web: facts, challenges, and solutions. In: IEEE Security and Privacy, pp. 40-49 (2003)
53. Rial, A., Danezis, G.: Privacy-preserving smart metering. In: Proceedings of the 2011 ACM Workshop on Privacy in the Electronic Society, WPES 2011. ACM (2011)
54. Shaw, M., Clements, P.: The Golden Age of Software Architecture: A Comprehensive Survey. In: Research Report CMU-ISRI-06-101. Carnegie Mellon University (2006)
55. Spiekermann, S., Cranor, L.F.: Engineering Privacy. IEEE Transactions on Software Engineering 35(1) (2009)
56. Sweeney, L.: k-anonymity: A model for protecting privacy. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 10(5), 557-570 (2002)
57. Tschantz, M.C., Kaynar, D.K., Datta, A.: Formal verification of differential privacy for interactive systems. CoRR, abs/1101.2819 (2011)
58. Tschantz, M.C., Wing, J.M.: Formal methods for privacy. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 1-15. Springer, Heidelberg (2009)
59. Yu, T., Li, N., Ant́on, A.I.: A formal semantics for P3P. In: In Proceedings of the 2004 Workshop on Secure Web Service (SWS 2004), pp. 1-8 (2004)