2008 Third International Conference on Availability, Reliability and Security (2008)
Mar. 4, 2008 to Mar. 7, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2008.197
We extend the Datalog language (we call it Datalog^W)in order to deal with weights on ground facts and to consequently compute a feedback result for the goal satisfaction. The weights are chosen from a proper c-semiring. As a second step, in order to show the usefulness of the language, we use DatalogW as the basis to give a uniform semantics to declarative RTW (Trust Management) language family, in order to represent trust levels based on c-semirings. In this way it is possible to manage a score corresponding to a preference or cost associated to the revealed credentials, instead of a plain “yes or no” authorization result. Clearly, such a solution is more informative and allows us to treat uncertainty of facts and rules application, or different preferencesfor the entity roles. Trust can be then derived by choosing the best chain. The approach is rather generic and could be applied to other trust management languages.
F. Martinelli, S. Bistarelli and F. Santini, "Weighted Datalog and Levels of Trust," 2008 Third International Conference on Availability, Reliability and Security(ARES), vol. 00, no. , pp. 1128-1134, 2008.