Fairness of electronic commerce protocols based on dynamic game
基于动态博弈描述的电子商务协议公平性

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