- Title
- Formal modeling and verification of a blockchain-based crowdsourcing consensus protocol
- Creator
- Afzaal, Hamra; Imran, Muhammad; Janjua, Muhammad; Gochhayat, Sarada
- Date
- 2022
- Type
- Text; Journal article
- Identifier
- http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/197925
- Identifier
- vital:18932
- Identifier
-
https://doi.org/10.1109/ACCESS.2022.3141982
- Identifier
- ISSN:2169-3536 (ISSN)
- Abstract
- Crowdsourcing is an effective technique that allows humans to solve complex problems that are hard to accomplish by automated tools. Some significant challenges in crowdsourcing systems include avoiding security attacks, effective trust management, and ensuring the system's correctness. Blockchain is a promising technology that can be efficiently exploited to address security and trust issues. The consensus protocol is a core component of a blockchain network through which all the blockchain peers achieve an agreement about the state of the distributed ledger. Therefore, its security, trustworthiness, and correctness have vital importance. This work proposes a Secure and Trustworthy Blockchain-based Crowdsourcing (STBC) consensus protocol to address these challenges. Model checking is an effective and automatic technique based on formal methods that is utilized to ensure the correctness of STBC consensus protocol. The proposed consensus protocol's formal specification is described using Communicating Sequential Programs (CSP#). Safety, fault tolerance, leader trust, and validators' trust are important properties for a consensus protocol, which are formally specified through Linear Temporal Logic (LTL) to prevent several security attacks, such as blockchain fork, selfish mining, and invalid block insertion. Process Analysis Toolkit (PAT) is utilized for the formal verification of the proposed consensus protocol. © 2022 Institute of Electrical and Electronics Engineers Inc.. All rights reserved.
- Publisher
- Institute of Electrical and Electronics Engineers Inc.
- Relation
- IEEE Access Vol. 10, no. (2022), p. 8163-8183
- Rights
- All metadata describing materials held in, or linked to, the repository is freely available under a CC0 licence
- Rights
- https://creativecommons.org/licenses/by/4.0/
- Rights
- Copyright © 2022 Institute of Electrical and Electronics Engineers Inc
- Rights
- Open Access
- Subject
- 40 Engineering; 46 Information and computing sciences; Computational modeling; Consensus protocol; Crowdsourcing; Peer-to-peer computing; Protocols; Security; Task analysis
- Full Text
- Reviewed
- Hits: 403
- Visitors: 403
- Downloads: 6
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | SOURCE1 | Published version | 7 MB | Adobe Acrobat PDF | View Details Download |