Skip to main content

2021 | OriginalPaper | Buchkapitel

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

verfasst von : Tej Narayan Thakur, Noriaki Yoshiura

Erschienen in: Computational Science and Its Applications – ICCSA 2021

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
7.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Metadaten
Titel
Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN
verfasst von
Tej Narayan Thakur
Noriaki Yoshiura
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-030-86979-3_41