Dynamic Verification of Trust in Distributed Open Systems
Dynamic Verification of Trust in Distributed Open Systems
复制标题
分布式开放系统中信任的动态验证
DOI：
10.1016/b978-044481714-3/50021-7
复制
发表时间：
2007
影响因子：
--
通讯作者：
D. Robertson
中科院分区：
文献类型：
--
作者：
N. Osman;D. Robertson
在开放和分布式系统中，代理必须参与他们以前没有经验的交互。道义模型被广泛用于描述方面的许可，义务，并预期这些代理的信任，但没有实际的机制已经开发出测试道义的信任规范对模型的多代理交互。本文介绍了这样做的一种方法，它通过模型检查的实施，并在一个现实的例子上的一些初步结果。
In open and distributed systems, agents must engage in interactions of which they have no previous experience. Deontic models are widely used to describe aspects of permission, obligation, and trust anticipated by such agents, but no practical mechanism has been developed for testing deontic trust specifications against models of multi-agent interactions. This paper describes a way of doing this; an implementation of it via model checking; and some preliminary results on a realistic example.