Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
139 tokens/sec
GPT-4o
47 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Formal Verification for Blockchain-based Insurance Claims Processing (2402.13169v1)

Published 20 Feb 2024 in cs.CR

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.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (16)
  1. T. Catlin, J.-T. Lorenz, J. Nandan, S. Sharma, and A. Waschto, “Insurance beyond digital: The rise of ecosystems and platforms,” McKinsey & Company, 2018.
  2. “Hyperledger Fabric,” Accessed: October 20, 2023. Available at https://www.hyperledger.org/projects/fabric.
  3. M. I. Mehar, C. L. Shier, A. Giambattista, E. Gong, G. Fletcher, R. Sanayhie, H. M. Kim, and M. Laskowski, “Understanding a revolutionary and flawed grand experiment in blockchain: the dao attack,” Journal of Cases on Information Technology (JCIT), vol. 21, no. 1, pp. 19–32, 2019.
  4. S. Alqahtani, X. He, R. Gamble, and P. Mauricio, “Formal verification of functional requirements for smart contract compositions in supply chain management systems,” 2020.
  5. N. R. Bhamidipati, V. Vakkavanthula, G. Stafford, M. Dahir, R. Neupane, E. Bonnah, S. Wang, J. Murthy, K. A. Hoque, and P. Calyam, “Claimchain: Secure blockchain platform for handling insurance claims processing,” in 2021 IEEE International Conference on Blockchain (Blockchain).   IEEE, 2021, pp. 55–64.
  6. C.-I. Vasile, D. Aksaray, and C. Belta, “Time window temporal logic,” Theoretical Computer Science, vol. 691, pp. 27–54, 2017.
  7. “NuSMV: a new symbolic model checker,” https://nusmv.fbk.eu/.
  8. K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy et al., “Formal verification of smart contracts: Short paper,” in Proceedings of the 2016 ACM workshop on programming languages and analysis for security, 2016, pp. 91–96.
  9. S. Matsuo, “How formal analysis and verification add security to blockchain-based systems,” in 2017 Formal Methods in Computer Aided Design (FMCAD).   IEEE, 2017, pp. 1–4.
  10. T. Abdellatif and K.-L. Brousmiche, “Formal verification of smart contracts based on users and blockchain behaviors models,” in 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS).   IEEE, 2018, pp. 1–5.
  11. Y. Wang, S. K. Lahiri, S. Chen, R. Pan, I. Dillig, C. Born, I. Naseer, and K. Ferles, “Formal verification of workflow policies for smart contracts in azure blockchain,” in Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 11.   Springer, 2020, pp. 87–106.
  12. T. Sun and W. Yu, “A formal verification framework for security issues of blockchain smart contracts,” Electronics, vol. 9, no. 2, p. 255, 2020.
  13. Y. Murray and D. A. Anisi, “Survey of formal verification methods for smart contracts on blockchain,” in 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS).   IEEE, 2019, pp. 1–6.
  14. “Angular, The modern web developer’s platform,” Accessed: October 20, 2023. Available at https://angular.io/.
  15. S. Valluripally, A. Gulhane, R. Mitra, K. A. Hoque, and P. Calyam, “Attack trees for security and privacy in social virtual reality learning environments,” in 17th Annual Consumer Communications & Networking Conference (CCNC).   IEEE, 2020, pp. 1–9.
  16. “National Insurance Crime Bureau (NICB),” https://www.nicb.org/.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now