A formal-semantics-based calculus of trust

Jingwei Huang; David Nicol

doi:10.1109/MIC.2010.83

A formal-semantics-based calculus of trust

Research output: Contribution to journal › Article › peer-review

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.

Original language	English (US)
Article number	5477411
Pages (from-to)	38-46
Number of pages	9
Journal	IEEE Internet Computing
Volume	14
Issue number	5
DOIs	https://doi.org/10.1109/MIC.2010.83
State	Published - Sep 2010

Keywords

semantics of trust
trust modeling
uncertainties in trust

ASJC Scopus subject areas

Computer Networks and Communications

Online availability

10.1109/MIC.2010.83

Library availability

Discover UIUC Full Text

Cite this

@article{01371441476f4b3794644914d881c6f6,

title = "A formal-semantics-based calculus of trust",

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 = "semantics of trust, trust modeling, uncertainties in trust",

author = "Jingwei Huang and David Nicol",

note = "Funding Information: This work is partly supported by the US Department of Homeland Security through grant number 2006-CS-001-000001 under the auspices of the Institute for Information Infrastructure Protection (I3P) research program.",

year = "2010",

month = sep,

doi = "10.1109/MIC.2010.83",

language = "English (US)",

volume = "14",

pages = "38--46",

journal = "IEEE Internet Computing",

issn = "1089-7801",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "5",

}

TY - JOUR

T1 - A formal-semantics-based calculus of trust

AU - Huang, Jingwei

AU - Nicol, David

N1 - Funding Information: This work is partly supported by the US Department of Homeland Security through grant number 2006-CS-001-000001 under the auspices of the Institute for Information Infrastructure Protection (I3P) research program.

PY - 2010/9

Y1 - 2010/9

N2 - 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.

AB - 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.

KW - semantics of trust

KW - trust modeling

KW - uncertainties in trust

UR - http://www.scopus.com/inward/record.url?scp=77956378278&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956378278&partnerID=8YFLogxK

U2 - 10.1109/MIC.2010.83

DO - 10.1109/MIC.2010.83

M3 - Article

AN - SCOPUS:77956378278

SN - 1089-7801

VL - 14

SP - 38

EP - 46

JO - IEEE Internet Computing

JF - IEEE Internet Computing

IS - 5

M1 - 5477411

ER -

A formal-semantics-based calculus of trust

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this