{"type":"ScholarlyArticle","title":"Dynamic Verification of Trust in Distributed Open Systems","authors":[{"name":"Nardine Osman","slug":"nardine-osman","given":"Nardine","family":"Osman","affiliation":""},{"name":"David Robertson","slug":"david-robertson","given":"David","family":"Robertson","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2007/232","pdf":"https://ijcai.org/proceedings/2007/0232.pdf","markdown":"https://ijcai.org/proceedings/2007/232.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/232","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":232,"pages":{"first":1440,"last":1444},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}