Home // AFIN 2012, The Fourth International Conference on Advances in Future Internet // View article

Model Checking of Trust-Based User-Centric Cooperative Networks

Authors:
Alessandro Aldini
Alessandro Bogliolo

Keywords: trust, virtual currency, model checking, user-centric networks

Abstract:
The success of user-centric networks depends on the willingness of the participants to cooperate by sharing resources and services. Reputation-based incentives and remuneration (based either on fiat money or on virtual currency) have emerged as two complementary incentive mechanisms to increase users' motivation and to discourage selfish behaviors. In this paper, we conduct a formal study of the benefits of the joint application of these two mechanisms in the context of a cooperation model recently proposed for user-centric wireless networks. To this purpose, several performance properties of cooperation incentives mechanisms are defined and analyzed through model checking of probabilistic systems with an underlying Markov process semantics.

Pages: 32 to 41

Copyright: Copyright (c) IARIA, 2012

Publication date: August 19, 2012

Published in: conference

ISSN: 2308-4340

ISBN: 978-1-61208-211-0

Location: Rome, Italy

Dates: from August 19, 2012 to August 24, 2012