- Title
- Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol
- Creator
- Afzaal, Hamra; Imran, Muhammad; Janjua, Muhammad
- Date
- 2022
- Type
- Text; Journal article
- Identifier
- http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/192280
- Identifier
- vital:17945
- Identifier
-
https://doi.org/10.1016/j.comcom.2022.06.014
- Identifier
- ISSN:0140-3664 (ISSN)
- Abstract
- Crowdsourcing is a potential computing paradigm that exploits collective human intelligence to solve complex tasks, but it suffers from various safety and security problems. Blockchain has emerged as a promising technology to address most of the security issues, however, it is challenging to find an appropriate and trusted blockchain-based consensus protocol for crowdsourcing services. This work proposes a novel Trust-based Blockchain Crowdsourcing consensus protocol that selects a leader and validators based on various trust factors. The proposed protocol addresses a major issue of ensuring correctness associated with the safety and security-critical systems which has a vital importance because failure of such systems may lead to adverse consequences. Mainly it is focused on persistence and liveness properties preventing invalid block insertion and consensus delay attacks. Model checking technique is utilized because of its effectiveness and automatic nature to perform formal verification. The proposed protocol is specified using Communicating Sequential Programs, and the persistence and liveness properties are specified through Linear Temporal Logic. The model verification is performed by giving the formal model and the properties as input to the Process Analysis Toolkit which checks for the satisfaction or violation of the properties. © 2022 Elsevier B.V.
- Publisher
- Elsevier B.V.
- Relation
- Computer Communications Vol. 192, no. (2022), p. 384-401
- Rights
- All metadata describing materials held in, or linked to, the repository is freely available under a CC0 licence
- Rights
- Copyright © 2022 Elsevier B.V.
- Subject
- 4006 Communications engineering; 4009 Electronics, sensors and digital hardware; 4606 Distributed computing and systems software; Blockchain; Crowdsourcing; Liveness; Model checking; Persistence
- Reviewed
- Funder
- This research project was partially funded by the National Center for Cyber Security (NCCS) Blockchain Lab at Information Technology University (ITU), Punjab, Pakistan.
- Hits: 381
- Visitors: 323
- Downloads: 0
Thumbnail | File | Description | Size | Format |
---|