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 95
- Downloads 0
The Role of Strategic Information Systems (SIS) in Supporting and Achieving the Competitive Advantages (CA): An Empirical Study on Saudi Banking Sector
The purpose of this research paper is to identify the significant role of Strategic Information Systems (SIS) in supporting the Competitive Advantage (CA). It also explains its role on the dimensions that increase the co...
Instrument Development for Measuring the Acceptance of UC&C: A Content Validity Study
Studies on the acceptance of Unified Communications and Collaboration (UC&C) tools such as instant messaging and video conferencing have been around for some time. Adoption and acceptance of UC&C tools and services has b...
Human Visual System-based Unequal Error Protection for Robust Video Coding
To increase the overall visual quality of the video services without increasing data rate, a human visual system-based video coding, founded on a hierarchy of the video stream in different levels of importance, is develo...
Smartphone Image based Agricultural Product Quality and Harvest Amount Prediction Method
A method for agricultural product quality and harvest amount prediction by using smartphone camera image is proposed. It is desired to predict agricultural product quality and harvest amount as soon as possible after the...
Internet of Things and Healthcare Analytics for Better Healthcare Solution: Applications and Challenges
The total number of population in the world will keep on increasing. This will eventually pose challenges towards quality of life for example issues related to healthcare. Hence, a proper solution needs to be devised in...