World Wide Web Journal - Special issue: Web security: a matter of trust
A Social Mechanism of Reputation Management in Electronic Communities
CIA '00 Proceedings of the 4th International Workshop on Cooperative Information Agents IV, The Future of Information Agents in Cyberspace
Supporting Trust in Virtual Communities
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Decentralized Trust Management
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Propagation of trust and distrust
Proceedings of the 13th international conference on World Wide Web
Trust Dynamics: How Trust Is Influenced by Direct Experiences and by Trust Itself
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
The Knowledge Engineering Review
Toward establishing trust in adaptive agents
Proceedings of the 13th international conference on Intelligent user interfaces
Trust transferability among similar contexts
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks
Cross-Situation Trust Reasoning
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A calculus of trust and its application to PKI and identity management
Proceedings of the 8th Symposium on Identity and Trust on the Internet
Situation-aware trust management
Proceedings of the third ACM conference on Recommender systems
Privacy in a Semantic Cloud: What's Trust Got to Do with It?
CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing
Proceedings of the 14th Annual International Conference on Electronic Commerce
TRUST'12 Proceedings of the 5th international conference on Trust and Trustworthy Computing
Bayesian Inference in Trust Networks
ACM Transactions on Management Information Systems (TMIS)
Facilitating contagion trust through tools in Global Systems Engineering teams
Information and Software Technology
Inferring and validating skills and competencies over time
Applied Ontology
| Hi-index | 0.00 |
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes trust a crucial factor on the Web. Basically trust is established in interaction between two entities and any one entity only has a finite number of direct trust relationships. However, activities on the Web require entities to interact with other unfamiliar or unknown entities. As a promising remedy to this problem, social networks-based trust, in which A trusts B, B trusts C, so A indirectly trusts C, is receiving considerable attention. A necessary condition for trust propagation in social networks is that trust needs to be transitive. However, is trust transitive? What types of trust are transitive and why? There are no theories and models found so far to answer these questions in a formal manner. Most models either directly assume trust transitive or do not give a formal discussion of why trust is transitive. To fill this gap, this paper constructs a logical theory of trust in the form of ontology that gives formal and explicit specification for the semantics of trust. Based on this formal semantics, two types of trust -- trust in belief and trust in performance are identified, the transitivity of trust in belief is formally proved, and the conditions for trust propagation are derived. These results give theoretical evidence to support making trust judgment using social networks on the Web.