本文關鍵詞：公平交換協(xié)議的理性模型及其形式化分析

  更多相關文章： 理性交換 公平性 期望均衡 信譽機制 博弈邏輯

【摘要】：在電子商務或網(wǎng)絡應用環(huán)境中,參與者具有理性特征(稱為理性參與者)。通過在傳統(tǒng)的交換協(xié)議中引入理性參與者,理性交換協(xié)議已經(jīng)引起過內外學者的關注,是密碼學和博弈論兩大學科交叉形成的研究熱點�？紤]參與者的自利性,在博弈論基礎上建立公平交換協(xié)議的理性模型,約束參與者選擇預定的行為,設計理性公平交換協(xié)議,具有重要研究意義。形式化分析方法是分析密碼協(xié)議較為有效的一種方法,對所設計的理性公平交換協(xié)議進行形式化分析,顯得尤為必要。本文主要研究內容有:(1)應用擴展式博弈混合策略理論對交換協(xié)議進行建模,并引入熵函數(shù)對交換協(xié)議的過程公平性進行描述;在保證過程公平性原則下運用混合策略納什均衡概念形式化定義理性公平性,在此模型基礎上構造一個新的理性交換協(xié)議。(2)將參與者的信譽作為其長遠利益,并構造恰當?shù)男в煤瘮?shù)去描述參與者的收益;基于重復博弈建立信譽機制下的理性交換協(xié)議模型,運用重復博弈的納什均衡理論給出了理性公平性的定義;并基于此模型對Syverson協(xié)議進行改進。(3)在并行認知博弈結構(CEGS)的基礎上引入混合策略、期望效用和偏好,得到新的并行認知博弈結構mCEGS,提出可以描述混合策略下的理性交換協(xié)議的博弈邏輯mATEL;運用mATEL形式化定義混合策略理性交換協(xié)議;基于mCEGS的等價擴展式博弈,對混合策略下的理性交換協(xié)議進行形式化分析。
【關鍵詞】：理性交換 公平性 期望均衡 信譽機制 博弈邏輯
【學位授予單位】：貴州大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：F224.32;F713.36
【目錄】：

• 摘要4-5
• Abstract5-6
• 第一章 緒論6-14
• 1.1 研究目的及意義6-8
• 1.2 國內外研究現(xiàn)狀及水平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 動態(tài)博弈模型16-17
• 2.2 信息論相關知識17
• 2.3 博弈邏輯—ATL17-20
• 2.4 小結20-21
• 第三章 混合策略下的理性交換協(xié)議模型21-33
• 3.1 理性交換協(xié)議的混合策略模型21-23
• 3.2 一種新的理性交換協(xié)議23-24
• 3.3 理性交換協(xié)議的分析24-31
• 3.3.1 正確性24-25
• 3.3.2 可追究性25-27
• 3.3.3 公平性27-31
• 3.4 實例分析31
• 3.5 小結31-33
• 第四章 信譽機制下的理性交換協(xié)議模型33-46
• 4.1 面向理性交換的信譽機制33-36
• 4.1.1 信譽設計33-35
• 4.1.2 效用模型35-36
• 4.2 基于信譽機制的理性交換協(xié)議模型36-38
• 4.3 信譽機制下Syverson協(xié)議的改進38-42
• 4.4 實例分析42-44
• 4.5 小結44-46
• 第五章 基于博弈邏輯的理性交換協(xié)議形式化分析46-61
• 5.1 博弈邏輯的改進46-52
• 5.1.1 混合并行認知博弈結構mCEGS46-48
• 5.1.2 混合并行認知博弈結構的語法和語義48-50
• 5.1.3 mATEL與擴展式混合策略博弈50-52
• 5.2 基于博弈邏輯的理性交換協(xié)議形式化模型52-54
• 5.3 理性交換協(xié)議形式化分析54-60
• 5.3.1 混合策略下理性交換協(xié)議的形式化分析54-57
• 5.3.2 信譽機制下理性交換協(xié)議的形式化分析57-60
• 5.4 小結60-61
• 第六章 結束語61-63
• 6.1 主要研究工作總結61-62
• 6.2 展望62-63
• 致謝63-64
• 參考文獻64-67
• 附錄：作者在攻讀碩士學位期間發(fā)表的學術論文及參加的科研項目67-68
• 圖版68-69

，

本文編號：745535