Logics for Security and Privacy - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Logics for Security and Privacy

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-31540-4_1_Chapter.pdf (85.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 8 juin 2017-11:06:41

Dernière modification le : mercredi 25 septembre 2024-09:56:03

Archivage à long terme le : samedi 9 septembre 2017-12:34:08

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

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
278 Consultations
184 Téléchargements

Altmetric

Partager

More