A Calculus of Trust Management
A Calculus of Trust Management
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.
trust management, trust in distributed systems, pi calculus, process calculi
3-540-24058-6
161-173
Carbone, M.
38344f31-0ef5-4dec-b7a0-6cef18aa2e7b
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
2004
Carbone, M.
38344f31-0ef5-4dec-b7a0-6cef18aa2e7b
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Carbone, M., Nielsen, M. and Sassone, V.
(2004)
A Calculus of Trust Management.
24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004..
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
ctmFSTTCSoff.pdf
- Other
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
Identifiers
Local EPrints ID: 262300
URI: http://eprints.soton.ac.uk/id/eprint/262300
ISBN: 3-540-24058-6
PURE UUID: 35f569a9-0794-4fd0-bcb6-0726c90cad09
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 14 Mar 2024 07:09
Export record
Contributors
Author:
M. Carbone
Author:
M. Nielsen
Author:
V. Sassone
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