{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:29:37Z","timestamp":1725582577711},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207686"},{"type":"electronic","value":"9783642207693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20769-3_22","type":"book-chapter","created":{"date-parts":[[2011,4,29]],"date-time":"2011-04-29T09:47:20Z","timestamp":1304070440000},"page":"271-282","source":"Crossref","is-referenced-by-count":8,"title":["Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements"],"prefix":"10.1007","author":[{"given":"Ioannis","family":"Agrafiotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadie","family":"Creese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Goldsmith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Papanikolaou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Privacy and Freedom","author":"A. Westin","year":"1967","unstructured":"Westin, A.: Privacy and Freedom. Atheneum, New York (1967)"},{"key":"22_CR2","unstructured":"Mont, M.C., Pearson, S., Kounga, G., Shen, Y., Bramhall, P.: On the Management of Consent and Revocation in Enterprises: Setting the Context.Technical Report HPL-2009-49, HP Labs, Bristol (2009)"},{"key":"22_CR3","unstructured":"Whitley, E.A.: Information privacy consent and the \u201ccontrol\u201d of personal data, Inform. Secur. Tech. Rep. (2009), doi:10.1016\/j.istr, 10.001"},{"key":"22_CR4","first-page":"133","volume-title":"New Directions in Privacy and Surveillance","author":"E.A. Whitley","year":"2009","unstructured":"Whitley, E.A.: Perceptions of government technology, surveillance and privacy: the UK identity cards scheme. In: Neyland, D., Goold, B. (eds.) New Directions in Privacy and Surveillance, pp. 133\u2013156. William, Gullompton (2009)"},{"key":"22_CR5","unstructured":"EnCoRe, \n                    \n                      http:\/\/www.encore-project.info"},{"key":"22_CR6","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-14282-6_20","volume-title":"Privacy and Identity Management for Life","author":"I. Agrafiotis","year":"2010","unstructured":"Agrafiotis, I., Creese, S., Goldsmith, M., Papanikolaou, N.: Reaching for informed revocation: Shutting off the tap on personal data. In: Bezzi, M., Duquenoy, P., Fischer-H\u00fcbner, S., Hansen, M., Zhang, G. (eds.) Privacy and Identity Management for Life. IFIP AICT, vol.\u00a0320, pp. 246\u2013258. Springer, Heidelberg (2010)"},{"key":"22_CR7","unstructured":"Agrafiotis, I., Creese, S., Goldsmith, M., Papanikolaou, N.: The Logic of Consent and Revocation (2010) (submitted)"},{"key":"22_CR8","unstructured":"Krasnow Waterman, K.: Pre-processing Legal Text: Policy Parsing and Isomorphic Intermediate Representation. In: Intelligent information Privacy Management Symposium at the AAAI Spring Symposium (2010)"},{"key":"22_CR9","unstructured":"Ohm, P.: Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization, University of Colorado Law Legal Studies Research Paper No. 09-12 (2009), \n                    \n                      http:\/\/ssrn.com\/abstract=1450006"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Samarati, P.: Protecting Respondents\u2019 Identities in Microdata Release. IEEE Trans. Knowl. Data Eng.\u00a013(6) (2001)","DOI":"10.1109\/69.971193"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Ciriani, V., De Capitani di Vimercati, S., Foresti, S., Samarati, P.: k-anonymity.Secure Data. Managment in Decentralized Systems, 323\u2013353 (2007)","DOI":"10.1007\/978-0-387-27696-0_10"},{"key":"22_CR12","unstructured":"Nissenbaum, H.: Privacy as contextual integrity. Washington Law Review 79(1) (2004)"},{"key":"22_CR13","first-page":"184","volume-title":"SP 2006: Proceedings of the 2006 IEEE Symposium on Security and Privacy","author":"A. Barth","year":"2006","unstructured":"Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: SP 2006: Proceedings of the 2006 IEEE Symposium on Security and Privacy, Washington, DC, USA, pp. 184\u2013198. IEEE Computer Society, Los Alamitos (2006)"},{"key":"22_CR14","volume-title":"Web Privacy with P3P","author":"L.F. Cranor","year":"2002","unstructured":"Cranor, L.F.: Web Privacy with P3P. O\u2019Reilly, Sebastopol (2002)"},{"key":"22_CR15","unstructured":"Powers, C., Schunter, M.: Enterprise privacy authorization language (EPAL 1.2). W3C Member Submission (2003)"},{"key":"22_CR16","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":"M.C. 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.\u00a05850, pp. 1\u201315. Springer, Heidelberg (2009)"},{"key":"22_CR17","unstructured":"EnCoRe Press Briefing, London School of Economics, June 29 (2010)"}],"container-title":["IFIP Advances in Information and Communication Technology","Privacy and Identity Management for Life"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20769-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:00:31Z","timestamp":1606186831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20769-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207686","9783642207693"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20769-3_22","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}