Reference : Dynamics in Delegation and Revocation Schemes: A Logical Approach

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/25165

Title :	Dynamics in Delegation and Revocation Schemes: A Logical Approach
Language :	English
Author, co-author :	Aucher, Guillaume [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Barker, Steve [> >]
	Boella, Guido [> >]
	Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2011
Main document title :	DBSec
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science 6818
Pages :	90–105
Peer reviewed :	Yes
Audience :	International
ISBN :	978-3-642-22347-1
Event name :	DBSec
Event date :	2011
Keywords :	[en] Revocation Schemes ; Dynamics in Delegation
Abstract :	[en] 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-defined delegation and revocation schemes that accommodates an important trust component.
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/25165
DOI :	10.1007/978-3-642-22348-8\_9
Mentions required by the publisher for OA :	original can be found in http://link.springer.com/
Commentary :	6818

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access blank.pdf Publisher postprint 10.85 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map