A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials

Abstract : We present a variant of the Datalog language (we call it DatalogW), which is able to deal with weights on ground facts. The weights are chosen from a semiring algebraic structure. Our goal is to use this language as a semantic foundation for trust-management languages, in order to express trust relationships associated with a preference (e.g., a cost, an uncertainty, a trust or a fuzzy value). We apply DatalogW as the basis to give a uniform semantics to a weighted extension of the RT language family, called RTW. Moreover, we show that we can model the deduction and abduction reasoning with semiring-based soft constraints: deduction can validate or not the access request, while abduction can be used to compute the missing credentials if the access is denied and the level of preference that would grant the access.
Type de document :
Article dans une revue
Computer and mathematics with applications, Elsevier, 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00662587
Contributeur : Ilaria Matteucci <>
Soumis le : mardi 24 janvier 2012 - 15:02:49
Dernière modification le : vendredi 27 janvier 2012 - 09:54:05
Document(s) archivé(s) le : lundi 19 novembre 2012 - 14:30:33

Fichier

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

Identifiants

  • HAL Id : hal-00662587, version 1

Collections

Citation

Stefano Bistarelli, Fabio Martinelli, Francesco Santini. A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials. Computer and mathematics with applications, Elsevier, 2012. 〈hal-00662587〉

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

103