Inferring Dynamic Credentials for Role-based Trust Management
Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Keywords:||trust-management, role-based access control, inference systems, logic programming with negation.|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||29 May 2006|
|Last Modified:||10 Mar 2012 10:59|
|Contributors:||Gorla, D. (Author)
Hennessy, M. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)