The Model of Anonymous Fair e-Cash Transactions Protocol with Off-line TTP

Fairness and anonymity are desirable properties, which are necessary for reliable and secure electronic commerce transaction and the guarantee of participants´ interests. However, there is trade-off between them. In this paper, we present the model of anonymous fair e-cash transaction protocol with off-line TTP (trust third party) under unreliable communication using linear time temporal logic. The model not only overcomes the weakness of anonymous fair transaction protocol with on-line TTP, but also meets high efficiency and practicability. Furthermore, the model is general and abstract framework that is applicable for different anonymous e-cash transaction protocol.