Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Formal Framework for Modeling Trust and Reputation in Collective
  Adaptive Systems   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.

36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin