{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T02:10:14Z","timestamp":1741745414971,"version":"3.38.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1007\/s10506-011-9114-3","type":"journal-article","created":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T11:04:55Z","timestamp":1317035095000},"page":"187-231","source":"Crossref","is-referenced-by-count":7,"title":["A dynamic logic for privacy compliance"],"prefix":"10.1007","volume":"19","author":[{"given":"Guillaume","family":"Aucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Boella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,27]]},"reference":[{"issue":"2","key":"9114_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symbol Logic 50(2):510\u2013530","journal-title":"J Symbol Logic"},{"key":"9114_CR2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A Anderson","year":"1958","unstructured":"Anderson A (1958) A reduction of deontic logic to alethic modal logic. Mind 67:100\u2013103","journal-title":"Mind"},{"key":"9114_CR3","first-page":"361","volume":"1","author":"L \u00c5qvist","year":"1967","unstructured":"\u00c5qvist L (1967) Good samaritans, contrary-to-duty imperatives, and epistemic obligations. N\u00f4us 1:361\u2013379","journal-title":"N\u00f4us"},{"doi-asserted-by":"crossref","unstructured":"Aucher G, Boella G, van der Torre L (2010a) Prescriptive and descriptive obligations in dynamic epistemic deontic logic. In: AI approaches to the complexity of legal systems (AICOL 2009). Springer, Berlin, LNAI, vol 6237, pp 150\u2013161","key":"9114_CR4","DOI":"10.1007\/978-3-642-16524-5_10"},{"doi-asserted-by":"crossref","unstructured":"Aucher G, Boella G, van der Torre L (2010b) Privacy policies with modal logic: the dynamic turn. In: Governatori G, Sartor G (eds) Deontic logic in computer science (DEON 2010). Springer, Berlin, LNCS, vol 6181, pp 196\u2013213","key":"9114_CR5","DOI":"10.1007\/978-3-642-14183-6_15"},{"unstructured":"Balbiani P, van Ditmarsch H, Seban P (2009) Reasoning about permitted announcements. In: ESSLLI 2009 workshop logical methods for social concepts, Bordeaux","key":"9114_CR6"},{"issue":"2","key":"9114_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss L (2004) Logic for epistemic programs. Synthese 139(2):165\u2013224","journal-title":"Synthese"},{"unstructured":"Baltag A, Moss L, Solecki S (1998) The logic of common knowledge, public announcement, and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp 43\u201356","key":"9114_CR8"},{"issue":"3","key":"9114_CR9","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0169-023X(02)00126-X","volume":"43","author":"S Barker","year":"2002","unstructured":"Barker S (2002) Protecting deductive databases from unauthorized retrieval and update requests. Data Knowl Eng 43(3):295\u2013315","journal-title":"Data Knowl Eng"},{"doi-asserted-by":"crossref","unstructured":"Barth A, Datta A, Mitchell JC, Nissenbaum H (2006) Privacy and contextual integrity: framework and applications. In: IEEE symposium on security and privacy. IEEE Computer Society, Los Alamitos, pp 184\u2013198","key":"9114_CR10","DOI":"10.1109\/SP.2006.32"},{"doi-asserted-by":"crossref","unstructured":"Barth A, Mitchell JC, Datta A, Sundaram S (2007) Privacy and contextual integrity: framework and applications. In: IEEE Computer Security Foundations Symposium CSF\u201907. IEEE Computer Society, Los Alamitos, pp 279\u2013294","key":"9114_CR11","DOI":"10.1109\/CSF.2007.26"},{"key":"9114_CR12","volume-title":"Computer security: art and science","author":"M Bishop","year":"2003","unstructured":"Bishop M (2003) Computer security: art and science. Addison Wesley Professional, Boston"},{"key":"9114_CR13","volume-title":"Modal logic, Cambridge tracts in computer science, vol 53","author":"P Blackburn","year":"2001","unstructured":"Blackburn P, de Rijke M, Venema Y (2001) Modal logic, Cambridge tracts in computer science, vol 53. Cambridge University Press, Cambridge"},{"unstructured":"Boella G, Governatori G, Rotolo A, van der Torre L (2010) A logical understanding of legal interpretation. In: Principles of knowledge representation and reasoning: proceedings of the twelfth international conference, KR 2010. AAAI Press","key":"9114_CR14"},{"issue":"3","key":"9114_CR15","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/69.390247","volume":"7","author":"P Bonatti","year":"1995","unstructured":"Bonatti P, Kraus S, Subrahmanian V (1995) Foundations of secure deductive databases. IEEE Trans Knowl Data Eng 7(3):406\u2013422","journal-title":"IEEE Trans Knowl Data Eng"},{"unstructured":"Brewer DFC, Nash MJ (1989) The chinese wall security policy. In: IEEE symposium on security and privacy. IEEE Computer Society, Los Alamitos, pp 206\u2013214","key":"9114_CR16"},{"doi-asserted-by":"crossref","unstructured":"Casta\u00f1eda HN (1981) The paradoxes of deontic logic: the simplest solution to all of them in one fell swoop. In: Hilpinen R (ed) New studies in deontic logic: norms, actions, and the foundations of ethics, synthese library. Reidel Publishing Co., pp 37\u201386","key":"9114_CR17","DOI":"10.1007\/978-94-009-8484-4_2"},{"key":"9114_CR18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.2307\/2214075","volume":"2","author":"HN Casta\u00f1eda","year":"1988","unstructured":"Casta\u00f1eda HN (1988) Knowledge and epistemic obligation. Philos Perspect 2:211\u2013233","journal-title":"Philos Perspect"},{"key":"9114_CR19","volume-title":"Web Privacy with P3P","author":"L Cranor","year":"2002","unstructured":"Cranor L (2002) Web Privacy with P3P. O\u2019Reilly and Associates Inc, USA"},{"unstructured":"Cuppens F (1993) A logical formalization of secrecy. In: IEEE computer security foundations workshop CSFW\u201993. IEEE Computer Society, Los Alamitos","key":"9114_CR20"},{"doi-asserted-by":"crossref","unstructured":"Cuppens F, Demolombe R (1996) A deontic logic for reasoning about confidentiality. In: Deontic logic, agency and normative systems, third international workshop on deontic logic in computer science (DEON 1996). Springer, Berlin","key":"9114_CR21","DOI":"10.1007\/978-1-4471-1488-8_4"},{"unstructured":"Cuppens F, Demolombe R (1997) A modal logical framework for security policies. In: Ras Z, Skowron A (eds) Foundations of intelligent systems, 10th international symposium, ISMIS \u201997. Springer, Berlin, LNCS, vol 1325, pp 579\u2013589","key":"9114_CR22"},{"doi-asserted-by":"crossref","unstructured":"DeYoung H, Garg D, Jia L, Kaynar D, Datta A (2010) Experiences in the logical specification of the HIPAA and GLBA privacy laws. In: Proceedings of the 9th annual ACM workshop on privacy in the electronic society, ACM, New York, WPES \u201910, pp 73\u201382","key":"9114_CR23","DOI":"10.1145\/1866919.1866930"},{"key":"9114_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin R, Halpern J, Moses Y, Vardi M (1995) Reasoning about knowledge. MIT Press, UK"},{"unstructured":"Federal Trade Commission (1998) Children\u2019s Online Privacy Protection Act of 1998 (COPPA). http:\/\/www.ftc.gov\/ogc\/coppa1.htm","key":"9114_CR26"},{"unstructured":"Federal Trade Commission (1999) Gramm-Leach-Bliley Act (GLBA). http:\/\/www.ftc.gov\/privacy\/glbact\/glbsub1.htm","key":"9114_CR27"},{"issue":"3","key":"9114_CR28","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"54","author":"J Halpern","year":"1992","unstructured":"Halpern J, Moses Y (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artif Intell 54(3):311\u2013379","journal-title":"Artif Intell"},{"unstructured":"Hinke TH (1988) Database inference engine design approach. In: Database security DBSec, pp 247\u2013262","key":"9114_CR29"},{"key":"9114_CR30","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and deontic logic","author":"J Horty","year":"2001","unstructured":"Horty J (2001) Agency and deontic logic. Oxford University Press, USA"},{"doi-asserted-by":"crossref","unstructured":"Kanovich M, Rowe P, Scedrov A (2007) Collaborative planning with privacy. In: IEEE computer security foundations symposium CSF\u201907. IEEE Computer Society, Los Alamitos, pp 265\u2013278","key":"9114_CR31","DOI":"10.1109\/CSF.2007.12"},{"unstructured":"Karjoth G, Schunter M (2002) A privacy policy model for enterprises. In: IEEE computer security foundations workshop CSFW\u201902. IEEE Computer Society, Los Alamitos","key":"9114_CR32"},{"doi-asserted-by":"crossref","unstructured":"Lam P, Mitchell J, Sundaram S (2009) A formalization of HIPAA for a medical messaging system. In: Trust, privacy and security in digital business, TrustBus 2009. Springer, Berlin, pp 73\u201385","key":"9114_CR33","DOI":"10.1007\/978-3-642-03748-1_8"},{"doi-asserted-by":"crossref","unstructured":"May M, Gunter C, Lee I (2006) Privacy APIs: Access control techniques to analyze and verify legal privacy policies. In: IEEE computer security foundations symposium CSF\u201906. IEEE Computer Society, Los Alamitos, pp 85\u201397","key":"9114_CR34","DOI":"10.1109\/CSFW.2006.24"},{"doi-asserted-by":"crossref","unstructured":"Meyer JJC (1988) A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 29(1)","key":"9114_CR36","DOI":"10.1305\/ndjfl\/1093637776"},{"unstructured":"Moses T (2005) Extensible Access Control Markup Language (XACML) version 2.0. http:\/\/docs.oasis-open.org\/xacml\/2.0\/access_control-xacml-2.0-core-spec-os.pdf","key":"9114_CR37"},{"doi-asserted-by":"crossref","unstructured":"Nielson H, Nielson F (2007) A flow-sensitive analysis of privacy properties. In: IEEE computer security foundations symposium CSF\u201907. IEEE Computer Society, Los Alamitos, pp 249\u2013264","key":"9114_CR38","DOI":"10.1109\/CSF.2007.4"},{"unstructured":"Office for Civil Rights (2003) Summary of the HIPAA privacy rule. http:\/\/www.hhs.gov\/ocr\/privacy\/hipaa\/understanding\/summary\/privacysummary.pdf","key":"9114_CR39"},{"issue":"2","key":"9114_CR40","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/s11229-005-3877-6","volume":"149","author":"E Pacuit","year":"2006","unstructured":"Pacuit E, Parikh R, Cogan E (2006) The logic of knowledge based obligation. Synthese 149(2):311\u2013341","journal-title":"Synthese"},{"doi-asserted-by":"crossref","unstructured":"Sahlqvist H (1975) Completeness and correspondence in the first and second order semantics for modal logics. In: Kanger S (ed) Proceedings of the 3rd Scandinavian logic symposium 1973, North Holland, no. 82 in Studies in Logic","key":"9114_CR41","DOI":"10.1016\/S0049-237X(08)70728-6"},{"issue":"5","key":"9114_CR42","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1142\/S0218488502001648","volume":"10","author":"L Sweeney","year":"2002","unstructured":"Sweeney L (2002) k-anonymity: a model for protecting privacy. Int J Uncertainty Fuzziness Knowl-Based Syst 10(5):557\u2013570","journal-title":"Int J Uncertainty Fuzziness Knowl-Based Syst"},{"unstructured":"United Nations General Assembly (1948) Universal Declaration of Human Rights (UDHR). http:\/\/www.un.org\/en\/documents\/udhr\/index","key":"9114_CR43"},{"key":"9114_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic, synthese library, vol 337","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic epistemic logic, synthese library, vol 337. Springer, Berlin"},{"key":"9114_CR35","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R Van der Meyden","year":"1996","unstructured":"Van der Meyden R (1996) The dynamic logic of permission. J Logic Comput 6:465\u2013479","journal-title":"J Logic Comput"},{"issue":"4","key":"9114_CR44","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/1321160","volume":"193","author":"S Warren","year":"1890","unstructured":"Warren S, Brandeis L (1890) The right to privacy. Harvard Law Rev 193(4):193\u2013220","journal-title":"Harvard Law Rev"},{"key":"9114_CR45","volume-title":"Privacy and freedom","author":"A Westin","year":"1968","unstructured":"Westin A (1968) Privacy and freedom. 5th edn. Atheneum, New York","edition":"5"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-011-9114-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-011-9114-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-011-9114-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T01:52:30Z","timestamp":1741744350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-011-9114-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":45,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["9114"],"URL":"https:\/\/doi.org\/10.1007\/s10506-011-9114-3","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2011,8]]}}}