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
From page
479
To page
503
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)
Record number
2660878
Link To Document