A new mobile payment system with formal verification (original) (raw)
Related papers
A Secure and Optimized Proximity Mobile Payment Framework with Formal Verification
International Journal of E-Services and Mobile Applications, 2014
A survey of electronic signature solutions in mobile devices
Journal of Theoretical …, 2007
Analysis of Elliptic Curve Cryptography for Mobile Banking
International journal of engineering research and technology, 2014
IJERT-Analysis of Elliptic Curve Cryptography for Mobile Banking
International Journal of Engineering Research and Technology (IJERT), 2014
Secure and Optimized Mobile Based Merchant Payment Protocol using Signcryption
International Journal of Information Security and Privacy, 2012
Public Key Cryptography for Mobile Payment
Ubiquitous Computing and Communication Journal, 2010
Privacy in new mobile payment protocol
2008
An Identity-Based Elliptic Curve Cryptography for Mobile Payment Security
SN Computer Science, 2020
A lightweight and private mobile payment protocol by using mobile network operator
2008 International Conference on Computer and Communication Engineering, 2008
An Improved Authentication Scheme for Electronic Payment Systems in Global Mobility Networks
Information Technology And Control, 2015
Efficient certificate path validation and its application in mobile payment protocols
Jordi Forné, Francisco Rico-Novella
ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings, 2008
A proposed architecture for secure two-party mobile payment
2009
Improving e-payment security using Elliptic Curve Cryptosystem
Electronic Commerce Research, 2010
International Journal of Engineering Research and Technology (IJERT), 2019
A Secure Anonymous Authentication Protocol for Mobile Services on Elliptic Curve Cryptography
유기영 교수님, Goutham Reddy Alavalapati
Secure mobile payment framework based on UICC with formal verification
International Journal of Computational Science and Engineering, 2014
An electronic Signature Infrastructure for mobile Devices
ISSE 2005 — Securing Electronic Business Processes, 2005
Anonymous Split E-Cash—Toward Mobile Anonymous Payments
ACM Transactions on Embedded Computing Systems, 2015
International Journal of Electronic Security and Digital Forensics, 2019
Public Key based Security Scheme for Digital Payment Transactions
A Secure Mobile Payment Framework in MANET Environment
International Journal of E-Business Research, 2013
A Novel M-Commerce Data Security Mechanism using Elliptic Curve Cryptography
International Journal of Innovative Technology and Exploring Engineering, 2019
Secure and efficient protocol for mobile payments
Proceedings of the 10th international conference on Electronic commerce - ICEC '08, 2008
An improved hybrid scheme for e-payment security using elliptic curve cryptography
International journal of information technology, 2020
New digital signature protocol based on elliptic curves
2013
Journal of King Saud University - Computer and Information Sciences, 2017