Author:
Mendes Paulo,Moreira Waldir,Jamal Tauseef,Haci Huseyin,Zhu Huiling
Publisher
Springer International Publishing
Reference29 articles.
1. Aldini A (2013) Formal approach to design and automatic verification of cooperation-based networks. IARIA Int J Adv Internet Technol 6(1, 2):42–56
2. Aldini A, Bogliolo A (2012) Model checking of trust-based user-centric cooperative networks. In: 4th international conference on advances in future internet (AFIN), IARIA, pp 32–41
3. Aldini A, Bogliolo A (2012) Trading performance and cooperation incentives in user-centric networks. In: International workshop on quantitative aspects in security assurance (QASA’12), Pisa
4. Aldini A, Bogliolo A (2014) Modeling and verification of cooperation incentive mechanisms in user-centric wireless communications. In: Rawat D, Bista B, Yan G (eds) Security, privacy, trust, and resource management in mobile and wireless communications, IGI Global, pp 432–461
5. Bogliolo A, Polidori P, Aldini A, Moreira W, Mendes P, Yildiz M, Ballester C, Seigneur J-M (2012) Virtual currency and reputation-based cooperation incentives in user-centric networks. In: Proceedings of IEEE wireless communications and mobile computing conference (IWCMC-2012), Cyprus, pp 895–900, Aug 2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献