A Formal-Semantics-Based Calculus of Trust.

Jingwei Huang David M. Nicol

Published in: IEEE Internet Comput. (2010)

Keyphrases

formal language
trust model
trust evaluation
formal representation
formal specification
formal methods
mathematical theory
data sets
website
formal model
virtual communities
trust management
relational calculus
internet commerce
trust propagation