Towards a Formal Framework for Computational Trust

DOI10.1007/978-3-540-74792-5_8MaRDI QIDQ3525111zbMATH OpenOpenAlexFDO

Authors Vladimiro Sassone, Mogens Nielsen, Karl Krukow

Publication date 17 September 2008

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74792-5_8

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• A Bayesian model for event-based trust
• An analysis of the exponential decay principle in probabilistic trust models
• Trust Management
• A model of trust based on uncertainty theory
• Review on computational trust and reputation models

Cited in

(12)

• A formal apparatus for modeling trust in computing environments
• A Bayesian model for event-based trust
• A new kind of subjective trust model
• Don't know for multi-valued systems
• Trust in the λ-calculus
• The reputation evaluation based on optimized hidden Markov model in E-commerce
• A model of trust based on uncertainty theory
• Towards an Integrated Formal Analysis for Security and Trust
• A Formal Derivation of Composite Trust
• A vector model of trust for developing trustworthy systems
• Robustness evaluation of trust and reputation systems using a deep reinforcement learning approach
• An analysis of the exponential decay principle in probabilistic trust models

This page was built for publication: Towards a Formal Framework for Computational Trust

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525111)