Dr. Guillaume Aucher of the University of Luxembourg Faculty of Sciences, Technology and Communication, Professor Guido Boella of Università degli Studi di Torino Dipartimento di Informatica , and Professor Dr. Leon van der Torre of the University of Luxembourg Faculty of Sciences, Technology and Communication, presented Privacy Regulations in Dynamic Epistemic Deontic Logic, at NMR 2010: The 13th International Workshop on Non-Monotonic Reasoning, held 14-16 May 2010, at Sutton Place, Toronto, Canada.
Click here to access a zip file containing the full text of the paper.
Here is the abstract of the paper:
Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe [see here and here] with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy.
Tags: Frédéric Cuppens, Guido Boella, Guillaume Aucher, International Workshop on Non-Monotonic Reasoning, Legal deontic logic, Leon van der Torre, Modelling privacy policies, Modelling privacy regulations, Modelling regulations, NMR, NMR 2010, Privacy policies, Privacy regulations, Robert Demolombe
