Logics for Security and Privacy

Abstract : 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.
Document type :
Conference papers
Nora Cuppens-Boulahia; Frédéric Cuppens; Joaquin Garcia-Alfaro. 26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7371, pp.1-7, 2012, Data and Applications Security and Privacy XXVI. 〈10.1007/978-3-642-31540-4_1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01534776
Contributor : Hal Ifip <>
Submitted on : Thursday, June 8, 2017 - 11:06:41 AM
Last modification on : Thursday, June 8, 2017 - 11:09:27 AM
Document(s) archivé(s) le : Saturday, September 9, 2017 - 12:34:08 PM

File

978-3-642-31540-4_1_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Leendert Torre. Logics for Security and Privacy. Nora Cuppens-Boulahia; Frédéric Cuppens; Joaquin Garcia-Alfaro. 26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7371, pp.1-7, 2012, Data and Applications Security and Privacy XXVI. 〈10.1007/978-3-642-31540-4_1〉. 〈hal-01534776〉

Share

Metrics

Record views

182

Files downloads

21