HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Calculus for Trust and Reputation Systems

Abstract : Trust and reputation models provide soft-security mechanisms that can be used to induce cooperative behaviors in user-centric communities in which user-generated services and resources are shared. The effectiveness of such models depends on several, orthogonal aspects that make their analysis a challenging issue. This paper aims to provide support to the design of trust and reputation infrastructures and to verify their adequacy in the setting of software architectures and computer networks underlying online communities. This is done by proposing a formal framework encompassing a calculus of concurrent systems, a temporal logic for trust, and model checking techniques.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01381686
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 14, 2016 - 3:21:10 PM
Last modification on : Sunday, December 17, 2017 - 4:40:01 PM

File

978-3-662-43813-8_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Alessandro Aldini. A Calculus for Trust and Reputation Systems. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.173-188, ⟨10.1007/978-3-662-43813-8_12⟩. ⟨hal-01381686⟩

Share

Metrics

Record views

25

Files downloads

84