集体自适应系统中信任和信誉的形式化建模框架
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
摘要：
分布式协作系统的信任和声誉模型已经在多个领域得到了研究和应用，以促进合作，同时防止自私和恶意行为。尽管如此，这种模型在正式指定和分析上述系统功能的过程中受到的关注较少。本文的目的是定义一个过程代数框架的建模系统，使用（i）信任和声誉来管理节点之间的交互，和（ii）通信模型的特点是高层次的自适应性和灵活性。因此，我们提出了一个形式主义的验证，通过模型检验技术，这些系统的鲁棒性方面进行的典型攻击对Web的信任。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
