Sciweavers

FSTTCS
2004
Springer

A Calculus for Trust Management

13 years 9 months ago
A Calculus for 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.
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FSTTCS
Authors Marco Carbone, Mogens Nielsen, Vladimiro Sassone
Comments (0)