Dynamics in Delegation and Revocation Schemes: A Logical Approach

Abstract : In this paper we first introduce a logic for describing formally a family of delegation and revocation models that are based on the work in Hagström et al. We then extend our logic to accommodate an epistemic interpretation of trust within the framework that we define. What emerges from this work is a rich framework of formally well-de fined delegation and revocation schemes that accommodates an important trust component.
Type de document :
Communication dans un congrès
Yingjiu Li. 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. Springer, Lecture Notes in Computer Science, LNCS-6818, pp.90-105, 2011, Data and Applications Security and Privacy XXV. 〈10.1007/978-3-642-22348-8_9〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00593654
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 8 septembre 2013 - 19:31:06
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : lundi 9 décembre 2013 - 04:23:13

Fichier

10.1007-978-3-642-22348-8_9.pd...
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert Van Der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. Yingjiu Li. 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. Springer, Lecture Notes in Computer Science, LNCS-6818, pp.90-105, 2011, Data and Applications Security and Privacy XXV. 〈10.1007/978-3-642-22348-8_9〉. 〈inria-00593654v2〉

Partager

Métriques

Consultations de la notice

626

Téléchargements de fichiers

140