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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (216Kb) |
Description/Abstract
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) |
|---|---|
| ISBNs: | 3540240586 |
| 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 |
| Item ID: | 262300 |
| Date Deposited: | 11 Apr 2006 |
| Last Modified: | 18 Aug 2012 04:04 |
| Contributors: | Carbone, M. (Author) Nielsen, M. (Author) Sassone, V. (Author) |
| Date: | 2004 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 5 |
| URI: | http://eprints.soton.ac.uk/id/eprint/262300 |
Actions (login required)
 |
View Item |
