ACM Transactions on Computer Systems (TOCS)
Accountability in Electronic Commerce Protocols
IEEE Transactions on Software Engineering
A Sound Logic for Analysing Electronic Commerce Protocols
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
A Formal Specification of Requirements for Payment Transactions in the SET Protocol
FC '98 Proceedings of the Second International Conference on Financial Cryptography
Non-repudiation in SET: Open Issues
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Towards a framework for handling disputes in payment systems
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
Design, implementation, and deployment of the iKP secure electronic payment system
IEEE Journal on Selected Areas in Communications
Flow-net methodology for accountability in wireless networks
IEEE Network: The Magazine of Global Internetworking
Accountability in centralized payment environments
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
Accountability and Q-Accountable Logging in Wireless Networks
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
Accountability in electronic commerce (e-commerce) protocols is concerned with the ability to show that particular parties who engage in the protocols are responsible for some transactions. Traditionally, it is used only for resolving disputes amongst parties. Many logics were proposed for reasoning about the accountability. However, these logics lack of the application to real-world e-commerce protocols. In this paper, we show that these logics are inadequate to analyze the accountability property of such real-world protocols. We then propose a modification of the existing logics to deal with such real-world protocols. Furthermore, we propose a novel use of the accountability for specifying and analyzing the goals of e-commerce protocols, in particular client privacy property.