System Modeling and Design of Smart for ATM

10 Pages Posted: 12 Jun 2019

See all articles by Madhu Sharma

Madhu Sharma

St. Xavier's College, Jaipur

Vijay Singh Rathore

IIS (Deemed to be University) ; Jaipur Engineering College & Research Centre

Cmaune Sharma

SKIT College, Jaipur, India

Date Written: February 23, 2019

Abstract

In today’s continuously changing world of technology, the upgradation of gadgets and systems is an in-parallel activity with these changes. In this series of technological updates, the availability of ATM as a part of Online banking activity support is not novice, but in use since a decade back. Since most of the technological advancements have two facets, ATM too provides convenience but on the other hand increases the security risk. The objective of the paper is to depict the Framework Design of the SMILE for FOBIA including Safe Mode Alarm Reporting Technique (SMART) and GPS Enabled Tracking (GET) for coerced cash withdrawal in ATM. The system is modelled using PROMELA (Process Meta Language), simulated and tested through jSpin model verifier tool.

Suggested Citation

Sharma, Madhu and Rathore, Vijay Singh and Sharma, Cmaune, System Modeling and Design of Smart for ATM (February 23, 2019). Proceedings of International Conference on Sustainable Computing in Science, Technology and Management (SUSCOM), Amity University Rajasthan, Jaipur - India, February 26-28, 2019, Available at SSRN: https://ssrn.com/abstract=3356242 or http://dx.doi.org/10.2139/ssrn.3356242

Madhu Sharma (Contact Author)

St. Xavier's College, Jaipur ( email )

Jaipur
India

Vijay Singh Rathore

IIS (Deemed to be University) ( email )

Jaipur, Rajasthan
Jaipur, India 302020
India
09783307390 (Phone)

HOME PAGE: http://www.iisuniv.ac.in

Jaipur Engineering College & Research Centre ( email )

Cmaune Sharma

SKIT College, Jaipur, India ( email )

Do you have negative results from your research you’d like to share?

Paper statistics

Downloads
64
Abstract Views
561
Rank
620,014
PlumX Metrics