Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Sunday, September 8, 2013 - 7:31:06 PM
Last modification on : Friday, June 3, 2022 - 3:47:26 AM
Long-term archiving on: : Monday, December 9, 2013 - 4:23:13 AM


Publisher files allowed on an open archive


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads