Computationally Sound Mechanized Proofs for Electronic Payment Protocol in a Probabilistic Polynomial Calculus with CryptoVerif

2011 ◽  
Vol 5 (3) ◽  
pp. 67-86
Author(s):  
Bo Meng ◽  
Lin Li ◽  
Fei Shao
Keyword(s):  
Electronic Payment ◽  
Payment Protocol ◽  
Polynomial Calculus

A SEEP (Security Enhanced Electronic Payment) Protocol Design Using 3BC, ECC (F), and HECC Algorithm

2008 ◽  
pp. 639-653
Author(s):  
Byung Kwan Lee ◽  
Seung Hae Yang ◽  
Tai-Chi Lee
Keyword(s):  
Elliptic Curve ◽  
Data Encryption ◽  
Elliptic Curve Cryptosystem ◽  
Electronic Payment ◽  
The Public ◽  
Payment Protocol ◽  
Hash Algorithm ◽  
Set Protocol ◽  
Secure Hash Algorithm ◽  
Hyper Elliptic Curve

Unlike SET (Secure Electronic Transaction) protocol, this paper proposes a SEEP (Security Enhanced Electronic Payment) protocol, which uses ECC (Elliptic Curve Cryptosystem with F2m not Fp) (Koblitz, 1987; Harper, Menezes, & Vanstone, 1993; Miller, 1986), SHA (Secure Hash Algorithm), and 3BC (Block Byte Bit Cipher) instead of RSA and DES. To improve the strength of encryption and the speed of processing, the public key and the private key of ECC and HECC (Hyper Elliptic Curve Cryptosystem) are used in 3BC (Cho & Lee, 2002; Cho, Shin, Lee, & Lee, 2002) algorithm, which generates session keys for the data encryption. In particular, when ECC and HECC are combined with 3BC, the strength of security is improved significantly. As the process of the digital envelope used in the existing SET protocol is removed by the 3BC algorithm in this paper, the processing time is reduced substantially. In addition, the use of multiple signatures has some advantages, such as reducing the size of transmission data as an intermediate payment agent and avoiding the danger of eavesdropping of private keys.

scholarly journals An Efficient Secure Electronic Payment System for E-Commerce

Computers ◽  
2020 ◽  
Vol 9 (3) ◽  
pp. 66
Author(s):  
Md Arif Hassan ◽  
Zarina Shukur ◽  
Mohammad Kamrul Hasan
Keyword(s):  
Web Server ◽  
Third Parties ◽  
Web Browsers ◽  
Electronic Payment ◽  
Marketing Process ◽  
Payment Protocol ◽  
Security Effectiveness ◽  
Authentication And Authorization ◽  
The Common ◽  
Electronic Payment System

E-commerce implies an electronic purchasing and marketing process online by using typical Web browsers. As e-commerce is quickly developing on the planet, particularly in recent years, many areas of life are affected, particularly the improvement in how individuals regulate themselves non-financially and financially in different transactions. In electronic payment or e-commerce payment, the gateway is a major component of the structure to assure that such exchanges occur without disputes, while maintaining the common security over such systems. Most Internet payment gateways in e-commerce provide monetary information to customers using trusted third parties directly to a payment gateway. Nonetheless, it is recognized that the cloud Web server is not considered a protected entity. This article aims to develop an efficient and secure electronic payment protocol for e-commerce where consumers can immediately connect with the merchant properly. Interestingly, the proposed system does not require the customer to input his/her identity in the merchant’s website even though the customer can hide his/her identity and make a temporary identity to perform the service. It has been found that our protocol has much improved security effectiveness in terms of confidentiality, integrity, non-repudiation, anonymity availability, authentication, and authorization.

Fairness electronic payment protocol

2012 ◽  
Vol 3 (1) ◽  
pp. 53 ◽  
Author(s):  
Kai Fan ◽  
Yue Wang ◽  
Hui Li
Keyword(s):  
Electronic Payment ◽  
Payment Protocol
Sign in / Sign up

Export Citation Format

Share Document