Privacy Policies with Modal Logic: The Dynamic Turn (bibtex)
by Guillaume Aucher, Guido Boella, Leendert van der Torre
Abstract:
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.
Reference:
Privacy Policies with Modal Logic: The Dynamic Turn (Guillaume Aucher, Guido Boella, Leendert van der Torre), In DEON, 2010.
Bibtex Entry:
@InProceedings{Aucher2010,
  Title                    = {Privacy Policies with Modal Logic: The Dynamic Turn},
  Author                   = {Guillaume Aucher and Guido Boella and Leendert van der Torre},
  Booktitle                = {DEON},
  Year                     = {2010},
  Pages                    = {196-213},

  Abstract                 = {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.},
  Bdsk-url-1               = {http://dx.doi.org/10.1007/978-3-642-14183-6_15},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/deon/2010},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-14183-6_15},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-14183-6_15}
}
Powered by bibtexbrowser