Semantic Constraints for Trust Transitivity

To describe the concept of transitive trust in a simplified way, assume that agent A trusts agent B, and that agent B trusts agent C, then by transitivity, agent A trusts agent C. Trust transitivity manifests itself in various forms during real life human interaction, but can be challenging to concisely model in a formal way. In this paper we describe principles for expressing and analysing transitive trust networks, and define requirements for their validity. This framework can be used for modelling transitive trust in computerised interactions, and can be combined with algebras and algorithms for computing propagation of both trust and distrust. This is illustrated by an example where transitive trust is mathematically analysed with belief calculus.

[1]  Munindar P. Singh,et al.  Dynamic communities in referral networks , 2003, Web Intell. Agent Syst..

[2]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[3]  N. Luhmann,et al.  Trust: Making and Breaking Cooperative Relations , 1990 .

[4]  Audun Jøsang,et al.  Analysing the Relationship between Risk and Trust , 2004, iTrust.

[5]  A. Josang,et al.  Conditional inference in subjective logic , 2003, Sixth International Conference of Information Fusion, 2003. Proceedings of the.

[6]  Kurt Rothermel,et al.  Architecture and Algorithms for a Distributed Reputation System , 2003, iTrust.

[7]  Daniel W. Manchala,et al.  Trust metrics, models and protocols for electronic commerce transactions , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[8]  Philip R. Zimmermann,et al.  The official PGP user's guide , 1996 .

[9]  Yong Chen,et al.  Using Trust for Secure Collaboration in Uncertain Environments , 2003, IEEE Pervasive Comput..

[10]  Audun Jøsang,et al.  A Logic for Uncertain Probabilities , 2001, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[11]  Stephen Hailes,et al.  A distributed trust model , 1998, NSPW '97.

[12]  Diego Gambetta.  Can We Trust Trust , 2000 .

[13]  C. Castelfranchi,et al.  Social Trust : A Cognitive Approach , 2000 .

[14]  Audun J sang,et al.  An Algebra for Assessing Trust in Certi cation Chains , 1998 .

[15]  O. Williamson.  Calculativeness, Trust, and Economic Organization , 1993, The Journal of Law and Economics.

[16]  N. L. Chervany,et al.  THE MEANINGS OF TRUST , 2000 .

[17]  Audun Jøsang,et al.  Multiplication and comultiplication of beliefs , 2005, Int. J. Approx. Reason..

[18]  Bruce Christianson,et al.  Why Isn't Trust Transitive? , 1996, Security Protocols Workshop.

[19]  Audun Jøsang,et al.  Simulating the Effect of Reputation Systems on E-markets , 2003, iTrust.

[20]  A. Jøsang.  Subjective Evidential Reasoning � , 2002 .

[21]  Vladimiro Sassone,et al.  A formal model for trust in dynamic networks , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[22]  Thomas Beth,et al.  Valuation of Trust in Open Networks , 1994, ESORICS.

[23]  P. Vannoorenberghe,et al.  Strategies for combining conflicting dogmatic beliefs , 2003, Sixth International Conference of Information Fusion, 2003. Proceedings of the.

[24]  Ueli Maurer,et al.  Confidence Valuation in a Public-Key Infrastructure Based on Uncertain Evidence , 2000, Public Key Cryptography.

[25]  Christian Damsgaard Jensen,et al.  Towards a Framework for Assessing Trust-Based Admission Control in Collaborative Ad Hoc Applications , 2002 .

[26]  Audun Jøsang,et al.  The right type of trust for distributed systems , 1996, NSPW '96.

[27]  Audun Jøsang,et al.  An Algebra for Assessing Trust in Certification Chains , 1999, NDSS.