Trust and Norms in the Context of Computer Security: A Logical Formalization
- Cite this paper as:
- Lorini E., Demolombe R. (2008) Trust and Norms in the Context of Computer Security: A Logical Formalization. In: van der Meyden R., van der Torre L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science, vol 5076. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.