The Practical Detailed Requirements of Accountability and Its Application in the Electronic Payment Protocols

Abstract

With the development of electronic commerce, a lot of electronic commerce systems have been put into practices. Electronic payment system is the key part of it. Thus many electronic payment protocols have been introduced. Accountability is a core property of the electronic payment protocols. Accountability is the property whereby the association of a unique originator with an object or action can be proved to a third party. Accountability consists of money accountability and goods accountability. Until now several logics about the accountability have been introduced, such as Herreweghen logic, Kailar logic, Kessler&Neumann logic and Kungpisdan&Permpoontanalarp logic. But it is difficult for people to use these logics in practice. In this paper we introduce the practical detailed requirements of money accountability and goods accountability. According to the requirements we can easily judge whether the electronic payment protocols have the goods accountability and money accountability or not without complex analyses and logic reasoning. We use the Kessler&Neumann logic to prove the soundness of the requirements. In the last we chose the SOCPT protocol as example to illustrate the application of the requirements presented.