Skip to main content
SpringerLink
Log in

Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN

  • Conference paper
  • First Online:
Computational Science and Its Applications – ICCSA 2021 (ICCSA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12954))

Included in the following conference series:

  • 1541 Accesses

Abstract

During this prevailing generation of the digital world, mobile users are multiplying globally by leaps and bounds. A mobile banking system is an electronic channel for Electronic Banking (E-Banking) all over the world. The utility of mobile banking systems has become one of the innovations to transform financial institutions from the traditional to the digital world with all the banking services. However, financial institutions do not provide enhanced banking services and electronic cheques using the mobile banking system globally. This paper proposes a new contactless mobile banking system (C-MBS) that integrates enhanced banking services with novel functions like electronic cheques, registration of the user, and cancellation of the user account included in the model. This paper develops an extended finite state machine model with parameters, variables, and constraints for C-MBS. This paper also develops a verification model of C-MBS with system properties specified utilizing process meta language (PROMELA) and security properties applying linear temporal logic (LTL). A simple promela interpreter (SPIN) is employed to verify the verification model of C-MBS. SPIN verification results confirm that the proposed C-MBS model is free from deadlocks and errors. Hence, the financial institutions can implement this model as a secure enhanced mobile banking system in E-banking. Banking users can use the enhanced banking services remotely using C-MBS on mobile and will play a significant role towards a cashless society in the digital world.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Obaid, I., Kazmi, S., Qasim, A.: Modeling and verification of payment system in E-banking. Int. J. Adv. Comput. Sci. Appl. 8(8), 195–201 (2017). https://doi.org/10.14569/IJACSA.2017.080825

    Article  Google Scholar 

  2. Shi, H., Ma, W., Yang, M., Zhang, X.: A case study of model checking retail banking system with SPIN. J. Comput. 7(10), 2503–2510 (2012). https://doi.org/10.4304/jcp.7.10.2503-2510

  3. Zhang, W., Ma, W., Shi, H., Zhu, F.: Model checking and verification of the Internet payment system with spin. J. Softw. 7(9),1941–1949 (2012). https://doi.org/10.4304/jsw.7.9.1941-1949

  4. Ahamad, S.S., Udgata, S.K., Sastry, V.N.: A new mobile payment system with formal verification. Int. J. Internet Technol. Secur. Trans. 4(1), 71–103 (2012). https://doi.org/10.1504/IJITST.2012.045153

    Article  Google Scholar 

  5. Shaikh, R., And, A., Devane, S.: Formal verification of payment protocol using AVISPA. Int. J. Inf. 3(3), 326–337 (2010). https://doi.org/10.20533/iji.1742.4712.2010.0035

  6. Hegde, M.S., Jnanamurthy, H.K., J., Singh, S.: Modeling and verification of extensible authentication protocol using SPIN model checker. Int. J. Netw. Secur. Appl. 4(6), 81–98 (2012). https://doi.org/10.5121/ijnsa.2012.4606

  7. Ciurea, C.: The development of a mobile application in a collaborative banking system. Inf. Econ. 14(3), 86–97 (2010)

    Google Scholar 

  8. Aithal, P.S.: A comparison of ideal banking model with mobile banking system. Int. J. Curr. Res. Mod. Educ. 1(2), 206–224 (2016). https://doi.org/10.5281/zenodo.198708

  9. Bojjagani, S., Sastry, V.N.: A secure end-to-end SMS-based mobile banking protocol. Int. J. Commun. Syst. 30(15), 1–19 (2017). https://doi.org/10.1002/dac.3302

    Article  Google Scholar 

  10. Anwarul Islam, K.M., Salma, U.: Mobile banking operations and banking facilities to rural people in Bangladesh. Int. J. Finan. Bank. Res. 2(4), 147–162 (2016). https://doi.org/10.11648/j.ijfbr.20160204.14

    Article  Google Scholar 

  11. Dahlberg, T., Guo, J., Ondrus, J.: A critical review of mobile payment research. Elsevier Electron. Commerce Res. Appl. 14(5), 265–284 (2015). https://doi.org/10.1016/j.elerap.2015.07.006

  12. Istrate, C.M.: Cardless withdrawal system for mobile banking applications. J. Mobile, Embed. Distrib. Syst. 6(1), 11–16 (2014)

    Google Scholar 

  13. Yang, F., Liu, Z., Chiu, S.: Mobile banking payment system. J. Wireless Mobile Netw. Ubiquitous Comput. Depend. Appl. 2(3), 85–95 (2011)

    Google Scholar 

  14. Alanazi, H.O., Alnaqeib, R., Hmood, A.K., Zaidan, M.A., Al-Nabhani, Y.: On the module of the Internet banking system. J. Comput. 2(5), 133–143 (2010)

    Google Scholar 

  15. Uddin, M.S., Akhi, A.: E-wallet system for Bangladesh an electronic payment system. Int. J. Model. Optim. 4(3), 216–219 (2014). https://doi.org/10.7763/ijmo.2014.V4.376

  16. Islam, M.S.: Systematic literature review: security challenges of mobile banking and payment system. Int. J. u- and e- Serv. Sci. Technol. 7(6), 107–116 (2014). https://doi.org/10.14257/ijunesst.2014.7.6.10

    Article  Google Scholar 

  17. Brar, T., Sharma, D., Khurmi, S.: Vulnerabilities in e-banking: a study of various security aspects in e-banking. International Journal of Computing & Business Research, Proceedings of ‘I-Society. pp. 2229–6166 (2012).

    Google Scholar 

  18. Nyamtiga, B.W., Sam, A., Laizer, L.S.: Enhanced security model for mobile banking systems in Tanzania. Int. J. Technol. Enhance. Emerg. Eng. Res. 1(4), 4–20 (2013)

    Google Scholar 

  19. Avdic, A.: Use of biometrics in mobile banking security: case study of Croatian banks. Int. J. Comput. Sci. Netw. Secur. 19(10), 83–89 (2019)

    Google Scholar 

  20. Gupta, R., Kumar, R.P., Bharadwaj, A.: Mobile banking system in India: practices, challenges and security issues. Int. J. Comput. Trends Technol. 43(1), 24–48 (2017). https://doi.org/10.14445/22312803/ijctt-v43P106

    Article  Google Scholar 

  21. Goyal, V., Pandey, U.S., Batra, S.: Mobile Banking in India: practices, challenges and security issues. Int. J. Adv. Trends Comput. Sci. Eng. 1(2), 56–66 (2012)

    Google Scholar 

  22. Alalwan, A.A., Dwivedi, Y.K., Rana, N.P.: Factors influencing adoption of mobile banking by Jordanian bank customers: Extending UTAUT2 with trust. Elsevier Int. J. Inf. Manage. 37(3), 99–110 (2017). https://doi.org/10.1016/j.ijinfomgt.2017.01.002

  23. Al-Jabri, I.M., Sohail, M.S.: Mobile banking adoption: application of diffusion of innovation theory. J. Electron. Commer. Res. 13(4), 379–391 (2012)

    Google Scholar 

  24. Raja, S.A., Umer, A., Shah, N.: New determinants of ease of use and perceived usefulness for mobile banking adoption. Int. J. Electron. Cust. Relationship Manage. 11(1), 44–65 (2017). https://doi.org/10.1504/ijecrm.2017.086751

    Article  Google Scholar 

  25. Safeena, R., Date, H., Kammani, A., Hundewale, N.: Technology adoption and Indian consumers: study on Mobile Banking. Int. J. Comput. Theory Eng. 4(6), 1020–1024 (2012). https://doi.org/10.7763/ijcte.2012.v4.630

    Article  Google Scholar 

  26. Bharti. M.: Impact of dimensions of mobile banking on user satisfaction. J. Internet Bank. Comm. 21(1), 1–22 (2016)

    Google Scholar 

  27. Asfour, H.K., Haddad, S.I.: The impact of mobile banking on enhancing customers’ e-satisfaction: an empirical study on commercial banks in Jordan. Int. Bus. Res. 7(10), 145–169 (2014). https://doi.org/10.5539/ibr.v7n10p145

    Article  Google Scholar 

  28. Singh, N., Kumar, T., Vardhan, M.: Blockchain based e-cheque clearing framework. Scalable Comput.: Pract. Exper. 20(3), 511–525 (2019). https://doi.org/10.12694/scpe.v20i3.1506

  29. Yahid, B., Nobakht, M., Shahbahrami, A.: Trust in e-cheque in electronic payments. New Mark. Res. J. 4, 19–28 (2014)

    Google Scholar 

  30. Digital 2021 global overview report. https://datareportal.com/reports/digital-2021-global-overview-report. Accessed on 15 June 2021

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences, Saitama University, Saitama, 338-8570, Japan

    Tej Narayan Thakur & Noriaki Yoshiura

Authors
  1. Tej Narayan Thakur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Noriaki Yoshiura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. University of Cagliari, Cagliari, Italy

    Chiara Garau

  5. University of Cagliari, Cagliari, Italy

    Ivan Blečić

  6. Monash University, Clayton, VIC, Australia

    David Taniar

  7. Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  8. University of Minho, Braga, Portugal

    Ana Maria A. C. Rocha

  9. Polytechnic University of Bari, Bari, Italy

    Eufemia Tarantino

  10. Polytechnic University of Bari, Bari, Italy

    Carmelo Maria Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Thakur, T.N., Yoshiura, N. (2021). Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2021. ICCSA 2021. Lecture Notes in Computer Science(), vol 12954. Springer, Cham. https://doi.org/10.1007/978-3-030-86979-3_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-86979-3_41

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-86978-6

  • Online ISBN: 978-3-030-86979-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation