文献类型：会议论文

英文题名：An E-cash Payment Protocol Realizing Accountability and Fairness

作者：Li, Huaiqiang[1];Chen, Li[1]

第一作者：李怀强

通讯作者：Li, HQ[1]

机构：[1]Henan Univ Finance & Econ, Zhengzhou, Henan, Peoples R China

第一机构：河南财经政法大学

通讯机构：[1]corresponding author), Henan Univ Finance & Econ, Zhengzhou, Henan, Peoples R China.|[10484]河南财经政法大学;

会议论文集：6th International Conference on Wireless Communications, Networking and Mobile Computing (WICOM)

会议日期：SEP 23-25, 2010

会议地点：Chengdu, PEOPLES R CHINA

语种：英文

外文关键词：accountability; fairness; anonymity; formal analysis; robustness

摘要：The paper proposes an improvement of e-cash payment protocol. One improvement is to divide the "agreement" and "use" of the session key into two stages, which ensures its key confidentiality. The second improvement is that the identities of the merchants are proved by their electronic certificates, which realizes its non-repudiation. The third improvement is that the payment receipts are transmitted by the trusted party, which avoids unfairness arisen by the dishonest entities. In addition, the protocol uses FTP to transmit e-cashes and payment receipts, which can ensure achievement of accountability and fairness, and enhance the robustness. The proposed protocol is verified to satisfy accountability and fairness by utilizing the improved Kailar logic.