A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction

Abstract : We show that soft constraints can be used to model logical reasoning, that is deduction and abduction (and induction). In partic- ular, we focus on the abduction process and we show how it can be implemented with a (soft) constraint removal operator. As a running application example throughout the paper, we reason with access control policies and credentials. In this way, we can associate the level of preference de¯ned by the \softness" of the constraint with a \level" of trust. The main bene¯t comes during the process of automated access authorization based on trust: soft constraint operations can be easily adopted to measure the level of trust required for each operation. Moreover, when the level is not su±cient, abduction can be used to compute the missing credentials and the levels that grant the access, making the request a (weighted) logical consequence. The proposed framework can be used to automate the deduction-abduction negotiation processes.
Type de document :
Communication dans un congrès
International Conference on Autonomic and Trusted Computing (ATC 2010), Oct 2010, Xi'an, China. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00536688
Contributeur : Emmanuelle Grousset <>
Soumis le : mardi 16 novembre 2010 - 17:29:56
Dernière modification le : jeudi 18 novembre 2010 - 12:28:11
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:06:31

Fichier

ATC10-2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536688, version 1

Collections

Citation

Stefano Bistarelli, Fabio Martinelli, Francesco Santini. A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction. International Conference on Autonomic and Trusted Computing (ATC 2010), Oct 2010, Xi'an, China. 2010. 〈inria-00536688〉

Partager

Métriques

Consultations de la notice

560

Téléchargements de fichiers

91