Modeling and Verification of Payment System in E-Banking

Abstract

Formal modeling and verification techniques have been used to ensure the reliability and accuracy of multiple systems to be verified. In contrast to ordinary testing techniques which exhibit the presence of flaws and errors in a system, formal methods prove their absence. Electronic banking (e-banking) services have become very popular with the escalating development in the information and communication technology. Due to the presence of complexity, an e-banking system requires an efficient security model. One important approach to ensure the reliability and security of the e-banking system is through the use of formal methodologies. This study explores the opportunity of modeling interbank payment system through a case study of 1-link Automated Teller Machine (ATM). A generic verification system SPIN (Simple Promela Interpreter) is, therefore, employed to model and then to verify the integrity and security of payment system in e-banking. Linear temporal logic formulas are further summarized to assure the security of the e-banking system. The principal conclusion of the work includes a complete procedure of verification and modeling of the payment system in 1-link ATMs.

Authors and Affiliations

Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim

Keywords

Related Articles

Adaptive Equalization Algorithms: An Overview

The recent digital transmission systems impose the application of channel equalizers with short training time and high tracking rate. Equalization techniques compensate for the time dispersion introduced by communication...

Experimental Study of Spatial Cognition Capability Enhancement with Building Block Learning Contents for Disabled Children

In this research, we develop learning teaching materials using building blocks for children with disabilities, and verify learning effect. It is important to prepare input equipment according to children with disabilitie...

An Evaluation of Requirement Prioritization Techniques with ANP

This article elaborates an evaluation of seven software requirements prioritization methods (ANP, binary search tree, AHP, hierarchy AHP, spanning tree matrix, priority group and bubble sort). Based on the case study of...

Transforming Higher educational institution administration through ICT 

The rapid development in Indian higher education sector has increased the focus on reforms in higher educational institution administration. Efficiency and accountability have become important elements, and the integrati...

Simulation and Analysis of Optimum Golomb Ruler Based 2D Codes for OCDMA System

The need for high speed communications networks has led the research communities and industry to develop reliable, scalable transatlantic and transpacific fiber-optic communication links. In this paper the optimum Golomb...

Download PDF file
  • EP ID EP260398
  • DOI 10.14569/IJACSA.2017.080825
  • Views 116
  • Downloads 0

How To Cite

Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim (2017). Modeling and Verification of Payment System in E-Banking. International Journal of Advanced Computer Science & Applications, 8(8), 195-201. https://europub.co.uk/articles/-A-260398