Skip to main content
Top

2021 | OriginalPaper | Chapter

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

Authors : Tej Narayan Thakur, Noriaki Yoshiura

Published in: Computational Science and Its Applications – ICCSA 2021

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
7.
go back to reference Ciurea, C.: The development of a mobile application in a collaborative banking system. Inf. Econ. 14(3), 86–97 (2010) Ciurea, C.: The development of a mobile application in a collaborative banking system. Inf. Econ. 14(3), 86–97 (2010)
12.
go back to reference Istrate, C.M.: Cardless withdrawal system for mobile banking applications. J. Mobile, Embed. Distrib. Syst. 6(1), 11–16 (2014) Istrate, C.M.: Cardless withdrawal system for mobile banking applications. J. Mobile, Embed. Distrib. Syst. 6(1), 11–16 (2014)
13.
go back to reference Yang, F., Liu, Z., Chiu, S.: Mobile banking payment system. J. Wireless Mobile Netw. Ubiquitous Comput. Depend. Appl. 2(3), 85–95 (2011) Yang, F., Liu, Z., Chiu, S.: Mobile banking payment system. J. Wireless Mobile Netw. Ubiquitous Comput. Depend. Appl. 2(3), 85–95 (2011)
14.
go back to reference 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) 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)
17.
go back to reference 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). 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).
18.
go back to reference 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) 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)
19.
go back to reference 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) 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)
21.
go back to reference 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) 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)
23.
go back to reference 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) 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)
26.
go back to reference Bharti. M.: Impact of dimensions of mobile banking on user satisfaction. J. Internet Bank. Comm. 21(1), 1–22 (2016) Bharti. M.: Impact of dimensions of mobile banking on user satisfaction. J. Internet Bank. Comm. 21(1), 1–22 (2016)
29.
go back to reference Yahid, B., Nobakht, M., Shahbahrami, A.: Trust in e-cheque in electronic payments. New Mark. Res. J. 4, 19–28 (2014) Yahid, B., Nobakht, M., Shahbahrami, A.: Trust in e-cheque in electronic payments. New Mark. Res. J. 4, 19–28 (2014)
Metadata
Title
Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN
Authors
Tej Narayan Thakur
Noriaki Yoshiura
Copyright Year
2021
DOI
https://doi.org/10.1007/978-3-030-86979-3_41

Premium Partner