Short version in 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06), Venice (Italy), July 10-12, 2006. Full version available as Tech. Rep. 04/2006, Dip Informatica, Univ. di Roma "La Sapienza".
The topic of this paper is the role-based trust-management language RT0, 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 RT0 to include time validity and boolean guards that control the availability of credentials. In such 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.
@InProceedings{GHS:PPDP06,
author = {D. Gorla and M. Hennessy and V. Sassone},
title = {Inferring Dynamic Credentials for Role-based Trust Management},
booktitle = {Proc. of 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'06)},
pages = {213--224},
year = {2006},
publisher = {ACM Press},
}