A Formal-Semantics-Based Calculus of Trust

Author

Huang, Jingwei ; Nicol, David M.

Author_Institution

Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA

Volume

14

Issue

5

fYear

2010

Firstpage

38

Lastpage

46

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;

fLanguage

English

Journal_Title

Internet Computing, IEEE

Publisher

ieee

ISSN

1089-7801

Type

jour

DOI

10.1109/MIC.2010.83

Filename

5477411