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.
A calculus for distrust and mistrust / G. Primiero (IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY). - In: Trust Management X / [a cura di] S.M. Habib, J. Vassileva, S. Mauw, M. Mühlhäuser. - [s.l] : Springer, 2016. - ISBN 9783319413532. - pp. 183-190 (( Intervento presentato al 10. convegno IFIPTM tenutosi a Darmstadt nel 2016 [10.1007/978-3-319-41354-9_15].
A calculus for distrust and mistrust
G. Primiero
2016
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.File | Dimensione | Formato | |
---|---|---|---|
untrust_extract.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
141.43 kB
Formato
Adobe PDF
|
141.43 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.