The Design and Analysis of a Fair Exchange Protocol

摘要：

　　These year researchers have proposed a certain number of security protocols to protect our network security.However, most of the protocols require a prerequisite: the participants in the transaction will obey the rule of the protocol on their initiative, if the prerequisite isn”t met, these protocols can”t satisfy the requirement, and participants can even exchange information forbidden by the arbiter.In this paper we propose a new fair exchange protocol to address the issue in such situation.Furthermore, we use CSP and FDR to confirm our protocol is reliable.

关键词： Casper FDR Model Checking Electronic Commerce Network Security

作者: Yinlong Chang Huaping Hu Bogang Lin

作者单位: Department of Mathematics and Computer science in Fuzhou University, Fuzhou, China

会议类型: 国内会议

会议名称: 第八届中国通信学会学术年会

会议地点: 武汉

会议语种:英文

页码: 409-411

在线出版日期: 2011-11-02（万方平台首次上网日期，不代表论文的发表时间）