关键词: 公平性;串空间;电子支付协议

Abstract:

The electronic payment protocol based on offline-TTP is made up of multiple sub-protocols, and is significantly different from traditional authentication protocol, especially on protocol goal and penetrator model. The main purpose of the electronic payment protocol is to realize fair exchange between both buyers and sellers who are assumed to be dishonest. That is, it is necessary for those buyers and sellers to prevent the internal attack. Based on redefining protocol fairness and penetrator model, an extended strand space model which takes an electronic payment protocol as an object is proposed to demonstrate a fairness formal analysis method. The security vulnerabilities and improvement suggestions of the electronic payment protocol are also discussed.

Key words: fairness;strand space;electronic payment protocol