Inferring dynamic credentials for role-based trust management
Citation:
Gorla, D., Hennessy, M., Sassone, V., Inferring dynamic credentials for role-based trust management , Symposium on Principles and Practice of Declarative Programming, Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Volume 2006, ACM, 2006, 213-224Download Item:
ppdp06talk.pdf (Presentation) 481.8Kb
Inferring Dynamic Credentials for Role-based Trust Management.pdf (published (author copy) peer-reviewed) 225.1Kb
Abstract:
The topic of this paper is the role-based trust-management language
RT_0, a formalism inspired by logic programming that handles trust
in large scale, decentralised systems. We provide a purely operational
semantics for the language in which credentials can be established
using a simple set of inference rules. We then extend RT_0
to include time validity and boolean guards that control the
availability of credentials. In such an extended framework, credentials
are conditional on the availability of supporting credentials
in the execution context. In addition to a set-theoretic and a
logic-programming semantics, we develop for the extended language a
series of increasingly powerful inference systems for establishing
these conditional credentials. By means of simple but realistic examples,
we demonstrate the expressiveness and usability of our
language, warranting its integration into existing trust-management
tools.
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHED
Author: HENNESSY, MATTHEW
Other Titles:
Symposium on Principles and Practice of Declarative ProgrammingProceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Publisher:
ACMType of material:
Conference PaperSeries/Report no:
Volume 2006;Availability:
Full text availableLicences: