Issue No. 05 - September/October (2010 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIC.2010.83
David Nicol , University of Illinois at Urbana-Champaign,
Jingwei Huang , 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.
trust modeling; semantics of trust; uncertainties in trust
David Nicol, Jingwei Huang, "A Formal-Semantics-Based Calculus of Trust", IEEE Internet Computing, vol. 14, no. , pp. 38-46, September/October 2010, doi:10.1109/MIC.2010.83