Dynamic verification of trust in distributed open systems

Authors:
Nardine Osman;David Robertson
Affiliations:
The University of Edinburgh, School of Informatics;The University of Edinburgh, School of Informatics
Venue:
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Year:
2007

Citing 7
Cited 8

Communicating sequential processes

Communicating sequential processes
XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Communication and Concurrency

Communication and Concurrency
A Policy Language for a Pervasive Computing Environment

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
A Logical Language for Expressing Authorizations

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Trust in multi-agent systems

The Knowledge Engineering Review
Dynamic model checking for multi-agent systems

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies

Dynamic trust assessment of software services

2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Open Knowledge

Languages, Methodologies and Development Tools for Multi-Agent Systems
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms

Declarative Agent Languages and Technologies VI
Plans, Actions and Dialogues Using Linear Logic

Journal of Logic, Language and Information
Lightweight coordination calculus for agent systems: retrospective and prospective

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Real time query propagation strategies with Lightweight Coordination Calculus (LCC) for ad hoc networks of geospatial databases

Journal of Network and Computer Applications
An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling

Artificial Intelligence
Trust and matching algorithms for selecting suitable agents

ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining

Quantified Score

Hi-index	0.00

Visualization

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.