A Formal Notion of Trust - Enabling Reasoning about Security Properties

Abstract : Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and recommendation, or trust in public key infrastructures. While these notions support the understanding of trust establishment and degrees of trustworthiness in their respective application domains, they are insufficient for the more general notion of trust needed when reasoning about security in ICT systems. In this paper we present a formal definition of trust to be able to exactly express trust requirements from the view of different entities involved in the system and to support formal reasoning such that security requirements, security and trust mechanisms and underlying trust assumptions can be formally linked and made explicit. Integrated in our Security Modeling Framework this formal definition of trust can support security engineering processes and formal validation and verification by enabling reasoning about security properties w.r.t. trust.
Type de document :
Communication dans un congrès
Masakatsu Nishigaki; Audun Jøsang; Yuko Murayama; Stephen Marsh. 4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. Springer, IFIP Advances in Information and Communication Technology, AICT-321, pp.200-215, 2010, Trust Management IV. 〈10.1007/978-3-642-13446-3_14〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01061328
Contributeur : Hal Ifip <>
Soumis le : vendredi 24 novembre 2017 - 14:47:03
Dernière modification le : samedi 25 novembre 2017 - 01:23:59

Fichier

FuchsGR10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph. A Formal Notion of Trust - Enabling Reasoning about Security Properties. Masakatsu Nishigaki; Audun Jøsang; Yuko Murayama; Stephen Marsh. 4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. Springer, IFIP Advances in Information and Communication Technology, AICT-321, pp.200-215, 2010, Trust Management IV. 〈10.1007/978-3-642-13446-3_14〉. 〈hal-01061328〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

9