The University of Southampton
University of Southampton Institutional Repository

A Calculus of Trust Management

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management At 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004.. , pp. 161-173.

Record type: Conference or Workshop Item (Paper)


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.

PDF ctmFSTTCSoff.pdf - Other
Download (221kB)

More information

Published date: 2004
Venue - Dates: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004., 2004-01-01
Keywords: trust management, trust in distributed systems, pi calculus, process calculi
Organisations: Web & Internet Science


Local EPrints ID: 262300
ISBN: 3-540-24058-6
PURE UUID: 35f569a9-0794-4fd0-bcb6-0726c90cad09

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52

Export record


Author: M. Carbone
Author: M. Nielsen
Author: V. Sassone

University divisions

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.