学位论文 > 优秀研究生学位论文题录展示
基于博弈论的交换协议理性和公平性分析
作 者: 陶秀挺
导 师: 顾永跟
学 校: 浙江师范大学
专 业: 计算机软件与理论
关键词: 理性交换 公平交换 协议博弈 博弈论
分类号: TP393.04
类 型: 硕士论文
年 份: 2011年
下 载: 25次
引 用: 0次
阅 读: 论文下载
内容摘要
随着网络的普及、信息技术和电子商务的蓬勃发展,电子商务协议的研究越来越深入。交换协议是电子商务协议中很重要的一部分,通过对交换协议的建模和形式化分析来研究交换协议的设计和检测协议中的潜在问题。公平交换协议为了确保协议参与方的公平性,在协议执行过程中增加可信第三方来参与交换或者很复杂的通信计算来保证其实现。而理性交换协议尽管不保证公平性,但可确保理性参与者没有理由不去遵守协议且不需要可信第三方参与交换或以更少的通信计算。本文首先对交换协议及其形式化的研究与发展做了综述,并着重介绍了博弈论。本文的主要工作是应用博弈论对理性交换协议和公平交换协议进行建模和形式化分析。在这个模型中,理性交换协议和公平交换协议被当作是协议参与方进行相互通信的博弈过程的策略集合,并且给出了理性交换和公平交换在内交换协议的各种性质的形式化定义。最重要的是,利用协议博弈中子博弈精炼纳什均衡的定义对理性交换做了形式化定义,并与Buttyan模型做了比较。公平性则定义在不完全信息的协议博弈及相应的博弈树上。根据这个模型以及这些形式化定义,通过对Syverson协议和ASW协议的建模和形式化分析演示了如何运用协议博弈模型去证明已有的理性交换协议和对公平交换协议的潜在问题的发现。
|
全文目录
摘要 3-4 ABSTRACT 4-6 目录 6-8 1. 绪论 8-12 1.1 研究的目的和意义 8-9 1.2 交换协议的研究现状 9-10 1.3 本文研究内容和成果 10-11 1.4 论文章节安排 11-12 2. 公平交换协议与理性交换协议 12-18 2.1 交换协议 12-13 2.2 公平性交换协议 13-15 2.3 理性交换协议 15-17 2.4 本章小结 17-18 3. 协议形式化工具—博弈论 18-33 3.1 博弈论发展 18-19 3.2 博弈论概念 19-21 3.3 博弈种类 21 3.4 扩展博弈 21-30 3.4.1 完全信息扩展博弈 22-23 3.4.2 不完全信息的扩展博弈 23-26 3.4.3 策略与策略组合 26-28 3.4.4 纳什均衡 28-29 3.4.5 子博弈精炼均衡 29-30 3.5 博弈论与协议分析 30-32 3.6 本章小结 32-33 4. 理性交换协议的博弈模型 33-44 4.1 理性交换协议 33 4.2 理性交换的博弈模型 33-37 4.2.1 参与人集合N 34-35 4.2.2 动作集 35 4.2.3 参与人函数 35 4.2.4 支付函数 35-36 4.2.5 子博弈协议 36 4.2.6 博弈树 36-37 4.2.7 理性交换的形式化定义 37 4.3 Syverson协议 37-40 4.4 与Buttyan模型的比较 40-43 4.5 本章小结 43-44 5. 公平交换协议的博弈模型与分析 44-54 5.1 公平交换协议 44 5.2 公平交换协议的博弈模型 44-49 5.2.1 参与人集合N 46 5.2.2 动作集 46-47 5.2.3 信息集 47 5.2.4 参与人函数 47-48 5.2.5 支付函数 48 5.2.6 博弈树 48-49 5.2.7 公平性的形式化定义 49 5.3 ASW协议的分析 49-53 5.4 博弈树的算法 53 5.5 本章小结 53-54 6. 总结与展望 54-55 6.1 论文总结 54 6.2 进一步展望 54-55 参考文献 55-59 攻读学位期间取得的研究成果 59-60 致谢 60-62
|
相似论文
- 政府和谐处置群体性事件的博弈分析,D630
- 基于努力水平契约不完全性的呼叫服务外包合同设计研究,F224.32
- 基于博弈理论的货运列车编组调度模型与算法研究,O225
- H公司VMI博弈模型的构建与应用,F253.4
- 产业技术创新联盟组建中的政府行为研究,F224.32
- 智能电网需求侧管理配套政策建议及评价机制研究,TM73
- 语言经济学相关问题研究,H0-05
- Femto-Cell关键技术研究,TP393.01
- 法律与社会规范:一个博弈论的分析视角,D90
- 基于博弈论的足球机器人对抗策略与协调合作,TP242
- 后危机时代新贸易保护主义的分析,F752.02
- 基于生灭过程的策略进化动态,O225
- 实物期权和博弈论在战略投资分析中的应用研究,F275
- 动力博弈系统及混沌理论在演化中的应用研究,O225
- 基于UPPAAL的电子商务协议安全性分析,TP393.08
- 基于指定识别的同时签名方案设计与分析,TN918.2
- 基于博弈分析的旅游景区战略性人力资源管理研究,F592;F224.32
- 非合作博弈问题的数值分析,O225
- 关于安全多方计算协议的研究,TP393.08
- 量子遗传算法在认知无线电博弈论模型频谱分配中的应用研究,TN925;O225
- 基于博弈论的频谱共享算法研究,O225
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 通信规程、通信协议
© 2012 www.xueweilunwen.com
|