DMCA
Model checking of trust-based usercentric cooperative networks (2012)
| Venue: | In AFIN 2012, The Fourth International Conference on Advances in Future Internet |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Aldini12modelchecking,
author = {Ro Aldini and Ro Bogliolo},
title = {Model checking of trust-based usercentric cooperative networks},
booktitle = {In AFIN 2012, The Fourth International Conference on Advances in Future Internet},
year = {2012}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 remu-neration (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. Keywords-trust, virtual currency, model checking, user-centric networks. I.
Keyphrases
model checking trust-based usercentric cooperative network user-centric network virtual currency joint application formal study user motivation several performance property markov process semantics fiat money cooperation incentive mechanism user-centric wireless network cooperation model selfish behavior reputation-based incentive complementary incentive mechanism probabilistic system
