 |
|
 |
 | | Electronic funds transfers | Mathematical model, Electronic funds transfers | Security measures | Standards |
 |
|  | 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.
|
|
|