Research on accountability in electronic transaction

Abstract

Accountability is a key property in electronic transaction. In the past a few years a lot of work on accountability have done. But these work mainly only focus on the field of electronic commerce, at the same time the logics introduced before, such as Herreweghen' logic, Kailar' logic, Kessler&Neumann' logic and Kungpisdan&Permpoontanalarp' logic, used in analysis of the accountability is difficult for people in practice. In this paper, we introduce generally formal definition of accountability in electronic transaction. At the same time applying the generally formal definition we give the conditions of money accountability and goods accountability in the electronic payment protocol. According to the conditions we can easily judge whether the electronic payment protocols have the goods accountability and money accountability or not without complex analyses and logic reasoning.