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.
|Titolo:||A calculus for distrust and mistrust|
|Parole Chiave:||Order Relation; Access Control Model; Joint Profile; True Alarm; Trustworthiness Evaluation|
|Settore Scientifico Disciplinare:||Settore M-FIL/02 - Logica e Filosofia della Scienza|
|Data di pubblicazione:||2016|
|Digital Object Identifier (DOI):||10.1007/978-3-319-41354-9_15|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|