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

  • Emiliano Lorini
  • Robert Demolombe
Conference paper

DOI: 10.1007/978-3-540-70525-3_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Emiliano Lorini
    • 1
  • Robert Demolombe
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse (IRIT) France

Personalised recommendations