Title of article :
Internet Payment System: A New Payment System for Internet Transactions
Author/Authors :
Đurić, Zoran University of Banjaluka - Faculty of Electrical Engineering, Bosnia and Herzegovina , Marić, Ognjen University of Banjaluka - Faculty of Mathematics and Natural Sciences, Bosnia and Herzegovina , Gašević, Dragan Athabasca University - School of Computing and Information Systems, Canada
Abstract :
Payment systems need to address a number of security issues in order to be aneffective and secure means of transferring payments across the Internet. To be accessible to awider audience, they also need to be easy to use for their end-users (customers and merchants).Trying to address these issues, we created the Internet Payment System (IPS). IPS tries tocombine the advantages of several existing payment systems. While strong emphasis is madeon the mobility and ease of use for its customers, IPS still retains strong security properties. Itachieves privacy, integrity, authentication and non-repudiation by using different cryptographicalgorithms and techniques. To demonstrate that the protocol satisfies the desired securityproperties, we use a recently proposed tool for formal verification, called AVISPA
Keywords :
payment systems , security , cryptography , e , commerce , formal verification
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)