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.
Domaines
Intelligence artificielle [cs.AI]
Fichier principal
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