A formal-semantics-based calculus of trust

Jingwei Huang, David Nicol

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Article number5477411
Pages (from-to)38-46
Number of pages9
JournalIEEE Internet Computing
Issue number5
StatePublished - Sep 2010


  • semantics of trust
  • trust modeling
  • uncertainties in trust

ASJC Scopus subject areas

  • Computer Networks and Communications


Dive into the research topics of 'A formal-semantics-based calculus of trust'. Together they form a unique fingerprint.

Cite this