Aucher, Boella, & van der Torre on Privacy Regulations in Dynamic Epistemic Deontic Logic

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.

This entry was posted in Articles and papers, Conference papers and tagged , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s