Reference : Privacy Policies with Modal Logic: The Dynamic Turn
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/24910
Privacy Policies with Modal Logic: The Dynamic Turn
English
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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
DEON
Springer
196–213
Yes
International
0302-9743
DEON
2010
[en] Privacy Policies ; Modal Logic
[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.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/24910
10.1007/978-3-642-14183-6_15
http://link.springer.com/chapter/10.1007%2F978-3-642-14183-6_15
The original publication is available at http://link.springer.com/

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
DEON10.PDFPublisher postprint583.27 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.