Modeling and Verification of Payment System in E-Banking
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 8
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
- EP ID EP260398
- DOI 10.14569/IJACSA.2017.080825
- Views 134
- Downloads 0
Skew Detection/Correction and Local Minima/Maxima Techniques for Extracting a New Arabic Benchmark Database
We propose a set of techniques for extracting a new standard benchmark database for Arabic handwritten scripts. Thresholding, filtering, and skew detection/correction techniques are developed as a pre-processing step of...
Modulation Components and Genetic Algorithm for Speaker Recognition System
In this paper, the aim is to investigate weather or not that changing the filter-bank components (of the speaker recognition system) could improve the system performance in identifying the speaker. The filter is composed...
Analyzing Distributed Generation Impact on the Reliability of Electric Distribution Network
With proliferation of Distribution Generation (DG) and renewable energy technologies the power system is becoming more complex, with passage of time the development of distributed generation technologies is becoming dive...
Study of Gamification Effectiveness in Online e-Learning Systems
Online distance e-learning systems allow introducing innovative methods in pedagogy, along with studying their effectiveness. Assessing the system effectiveness is based on analyzing the log files to track the studying t...
Conceptual Model for WWBAN (Wearable Wireless Body Area Network)
Modern world advances in sensors miniaturization and wireless networking which enables exploiting wireless sensor networking to monitor and control the environment. Human health monitoring is promising applications of se...