A Formal-Semantics-Based Calculus of Trust
- Already Purchased? View Article
- Subscription Options Learn More
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.
Published in:
Internet Computing, IEEE
(Volume:14
,
Issue:
5
)
Date of Publication: Sept.-Oct. 2010