Logics for Security and Privacy - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Logics for Security and Privacy


In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese.
Fichier principal
Vignette du fichier
978-3-642-31540-4_1_Chapter.pdf (85.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01534776 , version 1 (08-06-2017)





Leendert van Der Torre. Logics for Security and Privacy. 26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.1-7, ⟨10.1007/978-3-642-31540-4_1⟩. ⟨hal-01534776⟩
260 View
156 Download



Gmail Facebook Twitter LinkedIn More