USP Theses Collection


close this section of the library Chaudhary, Kaylash Chand

View the PDF document Formalisation, modelling, and analysis of virtual payment systems
Author:Chaudhary, Kaylash Chand
Institution: The University of the South Pacific
Award: Ph.D.
Subject: Electronic funds transfers | Mathematical model, Electronic funds transfers | Security measures | Standards, Electronic benefits transfers, Data protection
Date: 2018
Call No.: Pac HG 1710 .C43 2018
BRN: 1361118
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.
Disclaimer & Copyright l Contact Us l
© Copyright 1968 - 2018. All Rights Reserved.
USP Library
The University of the South Pacific
Laucala Campus, Suva, Fiji
Tel: +679 323 1000