A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista) (literal)

Anno

• 2012-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1016/j.camwa.2011.12.017 (literal)

Alternative label

• Bistarelli Stefano, Martinelli Fabio, Santini Francesco (2012)
  A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
  in Computers & mathematics with applications (1987); Elsevier, Oxford (Regno Unito)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bistarelli Stefano, Martinelli Fabio, Santini Francesco (literal)

Pagina inizio

• 447 (literal)

Pagina fine

• 462 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• ID_PUMA: cnr.iit/2012-A0-004 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.sciencedirect.com/science/article/pii/S0898122111010728 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 64 (literal)

Rivista

• Computers & mathematics with applications (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 4 (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Dipartimento di Matematica e Informatica, Università di Perugia, Italy; CNR-IIT, Pisa, Italy; Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (literal)

Titolo

• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (literal)

Abstract

• We present a variant of the View the MathML source language (we call it View the MathML source), 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 View the MathML source as the basis to give a uniform semantics to a weighted extension of the View the MathML source language family, called View the MathML source. 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. (literal)

Editore

• Elsevier (Editore)

Prodotto di

• Sicurezza dell'informazione (INT.P01.007.001) (Modulo)
• Istituto di informatica e telematica (IIT) (Istituto)

Autore CNR

• FABIO MARTINELLI (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Sicurezza dell'informazione (INT.P01.007.001) (Modulo)

Autore CNR di

• FABIO MARTINELLI (Unità di personale interno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Computers & mathematics with applications (Rivista)

Editore di

• Elsevier (Editore)

Insieme di parole chiave di

• Parole chiave di "A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials" (Insieme di parole chiave)