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

Abstract. 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 trustee. A general typology of trust is presented. We distinguish trust in the trustee's action from trust in the trustee's disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Emiliano Lorini, Robert Demolombe
• Keywords: Automated Reasoning, DEON 2008, Negative Trust, Positive Trust, Trust