Paper published in a journal (Scientific congresses, symposiums and conference proceedings)
Privacy Policies with Modal Logic: The Dynamic Turn
Aucher, Guillaume; Boella, Guido; van der Torre, Leon
2010In DEON, p. 196–213
Peer reviewed
 

Files


Full Text
DEON10.PDF
Publisher postprint (597.27 kB)
Download

The original publication is available at http://link.springer.com/


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Privacy Policies; Modal Logic
Abstract :
[en] 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 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.We axiomatize and prove the decidability of our logic.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-091
Author, co-author :
Aucher, Guillaume ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Boella, Guido
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Privacy Policies with Modal Logic: The Dynamic Turn
Publication date :
2010
Event name :
DEON
Event date :
2010
Audience :
International
Journal title :
DEON
ISSN :
0302-9743
Publisher :
Springer
Pages :
196–213
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 25 February 2016

Statistics


Number of views
70 (0 by Unilu)
Number of downloads
104 (2 by Unilu)

Scopus citations®
 
8
Scopus citations®
without self-citations
7
OpenCitations
 
8
WoS citations
 
8

Bibliography


Similar publications



Contact ORBilu