Title :
A Formal-Semantics-Based Calculus of Trust
Author :
Huang, Jingwei ; Nicol, David M.
Author_Institution :
Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
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.
Keywords :
Internet; data privacy; process algebra; public key cryptography; Internet-based distributed computing; decentralized public-key certification; formal semantic based calculus of trust; formal trust model; logic model; pretty good privacy system; trust decision-making; Calculus; Certification; Decision making; Dentistry; Grid computing; IP networks; Logic; Uncertainty; Web and internet services; Web services; semantics of trust; trust modeling; uncertainties in trust;
Journal_Title :
Internet Computing, IEEE
DOI :
10.1109/MIC.2010.83
