Home // International Journal On Advances in Internet Technology, volume 6, numbers 1 and 2, 2013 // View article

Formal Approach to Design and Automatic Verification of Cooperation-Based Networks

Authors:
Alessandro Aldini

Keywords: model checking, cooperation incentives, trust, remuneration, user-centric networks

Abstract:
The efficacy and efficiency of cooperation incentives in user-centric networks is a challenging issue that involves tradeoff among trust, social, and economic aspects. Two well-established approaches to stimulate resource sharing and cooperation rely on reputation and remuneration, the complementary functioning of which shall increase users' motivation and discourage mistrust and selfishness. In order to verify the benefits of the joint application of these mechanisms, we specify and analyze formally a recently proposed cooperation model by employing tool-supported probabilistic model checking techniques.

Pages: 42 to 56

Copyright: Copyright (c) to authors, 2013. Used with permission.

Publication date: June 30, 2013

Published in: journal

ISSN: 1942-2652