Dynamic Verification of Trust in Distributed Open Systems

Osman, Nardine; Robertson, David

Dynamic Verification of Trust in Distributed Open Systems

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 1440-1444.

Abstract

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.

Nardine Osman, and David Robertson. 2007. Dynamic Verification of Trust in Distributed Open Systems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 1440–1444. https://ijcai.org/proceedings/2007/232

@inproceedings{ijcai2007p232,
  title     = {Dynamic Verification of Trust in Distributed Open Systems},
  author    = {Osman, Nardine and Robertson, David},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {1440--1444},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/232},
}

TY  - CPAPER
TI  - Dynamic Verification of Trust in Distributed Open Systems
AU  - Osman, Nardine
AU  - Robertson, David
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 1440
EP  - 1444
UR  - https://ijcai.org/proceedings/2007/232
ER  -