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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01438344
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 17, 2017 - 4:07:50 PM
Last modification on : Tuesday, January 17, 2017 - 4:18:28 PM
Long-term archiving on : Tuesday, April 18, 2017 - 3:21:50 PM

File

428098_1_En_15_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Giuseppe Primiero. A Calculus for Distrust and Mistrust. 10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. pp.183-190, ⟨10.1007/978-3-319-41354-9_15⟩. ⟨hal-01438344⟩

Share

Metrics

Record views

122

Files downloads

110