Trust Modelling and Verification Using Event-B

Asieh Salehi Fathabadi, Vahid Yazdanpanah
11/16/2023
cs.GTcs.MA

No confident code implementation found for this paper.

Abstract

Trust is a crucial component in collaborative multiagent systems (MAS) involving humans and autonomous AI agents. Rather than assuming trust based on past system behaviours, it is important to formally verify trust by modelling the current state and capabilities of agents. We argue for verifying actual trust relations based on agents abilities to deliver intended outcomes in specific contexts. To enable reasoning about different notions of trust, we propose using the refinement-based formal method Event-B. Refinement allows progressively introducing new aspects of trust from abstract to concrete models incorporating knowledge and runtime states. We demonstrate modelling three trust concepts and verifying associated trust properties in MAS. The formal, correctness-by-construction approach allows to deduce guarantees about trustworthy autonomy in human-AI partnerships. Overall, our contribution facilitates rigorous verification of trust in multiagent systems.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Modal Logic for Distributed Trust

84% match2026

Steps Towards Satisficing Distributed Dynamic Team Trust

81% match2023

Can Proof Assistants Verify Multi-Agent Systems?

81% match1 repo62025

Inter-Agent Trust Models: A Comparative Study of Brief, Claim, Proof, Stake, Reputation and Constraint in Agentic Web Protocol Design-A2A, AP2, ERC-8004, and Beyond

81% match2025

Semantic Chain-of-Trust: Autonomous Trust Orchestration for Collaborator Selection via Hypergraph-Aided Agentic AI

81% match2025

AI Agents with Decentralized Identifiers and Verifiable Credentials

81% match2025

Cite this paper

@article{fathabadi2023trust,
  title  = {Trust Modelling and Verification Using Event-B},
  author = {Asieh Salehi Fathabadi and Vahid Yazdanpanah},
  year   = {2023},
  eprint = {2311.09777},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2311.09777v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2311.09777.svg)](https://codeofpaper.com/paper/2311.09777)

Discussion