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.
Type de document :
Communication dans un congrès
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
Contributeur : Hal Ifip <>
Soumis le : jeudi 8 juin 2017 - 11:06:41
Dernière modification le : jeudi 8 juin 2017 - 11:09:27
Document(s) archivé(s) le : samedi 9 septembre 2017 - 12:34:08

Fichier

978-3-642-31540-4_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

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〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

35