Formal Verification for Blockchain-based Insurance Claims Processing
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917594463731712 |
|---|---|
| author | Neupane, Roshan Lal Bonnah, Ernest Bhusal, Bishnu Neupane, Kiran Hoque, Khaza Anuarul Calyam, Prasad |
| author_facet | Neupane, Roshan Lal Bonnah, Ernest Bhusal, Bishnu Neupane, Kiran Hoque, Khaza Anuarul Calyam, Prasad |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_13169 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Formal Verification for Blockchain-based Insurance Claims Processing Neupane, Roshan Lal Bonnah, Ernest Bhusal, Bishnu Neupane, Kiran Hoque, Khaza Anuarul Calyam, Prasad Cryptography and Security 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. |
| title | Formal Verification for Blockchain-based Insurance Claims Processing |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2402.13169 |