RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems

Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie

Research output: Contribution to journalArticlepeer-review

6 Scopus citations


A challenge in designing cooperative distributed systems is to develop feasible and cost-effective mechanisms to foster cooperation among selfish nodes, i.e., nodes that strategically deviate from the intended specification to increase their individual utility. Finding a satisfactory solution to this challenge may be complicated by the intrinsic characteristics of each system, as well as by the particular objectives set by the system designer. Our previous work addressed this challenge by proposing RACOON, a general and semi-Automatic framework for designing selfishness-resilient cooperative systems. RACOON relies on classical game theory and a custom built simulator to predict the impact of a fixed set of selfish behaviours on the designer's objectives. In this paper, we present RACOON++, which extends the previous framework with a declarative model for defining the utility function and the static behaviour of selfish nodes, along with a new model for reasoning on the dynamic interactions of nodes, based on evolutionary game theory. We illustrate the benefits of using RACOON++ by designing three cooperative systems: A peer-To-peer live streaming system, a load balancing protocol, and an anonymous communication system. Extensive experimental results using the state-of-The-Art PeerSim simulator verify that the systems designed using RACOON++ achieve both selfishness-resilience and high performance.

Original languageBritish English
Article number7932152
Pages (from-to)635-650
Number of pages16
JournalIEEE Transactions on Dependable and Secure Computing
Issue number4
StatePublished - 1 Jul 2019


Dive into the research topics of 'RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems'. Together they form a unique fingerprint.

Cite this