A calculus for Trust Management.
Vladimiro Sassone
Abstract
We introduce ctm, a process calculus where the notion of trust for
global computing systems is taken into account. In ctm each
principal (location) is equipped with a policy written in a
datalog-like logic and a protocol which allows interactions between
principals. The calculus provides a mechanism of interaction between
the policy (which controls the behaviour) and the protocol (which
passes information to the policy about other principals). Protocols
enjoy a new input operation which fits into global computing
scenarios. We define barbed equivalences and study their possible
applications.