%0 Conference Proceedings
%T Logics for Security and Privacy
%+ University of Luxembourg [Luxembourg]
%A Torre, Leendert, van Der
%Z Part 1: Invited Paper
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 26th Conference on Data and Applications Security and Privacy (DBSec)
%C Paris, France
%Y Nora Cuppens-Boulahia
%Y Frédéric Cuppens
%Y Joaquin Garcia-Alfaro
%I Springer
%3 Data and Applications Security and Privacy XXVI
%V LNCS-7371
%P 1-7
%8 2012-07-11
%D 2012
%R 10.1007/978-3-642-31540-4_1
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 11
%Z WG 11.3
%2 https://inria.hal.science/hal-01534776/document
%2 https://inria.hal.science/hal-01534776/file/978-3-642-31540-4_1_Chapter.pdf
%L hal-01534776
%U https://inria.hal.science/hal-01534776
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ IFIP-LNCS-7371