Reference : A dynamic logic for privacy compliance
Scientific journals : Article
Engineering, computing & technology : Computer science
Law / European Law
http://hdl.handle.net/10993/25167
A dynamic logic for privacy compliance
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) >]
2011
Artificial Intelligence & Law
Springer Science & Business Media B.V.
187-231
Yes (verified by ORBilu)
International
0924-8463
[en] privacy compliance
[en] Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but also to represent explicitly the declarative privacy policies together with their dynamics. The logic can be used to check both regulatory and behavioral compliance, respectively by checking that the permissions and obligations set up by the security monitor of an organization are not in conflict with the privacy policies, and by checking that these obligations are indeed enforced.
Researchers ; Professionals ; Students ; Others
http://hdl.handle.net/10993/25167
10.1007/s10506-011-9114-3
http://link.springer.com/article/10.1007%2Fs10506-011-9114-3
The original publication is available at www.springerlink.com

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
blank.pdfPublisher postprint10.85 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.