A Calculus of Trust Management
Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its legal behaviour, and with a protocol, which allows interactions between principals and the flow of information from principals to policies. We elect to formalise policies using a Datalog-like logic, and to express protocols in the process algebra style. This yields an expressive calculus very suitable for the global computing scenarios, and provides a formalisation of notions such as trust evolution. For ctm we define barbed equivalences and study their possible applications.
|Item Type:||Conference or Workshop Item (Paper)|
|Keywords:||trust management, trust in distributed systems, pi calculus, process calculi|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||11 Apr 2006|
|Last Modified:||18 Aug 2012 04:04|
|Contributors:||Carbone, M. (Author)
Nielsen, M. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|ISI Citation Count:||5|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)