{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T11:09:03Z","timestamp":1785668943796,"version":"3.56.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319184906","type":"print"},{"value":"9783319184913","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18491-3_5","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T11:37:47Z","timestamp":1430307467000},"page":"60-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Trust Driven Strategies for Privacy by Design"],"prefix":"10.1007","author":[{"given":"Thibaud","family":"Antignac","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Le M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,4,30]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-11851-2_2","volume-title":"Security and Trust Management","author":"T Antignac","year":"2014","unstructured":"Antignac, T., Le M\u00e9tayer, D.: Privacy architectures: reasoning about data minimisation and integrity. In: Mauw, S., Jensen, C.D. (eds.) STM 2014. LNCS, vol. 8743, pp. 17\u201332. Springer, Heidelberg (2014)"},{"key":"5_CR2","unstructured":"Balasch, J., Rial, A., Troncoso, C., Geuens, C.: PrETP: privacy-preserving electronic toll pricing. In: Proceedings of the 19th USENIX Security Symposium, Washington, DC, August 2010, pp. 63\u201378 (2010)"},{"key":"5_CR3","series-title":"SEI series in Software Engineering","volume-title":"Software Architecture in Practice","author":"L Bass","year":"2012","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. SEI series in Software Engineering, 3rd edn. Addison-Wesley, Reading (2012)","edition":"3"},{"key":"5_CR4","unstructured":"Bobot, F., Filli\u00e2tre, J.c., March\u00e9, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Workshop on Intermediate Veri Cation Languages (2011)"},{"key":"5_CR5","unstructured":"Conchon, S., Contejean, E.: The Alt-Ergo automatic theorem prover (2008). http:\/\/alt-ergo.lri.fr\/"},{"issue":"3\u20134","key":"5_CR6","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF03219914","volume":"61","author":"Y Deswarte","year":"2006","unstructured":"Deswarte, Y., Aguilar Melchor, C.: Current and future privacy enhancing technologies for the internet. Ann. Des T\u00e9l\u00e9commun. 61(3\u20134), 399\u2013417 (2006)","journal-title":"Ann. Des T\u00e9l\u00e9commun."},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s12394-009-0012-8","volume":"1","author":"C Diaz","year":"2009","unstructured":"Diaz, C., Kosta, E., Dekeyser, H., Kohlweiss, M., Girma, N.: Privacy preserving electronic petitions. Identity Inf. Soc. 1(1), 203\u2013209 (2009)","journal-title":"Identity Inf. Soc."},{"key":"5_CR8","unstructured":"European Parliament: general data protection regulation, ordinary legislative procedure: first reading, March 2014"},{"key":"5_CR9","unstructured":"Fournet, C., Kohlweiss, M., Danezis, G., Luo, Z.: Zql: a compiler for privacy-preserving data processing. In: Proceedings of the 22Nd USENIX Conference on Security, SEC 2013, pp. 163\u2013178. USENIX Association, Berkeley (2013)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-22444-7_15","volume-title":"Security and Trust Management","author":"FD Garcia","year":"2011","unstructured":"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\u2013238. Springer, Heidelberg (2011)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Goldberg, I.: Privacy enhancing technologies for the internet III: ten years later. In: Digital Privacy: Theory, Technologies, and Practices, pp. 3\u201318. Auerbach Publications (2007)","DOI":"10.1201\/9781420052183.ch1"},{"key":"5_CR12","unstructured":"G\u00fcrses, S., Troncoso, C., Diaz, C.: Engineering privacy by design. In: Presented at the Computers, Privacy and Data Protection Conference (2011)"},{"issue":"7","key":"5_CR13","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1002\/spe.1131","volume":"43","author":"M Hafiz","year":"2010","unstructured":"Hafiz, M.: Pattern language for developing privacy enhancing technologies. Softw. Pract. Exp. 43(7), 769\u2013787 (2010)","journal-title":"Softw. Pract. Exp."},{"key":"5_CR14","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-642-55415-5_38","volume-title":"ICT Systems Security and Privacy Protection","author":"JH Hoepman","year":"2014","unstructured":"Hoepman, J.H.: Privacy design strategies. In: Cuppens-Boulahia, N., Cuppens, F., Jajodia, S., Abou El Kalam, A., Sans, T. (eds.) SEC 2014. IFIP AICT, vol. 428, pp. 446\u2013459. Springer, Heidelberg (2014)"},{"key":"5_CR15","unstructured":"Jawurek, M., Kerschbaum, F., Danezis, G.: Privacy technologies for smart grids - a survey of options. Technical report MSR-TR-2012-119, Microsoft, November 2012"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-01465-9_10","volume-title":"Formal Aspects in Security and Trust","author":"W Jonge de","year":"2009","unstructured":"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\u2013161. Springer, Heidelberg (2009)"},{"key":"5_CR17","unstructured":"Kerschbaum, F.: Privacy-preserving computation (position paper). In: Presented at the Annual Privacy Forum Conference (2012)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-06749-0_2","volume-title":"Privacy Technologies and Policy","author":"A Kung","year":"2014","unstructured":"Kung, A.: PEARs: privacy enhancing architectures. In: Preneel, B., Ikonomou, D. (eds.) APF 2014. LNCS, vol. 8450, pp. 18\u201329. Springer, Heidelberg (2014)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Privacy by design: a formal framework for the analysis of architectural choices. In: Proceedings of the Third ACM Conference on Data and Application Security and Privacy, CODASPY 2013, pp. 95\u2013104. ACM, New York (2013)","DOI":"10.1145\/2435349.2435361"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"LeMay, M., Gross, G., Gunter, C.A., Garg, S.: Unified architecture for large-scale attested metering. In: 40th annual Hawaii International Conference on System Sciences (HICSS 2007), pp. 115\u2013124, January 2007","DOI":"10.1109\/HICSS.2007.586"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Maffei, M., Pecina, K., Reinert, M.: Security and privacy by declarative design. In: 2013 IEEE 26th Computer Security Foundations Symposium (CSF), pp. 81\u201396 (2013)","DOI":"10.1109\/CSF.2013.13"},{"key":"5_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-38490-5_41","volume-title":"Advanced Information Systems Engineering Workshops","author":"V Manousakis","year":"2013","unstructured":"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\u2013465. Springer, Heidelberg (2013)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"4","key":"5_CR24","first-page":"989","volume":"14","author":"DK Mulligan","year":"2012","unstructured":"Mulligan, D.K., King, J.: Bridging the gap between privacy and design. Univ. Pa. J. Const. Law 14(4), 989\u20131034 (2012)","journal-title":"Univ. Pa. J. Const. Law"},{"key":"5_CR25","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-20769-3_23","volume-title":"Privacy and Identity Management for Life","author":"S Pearson","year":"2011","unstructured":"Pearson, S., Benameur, A.: A decision support system for design for privacy. In: Fischer-H\u00fcbner, S., Duquenoy, P., Hansen, M., Leenes, R., Zhang, G. (eds.) Privacy and Identity Management for Life. IFIP AICT, vol. 352, pp. 283\u2013296. Springer, Heidelberg (2011)"},{"key":"5_CR26","unstructured":"Popa, R.A., Balakrishnan, H., Blumberg, A.J.: VPriv: protecting privacy in location-based vehicular services. In: Proceedings of the 18th USENIX Security Symposium, Montreal, Canada, August 2009, pp. 335\u2013350 (2009)"},{"issue":"6","key":"5_CR27","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MSECP.2003.1253567","volume":"1","author":"A Rezgui","year":"2003","unstructured":"Rezgui, A., Bouguettaya, A., Eltoweissy, M.Y.: Privacy on the web: facts, challenges, and solutions. IEEE Secur. Priv. 1(6), 40\u201349 (2003)","journal-title":"IEEE Secur. Priv."},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Rial, A., Danezis, G.: Privacy-Preserving smart metering. Technical report MSR-TR-2010-150, Microsoft Research, November 2010","DOI":"10.1145\/2046556.2046564"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Romanosky, S., Acquisti, A., Hong, J., Cranor, L.F., Friedman, B.: Privacy patterns for online interactions. In: Proceedings of the 2006 Conference on Pattern Languages of Programs, PLoP 2006. pp. 12:1\u201312:9. ACM, New York (2006)","DOI":"10.1145\/1415472.1415486"},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/TSE.2008.88","volume":"35","author":"S Spiekermann","year":"2009","unstructured":"Spiekermann, S., Cranor, L.F.: Engineering privacy. IEEE Trans. Softw. Eng. 35(1), 67\u201382 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Sprenger, C., Basin, D.: Developing security protocols by refinement. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, pp. 361\u2013374. ACM, New York (2010)","DOI":"10.1145\/1866307.1866349"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17040-4_5","volume-title":"Foundations and Practice of Security","author":"VT Ta","year":"2015","unstructured":"Ta, V.T., Antignac, T.: Privacy by design: on the conformance between protocols and architecture. In: Cuppens, F., Garcia-Alfaro, J., Zincir Heywood, N., Fong, P.W.L. (eds.) FPS 2014. LNCS, vol. 8930. Springer, Heidelberg (2015)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Troncoso, C., Danezis, G., Kosta, E., Preneel, B.: Pripayd: privacy friendly pay-as-you-drive insurance. In: Ning, P., Yu, T. (eds.) Proceedings of the 2007 ACM Workshop on Privacy in the Electronic Society, WPES 2007, pp. 99\u2013107. ACM, New York (2007)","DOI":"10.1145\/1314333.1314353"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05089-3_1","volume-title":"FM 2009: Formal Methods","author":"MC Tschantz","year":"2009","unstructured":"Tschantz, M.C., Wing, J.M.: Formal methods for privacy. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 1\u201315. Springer, Heidelberg (2009)"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management IX"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18491-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T21:58:23Z","timestamp":1691618303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-18491-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319184906","9783319184913"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18491-3_5","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}