Fairness of electronic commerce protocols based on dynamic game
Tan Han-song · Jisuanji yingyong yanjiu · 2008
This paper built a dynamic game-based model of electronic commerce systems.Presented a structural fairness of electronic commerce protocols,and in the model gave a formal description of the new fairness,which were used to analyze formally fairness property of electronic commerce protocols.Compared with the previous work,the main contributions were the following.Firstly,Balance Payoff considered both participants' income and expense but the previous one only considered participants' income.Secondly,abortive fairness was defined because of honest participants' quitting voluntarily or aborting the protocol in response to system failures. These two helped people to avoid the confusion that a system satisfies fairness definition but was not fair to some participant factually.Thirdly,a strategic game was used to model channels in various qualities and participants' dishonest behavior enabled people to analyze cooperative and adversarial behaviors and modeling process failure and channel failure resulted in analyzing which fairness a protocol satisfied.