This Article 
 Bibliographic References 
 Add to: 
A Formal-Semantics-Based Calculus of Trust
September/October 2010 (vol. 14 no. 5)
pp. 38-46
Jingwei Huang, University of Illinois at Urbana-Champaign,
David Nicol, University of Illinois at Urbana-Champaign,
Building trust models based on a well-defined semantics of trust is important so that we can avoid misinterpretation, misuse, or inconsistent use of trust in Internet-based distributed computing. The authors present an approach to a formal-semantics-based calculus of trust, from conceptualization to logical formalization, from logic model to quantification of uncertainties, and from quantified trust to trust decision-making. They also explore how to apply a formal trust model to a PGP (Pretty Good Privacy) system to develop decentralized public-key certification and verification.

1. Z. Malik and A. Bouguettaya, "Reputation Bootstrapping for Trust Establishment among Web Services," IEEE Internet Computing, vol. 13, no. 1, 2009, pp. 40–47.
2. S.D. Kamvar, M.T. Schlosser, and H. Garcia-Molina, "The Eigen Trust Algorithm for Reputation Management in P2P Networks," Proc. World Wide Web Conf. (WWW 03), ACM Press, 2003, pp. 640–651; http://portal.acm.orgcitation.cfm?id=775152.775242 .
3. T. Eymann, S. Konig, and R. Matros, "A Framework for Trust and Reputation in Grid Environments," J. Grid Computing, vol. 6, no. 3, 2008, pp. 225–237.
4. C.-N. Ziegler and G. Lausen, "Propagation Models for Trust and Distrust in Social Networks," Information Systems Frontiers, vol. 7, nos. 4–5, 2005, pp. 337–358.
5. D. Artz and Y. Gil, "A Survey of Trust in Computer Science and the Semantic Web," J. Web Semantics, vol. 5, no. 2, 2007, pp. 58–71.
6. R. Mayer, J. Davis, and F. Schoorman, "An Integrative Model of Organizational Trust: Past, Present, and Future," Academic of Management Rev., vol. 20, no. 3, 1995, pp. 709–734.
7. Y. Shaoham, Reasoning About Change, MIT Press, 1988.
8. S.P. Marsh and M.R. Debben, "Trust, Untrust, Distrust and Mistrust — An Exploration of the Dark(er) Side," Proc. 3rd Int'l Conf. Trust Management (iTrust 05), LNCS 3477, Springer, 2005, pp. 17–33.
9. A. Hajek, "Probability, Logic, and Probability Logic," Philosophical Logic, L. Goble, ed., Blackwell Publishing, 2001, pp. 362–384.
10. J. Huang and D. Nicol, "A Calculus of Trust and Its Application to PKI and Identity Management," Proc. 8th Symp. Identity and Trust on the Internet (IDTrust 09), ACM Press, 2009; http://portal.acm.orgcitation.cfm?id=1527017.1527021 .
11. P. Zimmermann, The Offcial PGP User's Guide, MIT Press, 1995.
12. J. Huang and M.S. Fox, "An Ontology of Trust — Formal Semantics and Transitivity," Proc. 8th Int'l Conf. Electronic Commerce (ICEC 06), ACM Press, 2006; http://portal.acm.orgcitation.cfm?id=1151454.1151499 .

Index Terms:
trust modeling; semantics of trust; uncertainties in trust
Jingwei Huang, David Nicol, "A Formal-Semantics-Based Calculus of Trust," IEEE Internet Computing, vol. 14, no. 5, pp. 38-46, Sept.-Oct. 2010, doi:10.1109/MIC.2010.83
Usage of this product signifies your acceptance of the Terms of Use.