中文摘要：

基于通信顺序进程和动态博弈理论对电子商务系统建模,提出了结构化的电子商务协议的公平性,并基于该模型给出了公平性的形式化定义,可以用于电子商务协议公平性的分析。与以往工作相比,主要贡献在于：a）系统模型中的失效模型分别对进程和通信失效建模,增加了通信延迟失效模型,可以分析系统失效时满足的公平性;b）收益平衡从参与者获得利益和损失利益两个角度定义公平性,打破了以往公平性定义只能应用于零和交易系统的局限;c）结构化的公平性分别考虑系统诚实参与者中途自愿退出或者因失效中止协议的公平性和有参与者欺骗下的协议的公平性等。后两点解决了系统满足公平性定义但实际上对参与者不公平的矛盾.

英文摘要：

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.