A Formal-Semantics-Based Calculus of Trust

被引：41

作者：

Huang, Jingwei ^{[1
]}

Nicol, David M. ^{[1
]}

机构：

[1] Univ Illinois, Informat Trust Inst, Urbana, IL 61801 USA

来源：

IEEE INTERNET COMPUTING | 2010年 / 14卷 / 05期

关键词：

REPUTATION; DISTRUST; LOGIC; WEB;

D O I：

10.1109/MIC.2010.83

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：38 / 46

页数：9

共 15 条

[1] A survey of trust in computer science and the Semantic Web [J].

Artz, Donovan ;

Gil, Yolanda .

JOURNAL OF WEB SEMANTICS, 2007, 5 (02) :58-71

[2] Logic of authentication [J].

Burrows, Michael ;

Abadi, Martin ;

Needham, Roger .

Operating Systems Review (ACM), 1989, 23 (05) :1-13

[3] A Framework for Trust and Reputation in Grid Environments [J].

Eymann, Torsten ;

Koenig, Stefan ;

Matros, Raimund .

JOURNAL OF GRID COMPUTING, 2008, 6 (03) :225-237

[4]

HAJEK A, 2001, PHILOS LOGIC, P362

[5]

HUANG J, 2006, P 8 INT C EL COMM IC

[6]

HUANG J, 2009, P 8 S ID TRUST INT I

[7]

Josang A., 2006, Web Intelligence and Agent Systems, V4, P139

[8]

Kamvar S. D., 2003, P 12 INT C WORLD WID, P640

[9] Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation [J].

Liau, CJ .

ARTIFICIAL INTELLIGENCE, 2003, 149 (01) :31-60

[10] Reputation Bootstrapping for Trust Establishment among Web Services [J].

Malik, Zaki ;

Bouguettaya, Athman .

IEEE INTERNET COMPUTING, 2009, 13 (01) :40-47

← 1 2 →