A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
Research Area: | Uncategorized | Year: | 2012 |
---|---|---|---|
Type of Publication: | Article | ||
Authors: |
|
||
Journal: | Computers & Mathematics with Applications | ||
ISSN: | 0898-1221 | ||
Journal's impact factor: | 2.069 | ||
BibTex: |
|||
Note: | CNR; NESSoS;ANIKETOS;CONNECT; citations 2 |
||
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.. |
||
[Bibtex] |