公平交换协议的理性模型及其形式化分析

发布时间：2017-08-27 12:18

  本文关键词：公平交换协议的理性模型及其形式化分析

  更多相关文章： 理性交换 公平性 期望均衡 信誉机制 博弈逻辑

【摘要】：在电子商务或网络应用环境中,参与者具有理性特征(称为理性参与者)。通过在传统的交换协议中引入理性参与者,理性交换协议已经引起过内外学者的关注,是密码学和博弈论两大学科交叉形成的研究热点。考虑参与者的自利性,在博弈论基础上建立公平交换协议的理性模型,约束参与者选择预定的行为,设计理性公平交换协议,具有重要研究意义。形式化分析方法是分析密码协议较为有效的一种方法,对所设计的理性公平交换协议进行形式化分析,显得尤为必要。本文主要研究内容有:(1)应用扩展式博弈混合策略理论对交换协议进行建模,并引入熵函数对交换协议的过程公平性进行描述;在保证过程公平性原则下运用混合策略纳什均衡概念形式化定义理性公平性,在此模型基础上构造一个新的理性交换协议。(2)将参与者的信誉作为其长远利益,并构造恰当的效用函数去描述参与者的收益;基于重复博弈建立信誉机制下的理性交换协议模型,运用重复博弈的纳什均衡理论给出了理性公平性的定义;并基于此模型对Syverson协议进行改进。(3)在并行认知博弈结构(CEGS)的基础上引入混合策略、期望效用和偏好,得到新的并行认知博弈结构mCEGS,提出可以描述混合策略下的理性交换协议的博弈逻辑mATEL;运用mATEL形式化定义混合策略理性交换协议;基于mCEGS的等价扩展式博弈,对混合策略下的理性交换协议进行形式化分析。
【关键词】：理性交换 公平性 期望均衡 信誉机制 博弈逻辑
【学位授予单位】：贵州大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：F224.32;F713.36
【目录】：

• 摘要4-5
• Abstract5-6
• 第一章 绪论6-14
• 1.1 研究目的及意义6-8
• 1.2 国内外研究现状及水平8-11
• 1.2.1 理性交换及其公平性8-9
• 1.2.2 信誉机制与理性密码学的结合9-10
• 1.2.3 基于博弈逻辑的形式化分析方法10-11
• 1.3 主要研究工作11-12
• 1.4 论文组织结构12-14
• 第二章 基础知识14-21
• 2.1 博弈论相关知识14-17
• 2.1.1 博弈基础概念及纳什均衡定理14-15
• 2.1.2 混合策略博弈与重复博弈15-16
• 2.1.3 动态博弈模型16-17
• 2.2 信息论相关知识17
• 2.3 博弈逻辑—ATL17-20
• 2.4 小结20-21
• 第三章 混合策略下的理性交换协议模型21-33
• 3.1 理性交换协议的混合策略模型21-23
• 3.2 一种新的理性交换协议23-24
• 3.3 理性交换协议的分析24-31
• 3.3.1 正确性24-25
• 3.3.2 可追究性25-27
• 3.3.3 公平性27-31
• 3.4 实例分析31
• 3.5 小结31-33
• 第四章 信誉机制下的理性交换协议模型33-46
• 4.1 面向理性交换的信誉机制33-36
• 4.1.1 信誉设计33-35
• 4.1.2 效用模型35-36
• 4.2 基于信誉机制的理性交换协议模型36-38
• 4.3 信誉机制下Syverson协议的改进38-42
• 4.4 实例分析42-44
• 4.5 小结44-46
• 第五章 基于博弈逻辑的理性交换协议形式化分析46-61
• 5.1 博弈逻辑的改进46-52
• 5.1.1 混合并行认知博弈结构mCEGS46-48
• 5.1.2 混合并行认知博弈结构的语法和语义48-50
• 5.1.3 mATEL与扩展式混合策略博弈50-52
• 5.2 基于博弈逻辑的理性交换协议形式化模型52-54
• 5.3 理性交换协议形式化分析54-60
• 5.3.1 混合策略下理性交换协议的形式化分析54-57
• 5.3.2 信誉机制下理性交换协议的形式化分析57-60
• 5.4 小结60-61
• 第六章 结束语61-63
• 6.1 主要研究工作总结61-62
• 6.2 展望62-63
• 致谢63-64
• 参考文献64-67
• 附录：作者在攻读硕士学位期间发表的学术论文及参加的科研项目67-68
• 图版68-69

，

本文编号：745535