Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadatas

https://hal.inria.fr/hal-01534776
Contributor : Hal Ifip <>
Submitted on : Thursday, June 8, 2017 - 11:06:41 AM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM
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. 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⟩

Share

Metrics

Record views

316

Files downloads

261