A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

Content Provider	Directory of Open Access Journals (DOAJ)
Author	Alessandro Aldini
Abstract	Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and malicious behaviors. Nonetheless, such models have received less attention in the process of specifying and analyzing formally the functionalities of the systems mentioned above. The objective of this paper is to define a process algebraic framework for the modeling of systems that use (i) trust and reputation to govern the interactions among nodes, and (ii) communication models characterized by a high level of adaptiveness and flexibility. Hence, we propose a formalism for verifying, through model checking techniques, the robustness of these systems with respect to the typical attacks conducted against webs of trust.
Related Links	http://arxiv.org/pdf/1607.02232v1
e-ISSN	20752180
DOI	10.4204/EPTCS.217.4
Journal	Electronic Proceedings in Theoretical Computer Science
Issue Number	Proc. FORECAST 2016
Volume Number	217
Language	English
Publisher	Open Publishing Association
Publisher Date	2016-01-01
Publisher Place	Australia
Access Restriction	Open
Subject Keyword	Mathematics Electronic Computers. Computer Science
Content Type	Text
Resource Type	Article