A Calculus for Distrust and Mistrust

Abstract : Properties of trust are becoming widely studied in several applications within the computational domain. On the contrary, negative trust attribution is less well-defined and related issues are yet to be approached and resolved. We present a natural deduction calculus for trust protocols and its negative forms, distrust and mistrust. The calculus deals efficiently with forms of trust transitivity and negative trust multiplication and we briefly illustrate some possible applications.
Type de document :
Communication dans un congrès
Sheikh Mahbub Habib; Julita Vassileva; Sjouke Mauw; Max Mühlhäuser. 10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. IFIP Advances in Information and Communication Technology, AICT-473, pp.183-190, 2016, Trust Management X. 〈10.1007/978-3-319-41354-9_15〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01438344
Contributeur : Hal Ifip <>
Soumis le : mardi 17 janvier 2017 - 16:07:50
Dernière modification le : mardi 17 janvier 2017 - 16:18:28
Document(s) archivé(s) le : mardi 18 avril 2017 - 15:21:50

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Giuseppe Primiero. A Calculus for Distrust and Mistrust. Sheikh Mahbub Habib; Julita Vassileva; Sjouke Mauw; Max Mühlhäuser. 10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. IFIP Advances in Information and Communication Technology, AICT-473, pp.183-190, 2016, Trust Management X. 〈10.1007/978-3-319-41354-9_15〉. 〈hal-01438344〉

Partager

Métriques

Consultations de la notice

84