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.


[img] PDF
Download (225Kb)


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 Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 262648
Accepted Date and Publication Date:
Date Deposited: 29 May 2006
Last Modified: 31 Mar 2016 14:06
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics