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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00593654
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:31:06 PM
Last modification on : Friday, November 16, 2018 - 1:23:25 AM
Long-term archiving on : Monday, December 9, 2013 - 4:23:13 AM

File

10.1007-978-3-642-22348-8_9.pd...
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

1126

Files downloads

198