Atomicity in electronic commerce
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A framework for micropayment evaluation
Netnomics
Micropayments via Efficient Coin-Flipping
FC '98 Proceedings of the Second International Conference on Financial Cryptography
Some Remarks on a Fair Exchange Protocol
PKC '00 Proceedings of the Third International Workshop on Practice and Theory in Public Key Cryptography: Public Key Cryptography
RSA-Based Partially Blind Signature with Low Computation
ICPADS '01 Proceedings of the Eighth International Conference on Parallel and Distributed Systems
A New Fair Micropayment System Based on Hash Chain
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
NetCents: a lightweight protocol for secure micropayments
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets
SNPD '08 Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Information and Software Technology
A New Credit Based Micropayment Scheme
ICEBE '08 Proceedings of the 2008 IEEE International Conference on e-Business Engineering
An improved and efficient micro-payment scheme
Journal of Theoretical and Applied Electronic Commerce Research
A Mobile Micropayment Protocol Based on Chaos
ICMB '09 Proceedings of the 2009 Eighth International Conference on Mobile Business
IPDPS '09 Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing
A Novel Micropayment Scheme with Complete Anonymity
IAS '09 Proceedings of the 2009 Fifth International Conference on Information Assurance and Security - Volume 01
Micropayment schemes with ability to return changes
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Untraceable, anonymous and fair micropayment scheme
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
| Hi-index | 0.00 |
Payments involving small amounts of money are usual in the online purchases of low-value services, goods or pieces of information. In these kinds of payments, called micropayments, a trade-off between efficiency and security requirements has to be provided. In a previous work, we presented an efficient and secure micropayment scheme which fulfils both the security properties that guarantee no financial risks and the desired privacy for customers. In order to prove the viability of the proposal, we have proceeded in two directions. First we have formally verified the protocol using coloured Petri nets CPN. Secondly, once we are able to assure, from the results of the formal verification, that the proposal satisfies the claimed properties, we have successfully implemented the scheme on the Android platform. Using the developed implementation, we have evaluated its performance to prove that the proposal is viable using current mobile devices. Several tests validate that our scheme can execute very fast payments with our simple but secure spending protocol. With the presented formal verification and performance analysis we can assure that the protocol is ready to be used.