A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily

In this paper, we present a variant of Datalog language (we call it DatalogW) able 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. In our context, our goal is to use this language as a semantic foundation for languages for expressing trust relationships. As a matter of fact, many of them have a semantics given in terms of crisp constraints: our approach is to extend them to cover also the soft case. Thus, we apply DatalogWas the basis to give a uniform semantics to declarative RTW(Trust Management) language family. The approach is rather generic and could be applied to other trust management languages based on Datalog, as a semantic sublayer to represent trust management languages where the trust level is relevant.

[1]  Ninghui Li,et al.  DATALOG with Constraints: A Foundation for Trust Management Languages , 2003, PADL.

[2]  John S. Baras,et al.  Trust evaluation in ad-hoc networks , 2004, WiSe '04.

[3]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[4]  John DeTreville,et al.  Binder, a logic-based security language , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[5]  Fabio Martinelli,et al.  Fine Grained Access Control with Trust and Reputation Management for Globus , 2007, OTM Conferences.

[6]  Trevor Jim,et al.  SD3: a trust management system with certified evaluation , 2001, Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.

[7]  Francesca Rossi,et al.  Semiring-based constraint logic programming: syntax and semantics , 2001, TOPL.

[8]  Francesca Rossi,et al.  Semiring-based constraint solving and optimization , 1997 .

[9]  N. Shahmehri,et al.  An Integration of Reputation-based and Policy-based Trust Management , 2005 .

[10]  Stefano Bistarelli.  Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.

[11]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[12]  Martin C. Cooper,et al.  The complexity of soft constraint satisfaction , 2006, Artif. Intell..

[13]  Ninghui Li,et al.  Design of a role-based trust-management framework , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[14]  Stefano Bistarelli,et al.  Weighted Datalog and Levels of Trust , 2008, 2008 Third International Conference on Availability, Reliability and Security.

[15]  Indrajit Ray,et al.  TrustBAC: integrating trust relationships into the RBAC model for access control in open systems , 2006, SACMAT '06.

[16]  Joan Feigenbaum,et al.  Delegation logic: A logic-based approach to distributed authorization , 2003, TSEC.