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.

• Type: Conference
• Year: 2004
• Where: FSTTCS
• Authors: Marco Carbone, Mogens Nielsen, Vladimiro Sassone
• Keywords: FSTTCS 2004, Global Computing, Global Computing Systems, Process Calculus