Towards a formal framework for computational trust

  • Authors:
  • Vladimiro Sassone;Karl Krukow;Mogens Nielsen

  • Affiliations:
  • ECS, University of Southampton;BRICS, University of Aarhus;BRICS, University of Aarhus

  • Venue:
  • FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation.