What this work contributes
Models blockchain-based insurance claims processing and checks the underlying chaincodes using linear temporal logic and model checking. The modeled stages include issuing claims, approving or denying them, and flagging claims for fraud investigation.
When to read this work
Read this when studying formal verification of blockchain workflows that coordinate multiple participants, particularly insurance claims and their transaction-processing logic.
Topics: Formal verification · Blockchain · Model checking · Insurance claims
Abstract
Insurance claims processing involves multi-domain entities and multi-source data, along with a number of human-agent interactions. Use of Blockchain technology-based platform can significantly improve scalability and response time for processing of claims which are otherwise manually-intensive and time-consuming. However, the chaincodes involved within the processes that issue claims, approve or deny them as required, need to be formally verified to ensure secure and reliable processing of transactions in Blockchain. In this paper, we use a formal modeling approach to verify various processes and their underlying chaincodes relating to different stages in insurance claims processing viz., issuance, approval, denial, and flagging for fraud investigation by using linear temporal logic (LTL). We simulate the formalism on the chaincodes and analyze the breach of chaincodes via model checking.
Cite this work
Download BibTeX · Download RIS
@inproceedings{neupane2024noms,
title = {Formal Verification for Blockchain-based Insurance Claims Processing},
author = {Neupane, Roshan Lal and Bonnah, Ernest and Bhusal, Bishnu and Neupane, Kiran and Hoque, Khaza Anuarul and Calyam, Prasad},
booktitle = {NOMS 2024 - 2024 IEEE Network Operations and Management Symposium},
pages = {1--5},
year = {2024},
month = may,
publisher = {IEEE},
doi = {10.1109/NOMS59830.2024.10575641},
url = {https://doi.org/10.1109/NOMS59830.2024.10575641},
eprint = {2402.13169},
archiveprefix = {arXiv}
}