Internet payment system: a new payment system for internet transactions

Zoran Durić, Ognjen Marić, Dragan Gašević

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)


Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider 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 to combine the advantages of several existing payment systems. While strong emphasis is made on the mobility and ease of use for its customers, IPS still retains strong security properties. It achieves privacy, integrity, authentication and non-repudiation by using different cryptographic algorithms and techniques. To demonstrate that the protocol satisfies the desired security properties, we use a recently proposed tool for formal verification, called AVISPA.

Original languageEnglish
Pages (from-to)479-503
Number of pages25
JournalJournal of Universal Computer Science
Issue number4
Publication statusPublished - 2007
Externally publishedYes


  • Cryptography
  • E-commerce
  • Formal verification
  • Payment systems
  • Security

Cite this