ACM Transactions on Computer Systems (TOCS)
Accountability in Electronic Commerce Protocols
IEEE Transactions on Software Engineering
Practical Reasoning about Accountability in Electronic Commerce Protocols
ICISC '01 Proceedings of the 4th International Conference Seoul on Information Security and Cryptology
A Sound Logic for Analysing Electronic Commerce Protocols
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Off-Line Generation of Limited-Use Credit Card Numbers
FC '01 Proceedings of the 5th International Conference on Financial Cryptography
Non-repudiation in SET: Open Issues
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Accountability Logic for Mobile Payment Protocols
ITCC '04 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2
A Security-Enhanced One-Time Payment Scheme for Credit Card
RIDE '04 Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04)
A limited-used key generation scheme for internet transactions
WISA'04 Proceedings of the 5th international conference on Information Security Applications
Hi-index | 0.00 |
Centralized payment system relies on a single party to deliver messages related to payment transactions from one party to another. Several security issues related to this central party occur in this kind of system, especially trust relationships among engaging parties and party authentication. To deal with these issues, a centralized payment protocol should satisfy accountability. In this paper, we introduce BPAC, a Bill Payment protocol ensuring ACcountability. We perform a formal analysis to show that BPAC satisfies the accountability. To analyze BPAC, we propose an accountability logic that is able to reason about accountability of any payment protocols.