Trust and Norms in the Context of Computer Security: A Logical Formalization

  title={Trust and Norms in the Context of Computer Security: A Logical Formalization},
  author={Emiliano Lorini and Robert Demolombe},
In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trus tee. A general typology of trust is presented. We distinguish trust in the trustee’s ac tion from trust in the trustee’s disposition (motivational or normative disposition); p ositive trust from negative trust. A part of the paper is devoted to the formalizatio n of security properties and to the analysis of their relationships with trust. 

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 23 references

Inferring trus

  • J. Hulstijn
  • Proc . of Fifth Workshop on Computational Logic…
  • 2004

and L

  • M. Dastani, A. Herzig, J. Hulstijn
  • van der Torre. Inferring tr us . InProc. of Fifth…
  • 2004
1 Excerpt

Deontic logic

  • L. Åqvist
  • In D. M. Gabbay and F. Geunther, editors…
  • 2002
2 Excerpts

A logic of graded trust and belief fus ion

  • R. Demolombe, C.-J. Liau
  • In Proc. of Fourth Workshop on Deception, Fraud…
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…