Accountability analysis of electronic commerce protocols by finite automaton model
Xiaoyao Xie, Huanguo Zhang · Wuhan University Journal of Natural Sciences · 2004
The accountability of electronic commerce protocols is an important aspect to insures security of electronic transaction. This paper proposes to use Finite Automaton (FA) model as a new kind of framework to analyze the transaction protocols in the application of electronic commerce.