Trust and norms in the context of computer security: toward a logical formalization - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Trust and norms in the context of computer security: toward a logical formalization

Résumé

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.
Fichier principal
Vignette du fichier
Trust and norms in the context of computer security_toward a logical formalization.pdf (248.64 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03672521 , version 1 (19-05-2022)

Identifiants

Citer

Emiliano Lorini, Robert Demolombe. Trust and norms in the context of computer security: toward a logical formalization. International Workshop on Deontic Logic in Computer Science, Jul 2008, Luxembourg, Luxembourg. pp.50-64, ⟨10.1007/978-3-540-70525-3_6⟩. ⟨hal-03672521⟩
10 Consultations
26 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More