| || || Chaudhary, Kaylash Chand|
| || || Formalisation, modelling, and analysis of virtual payment systems|
Author:Chaudhary, Kaylash Chand
Institution: The University of the South Pacific
Subject: Electronic funds transfers | Mathematical model, Electronic funds transfers | Security measures | Standards, Electronic benefits transfers, Data protection
Call No.: Pac HG 1710 .C43 2018
Copyright:Under 10% of this thesis may be copied without the authors written permission
Abstract: In the world full of technology and with so many existing and proposed payment systems, the attackers try each and every way to break the system defence and gain some benefit out of it. The attackers can succeed if there is any defect in the system. This research deals with virtual payment systems classified as either online or mobile. Micropayment , cryptocurrencies, and credit card based systems are examples of the online system. Every payment system contains some characteristics or properties of correctness which must be verified since it is used in e-commerce transactions. This thesis particularly focuses on the double spending property of a micropayment payment system and a cryptocurrency. Any payment system should prohibit a customer from spending an e-coin more than once.