Privacy Policies with Modal Logic: The Dynamic Turn

@inproceedings{Aucher2010PrivacyPW,
  title={Privacy Policies with Modal Logic: The Dynamic Turn},
  author={Guillaume Aucher and Guido Boella and Leon van der Torre},
  booktitle={DEON},
  year={2010}
}
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… CONTINUE READING
Highly Cited
This paper has 49 citations. REVIEW CITATIONS