Dynamics in Delegation and Revocation Schemes: A Logical Approach - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
10.1007-978-3-642-22348-8_9.pdf (411.88 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00593654 , version 1 (16-05-2011)
inria-00593654 , version 2 (08-09-2013)

Licence

Attribution

Identifiers

Cite

Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van Der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. 23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩. ⟨inria-00593654v2⟩
1069 View
214 Download

Altmetric

Share

Gmail Facebook X LinkedIn More