{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T09:21:21Z","timestamp":1762161681889,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030869786"},{"type":"electronic","value":"9783030869793"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86979-3_41","type":"book-chapter","created":{"date-parts":[[2021,9,11]],"date-time":"2021-09-11T18:02:18Z","timestamp":1631383338000},"page":"581-597","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0762-3895","authenticated-orcid":false,"given":"Tej Narayan","family":"Thakur","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8831-1871","authenticated-orcid":false,"given":"Noriaki","family":"Yoshiura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,12]]},"reference":[{"issue":"8","key":"41_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.14569\/IJACSA.2017.080825","volume":"8","author":"I Obaid","year":"2017","unstructured":"Obaid, I., Kazmi, S., Qasim, A.: Modeling and verification of payment system in E-banking. Int. J. Adv. Comput. Sci. Appl. 8(8), 195\u2013201 (2017). https:\/\/doi.org\/10.14569\/IJACSA.2017.080825","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"doi-asserted-by":"publisher","unstructured":"Shi, H., Ma, W., Yang, M., Zhang, X.: A case study of model checking retail banking system with SPIN. J. Comput. 7(10), 2503\u20132510 (2012). https:\/\/doi.org\/10.4304\/jcp.7.10.2503-2510","key":"41_CR2","DOI":"10.4304\/jcp.7.10.2503-2510"},{"doi-asserted-by":"publisher","unstructured":"Zhang, W., Ma, W., Shi, H., Zhu, F.: Model checking and verification of the Internet payment system with spin. J. Softw. 7(9),1941\u20131949 (2012). https:\/\/doi.org\/10.4304\/jsw.7.9.1941-1949","key":"41_CR3","DOI":"10.4304\/jsw.7.9.1941-1949"},{"issue":"1","key":"41_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1504\/IJITST.2012.045153","volume":"4","author":"SS Ahamad","year":"2012","unstructured":"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\u2013103 (2012). https:\/\/doi.org\/10.1504\/IJITST.2012.045153","journal-title":"Int. J. Internet Technol. Secur. Trans."},{"doi-asserted-by":"publisher","unstructured":"Shaikh, R., And, A., Devane, S.: Formal verification of payment protocol using AVISPA. Int. J. Inf. 3(3), 326\u2013337 (2010). https:\/\/doi.org\/10.20533\/iji.1742.4712.2010.0035","key":"41_CR5","DOI":"10.20533\/iji.1742.4712.2010.0035"},{"doi-asserted-by":"publisher","unstructured":"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\u201398 (2012). https:\/\/doi.org\/10.5121\/ijnsa.2012.4606","key":"41_CR6","DOI":"10.5121\/ijnsa.2012.4606"},{"issue":"3","key":"41_CR7","first-page":"86","volume":"14","author":"C Ciurea","year":"2010","unstructured":"Ciurea, C.: The development of a mobile application in a collaborative banking system. Inf. Econ. 14(3), 86\u201397 (2010)","journal-title":"Inf. Econ."},{"doi-asserted-by":"publisher","unstructured":"Aithal, P.S.: A comparison of ideal banking model with mobile banking system. Int. J. Curr. Res. Mod. Educ. 1(2), 206\u2013224 (2016). https:\/\/doi.org\/10.5281\/zenodo.198708","key":"41_CR8","DOI":"10.5281\/zenodo.198708"},{"issue":"15","key":"41_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/dac.3302","volume":"30","author":"S Bojjagani","year":"2017","unstructured":"Bojjagani, S., Sastry, V.N.: A secure end-to-end SMS-based mobile banking protocol. Int. J. Commun. Syst. 30(15), 1\u201319 (2017). https:\/\/doi.org\/10.1002\/dac.3302","journal-title":"Int. J. Commun. Syst."},{"issue":"4","key":"41_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.11648\/j.ijfbr.20160204.14","volume":"2","author":"KM Anwarul Islam","year":"2016","unstructured":"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\u2013162 (2016). https:\/\/doi.org\/10.11648\/j.ijfbr.20160204.14","journal-title":"Int. J. Finan. Bank. Res."},{"doi-asserted-by":"publisher","unstructured":"Dahlberg, T., Guo, J., Ondrus, J.: A critical review of mobile payment research. Elsevier Electron. Commerce Res. Appl. 14(5), 265\u2013284 (2015). https:\/\/doi.org\/10.1016\/j.elerap.2015.07.006","key":"41_CR11","DOI":"10.1016\/j.elerap.2015.07.006"},{"issue":"1","key":"41_CR12","first-page":"11","volume":"6","author":"CM Istrate","year":"2014","unstructured":"Istrate, C.M.: Cardless withdrawal system for mobile banking applications. J. Mobile, Embed. Distrib. Syst. 6(1), 11\u201316 (2014)","journal-title":"J. Mobile, Embed. Distrib. Syst."},{"issue":"3","key":"41_CR13","first-page":"85","volume":"2","author":"F Yang","year":"2011","unstructured":"Yang, F., Liu, Z., Chiu, S.: Mobile banking payment system. J. Wireless Mobile Netw. Ubiquitous Comput. Depend. Appl. 2(3), 85\u201395 (2011)","journal-title":"J. Wireless Mobile Netw. Ubiquitous Comput. Depend. Appl."},{"issue":"5","key":"41_CR14","first-page":"133","volume":"2","author":"HO Alanazi","year":"2010","unstructured":"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\u2013143 (2010)","journal-title":"J. Comput."},{"doi-asserted-by":"publisher","unstructured":"Uddin, M.S., Akhi, A.: E-wallet system for Bangladesh an electronic payment system. Int. J. Model. Optim. 4(3), 216\u2013219 (2014). https:\/\/doi.org\/10.7763\/ijmo.2014.V4.376","key":"41_CR15","DOI":"10.7763\/ijmo.2014.V4.376"},{"issue":"6","key":"41_CR16","doi-asserted-by":"publisher","first-page":"107","DOI":"10.14257\/ijunesst.2014.7.6.10","volume":"7","author":"MS Islam","year":"2014","unstructured":"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\u2013116 (2014). https:\/\/doi.org\/10.14257\/ijunesst.2014.7.6.10","journal-title":"Int. J. u- and e- Serv. Sci. Technol."},{"unstructured":"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 \u2018I-Society. pp. 2229\u20136166 (2012).","key":"41_CR17"},{"issue":"4","key":"41_CR18","first-page":"4","volume":"1","author":"BW Nyamtiga","year":"2013","unstructured":"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\u201320 (2013)","journal-title":"Int. J. Technol. Enhance. Emerg. Eng. Res."},{"issue":"10","key":"41_CR19","first-page":"83","volume":"19","author":"A Avdic","year":"2019","unstructured":"Avdic, A.: Use of biometrics in mobile banking security: case study of Croatian banks. Int. J. Comput. Sci. Netw. Secur. 19(10), 83\u201389 (2019)","journal-title":"Int. J. Comput. Sci. Netw. Secur."},{"issue":"1","key":"41_CR20","doi-asserted-by":"publisher","first-page":"24","DOI":"10.14445\/22312803\/ijctt-v43P106","volume":"43","author":"R Gupta","year":"2017","unstructured":"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\u201348 (2017). https:\/\/doi.org\/10.14445\/22312803\/ijctt-v43P106","journal-title":"Int. J. Comput. Trends Technol."},{"issue":"2","key":"41_CR21","first-page":"56","volume":"1","author":"V Goyal","year":"2012","unstructured":"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\u201366 (2012)","journal-title":"Int. J. Adv. Trends Comput. Sci. Eng."},{"doi-asserted-by":"publisher","unstructured":"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\u2013110 (2017). https:\/\/doi.org\/10.1016\/j.ijinfomgt.2017.01.002","key":"41_CR22","DOI":"10.1016\/j.ijinfomgt.2017.01.002"},{"issue":"4","key":"41_CR23","first-page":"379","volume":"13","author":"IM Al-Jabri","year":"2012","unstructured":"Al-Jabri, I.M., Sohail, M.S.: Mobile banking adoption: application of diffusion of innovation theory. J. Electron. Commer. Res. 13(4), 379\u2013391 (2012)","journal-title":"J. Electron. Commer. Res."},{"issue":"1","key":"41_CR24","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1504\/ijecrm.2017.086751","volume":"11","author":"SA Raja","year":"2017","unstructured":"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\u201365 (2017). https:\/\/doi.org\/10.1504\/ijecrm.2017.086751","journal-title":"Int. J. Electron. Cust. Relationship Manage."},{"issue":"6","key":"41_CR25","doi-asserted-by":"publisher","first-page":"1020","DOI":"10.7763\/ijcte.2012.v4.630","volume":"4","author":"R Safeena","year":"2012","unstructured":"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\u20131024 (2012). https:\/\/doi.org\/10.7763\/ijcte.2012.v4.630","journal-title":"Int. J. Comput. Theory Eng."},{"unstructured":"Bharti. M.: Impact of dimensions of mobile banking on user satisfaction. J. Internet Bank. Comm. 21(1), 1\u201322 (2016)","key":"41_CR26"},{"issue":"10","key":"41_CR27","doi-asserted-by":"publisher","first-page":"145","DOI":"10.5539\/ibr.v7n10p145","volume":"7","author":"HK Asfour","year":"2014","unstructured":"Asfour, H.K., Haddad, S.I.: The impact of mobile banking on enhancing customers\u2019 e-satisfaction: an empirical study on commercial banks in Jordan. Int. Bus. Res. 7(10), 145\u2013169 (2014). https:\/\/doi.org\/10.5539\/ibr.v7n10p145","journal-title":"Int. Bus. Res."},{"doi-asserted-by":"publisher","unstructured":"Singh, N., Kumar, T., Vardhan, M.: Blockchain based e-cheque clearing framework. Scalable Comput.: Pract. Exper. 20(3), 511\u2013525 (2019). https:\/\/doi.org\/10.12694\/scpe.v20i3.1506","key":"41_CR28","DOI":"10.12694\/scpe.v20i3.1506"},{"key":"41_CR29","first-page":"19","volume":"4","author":"B Yahid","year":"2014","unstructured":"Yahid, B., Nobakht, M., Shahbahrami, A.: Trust in e-cheque in electronic payments. New Mark. Res. J. 4, 19\u201328 (2014)","journal-title":"New Mark. Res. J."},{"unstructured":"Digital 2021 global overview report. https:\/\/datareportal.com\/reports\/digital-2021-global-overview-report. Accessed on 15 June 2021","key":"41_CR30"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2021"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86979-3_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,4]],"date-time":"2021-12-04T09:08:34Z","timestamp":1638608914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86979-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030869786","9783030869793"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86979-3_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cagliari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Customed version of CyberChair 4","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1588","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"466","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}