A Calculus for Trust Management
A Calculus for Trust Management
复制标题
信托管理的演算
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
V. Sassone
中科院分区：
文献类型：
--
作者：
Marco Carbone;M. Nielsen;V. Sassone
我们引入了CTM，这是一种进程演算，它体现了全球计算系统的信任概念。在CTM中，每个主体（位置）都配备有一个策略，该策略决定其合法行为，还配备有一个协议，该协议允许主体之间进行交互以及信息从主体流向策略。我们选择使用类似Datalog的逻辑将策略形式化，并以进程代数风格表达协议。这产生了一种非常适用于全球计算场景的富有表现力的演算，并提供了诸如信任演化等概念的形式化。对于CTM，我们定义了带刺等价关系并研究了它们的可能应用。
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.