A Calculus for Trust and Reputation Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. Springer, IFIP Advances in Information and Communication Technology, AICT-430, pp.173-188, 2014, Trust Management VIII. 〈10.1007/978-3-662-43813-8_12〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01381686
Contributeur : Hal Ifip <>
Soumis le : vendredi 14 octobre 2016 - 15:21:10
Dernière modification le : dimanche 17 décembre 2017 - 16:40:01

Fichier

978-3-662-43813-8_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Alessandro Aldini. A Calculus for Trust and Reputation Systems. Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. Springer, IFIP Advances in Information and Communication Technology, AICT-430, pp.173-188, 2014, Trust Management VIII. 〈10.1007/978-3-662-43813-8_12〉. 〈hal-01381686〉

Partager

Métriques

Consultations de la notice

43

Téléchargements de fichiers

1