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. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Carbone, M., Nielsen, M., & Sassone, V. (2004). A calculus for trust management. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3328, 161–173. https://doi.org/10.1007/978-3-540-30538-5_14
Mendeley helps you to discover research relevant for your work.