A Calculus for Trust and Reputation Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Calculus for Trust and Reputation Systems

Résumé

Trust and reputation models provide soft-security mechanisms that can be used to induce cooperative behaviors in user-centric communities in which user-generated services and resources are shared. The effectiveness of such models depends on several, orthogonal aspects that make their analysis a challenging issue. This paper aims to provide support to the design of trust and reputation infrastructures and to verify their adequacy in the setting of software architectures and computer networks underlying online communities. This is done by proposing a formal framework encompassing a calculus of concurrent systems, a temporal logic for trust, and model checking techniques.
Fichier principal
Vignette du fichier
978-3-662-43813-8_12_Chapter.pdf (343.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01381686 , version 1 (14-10-2016)

Licence

Paternité

Identifiants

Citer

Alessandro Aldini. A Calculus for Trust and Reputation Systems. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.173-188, ⟨10.1007/978-3-662-43813-8_12⟩. ⟨hal-01381686⟩
31 Consultations
95 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More