Gorla, D., Hennessy, M. and Sassone, V.
Inferring Dynamic Credentials for Role-based Trust Management
At 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06.
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.
Conference or Workshop Item
|Venue - Dates:
||8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06, 2006-01-01
||trust-management, role-based access control, inference systems, logic programming with negation.
||Web & Internet Science
||29 May 2006
||17 Apr 2017 21:39
|Further Information:||Google Scholar|
Actions (login required)