Papers
Topics
Authors
Recent
Detailed Answer
Quick Answer
Concise responses based on abstracts only
Detailed Answer
Well-researched responses based on abstracts and relevant paper content.
Custom Instructions Pro
Preferences or requirements that you'd like Emergent Mind to consider when generating responses
Gemini 2.5 Flash
Gemini 2.5 Flash 77 tok/s
Gemini 2.5 Pro 33 tok/s Pro
GPT-5 Medium 25 tok/s Pro
GPT-5 High 27 tok/s Pro
GPT-4o 75 tok/s Pro
Kimi K2 220 tok/s Pro
GPT OSS 120B 465 tok/s Pro
Claude Sonnet 4 36 tok/s Pro
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/.
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Summary

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

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

Follow-Up Questions

We haven't generated follow-up questions for this paper yet.

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