Logics for Security and Privacy - Data and Applications Security and Privacy XXVI
Conference Papers Year : 2012

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.

Domains

Computer Science [cs]
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)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01534776

Submitted on : Thursday, June 8, 2017-11:06:41 AM

Last modification on : Wednesday, September 25, 2024-9:56:03 AM

Long-term archiving on : Saturday, September 9, 2017-12:34:08 PM

Download

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC11 IFIP-WG11-3 IFIP-DBSEC IFIP-LNCS-7371
282 View
184 Download

Altmetric

Share

More