A Formal-Semantics-Based Calculus of Trust

Authors:
Jingwei Huang;David Nicol
Affiliations:
University of Illinois at Urbana-Champaign,;University of Illinois at Urbana-Champaign,
Venue:
IEEE Internet Computing
Year:
2010

Citing 0
Cited 3

Improving PGP Web of Trust through the Expansion of Trusted Neighborhood

WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Addressing common vulnerabilities of reputation systems for electronic commerce

Journal of Theoretical and Applied Electronic Commerce Research
Secure collaboration in global design and supply chain environment: Problem analysis and literature review

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.