Applying formal methods to detect and resolve ambiguities in privacy requirements

IFIP Advances in Information and Communication Technology

Volumn 352 AICT, Issue , 2011, Pages 271-282

  Agrafiotis, Ioannis ^a   Creese, Sadie ^a   Goldsmith, Michael ^a   Papanikolaou, Nick ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL NOTATIONS; NATURAL LANGUAGES; PRIVACY REQUIREMENTS;

FORMAL METHODS;

EID: 79958010219     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-20769-3_22     Document Type: Conference Paper

References (17)

1. Westin, A.: Privacy and Freedom. Atheneum, New York (1967)
2. 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)
3. Whitley, E.A.: Information privacy consent and the "control" of personal data, Inform. Secur. Tech. Rep. (2009), doi:10.1016/j.istr, 10.001
4. 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-156. William, Gullompton (2009)
5. EnCoRe, http://www.encore-project.info
6. 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übner, S., Hansen, M., Zhang, G. (eds.) Privacy and Identity Management for Life. IFIP AICT, vol. 320, pp. 246-258. Springer, Heidelberg (2010)
7. Agrafiotis, I., Creese, S., Goldsmith, M., Papanikolaou, N.: The Logic of Consent and Revocation (2010) (submitted)
8. 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)
9. 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), http://ssrn.com/abstract=1450006
10. Samarati, P.: Protecting Respondents' Identities in Microdata Release. IEEE Trans. Knowl. Data Eng. 13(6) (2001)
11. Ciriani, V., De Capitani di Vimercati, S., Foresti, S., Samarati, P.: k-anonymity.Secure Data. Managment in Decentralized Systems, 323-353 (2007)
12. Nissenbaum, H.: Privacy as contextual integrity. Washington Law Review 79(1) (2004)
13. 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-198. IEEE Computer Society, Los Alamitos (2006)
14. Cranor, L.F.: Web Privacy with P3P. O'Reilly, Sebastopol (2002)
15. Powers, C., Schunter, M.: Enterprise privacy authorization language (EPAL 1.2). W3C Member Submission (2003)
16. 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)
17. EnCoRe Press Briefing, London School of Economics, June 29 (2010)