目 錄
　
　 第 1章 博弈論理論 1 1.1 博弈論的定義及分類 1 1.2 納什均衡 2 1.2.1 納什均衡的定義 2 1.2.2 納什均衡的存在性 3 1.3 序貫均衡 3 1.4 斯塔克爾伯格均衡 4 1.4.1 斯塔克爾伯格均衡的定義 4 1.4.2 斯塔克爾伯格博弈均衡點的存在性 5 1.5 勢博弈 5 1.5.1 勢博弈的定義 5 1.5.2 勢博弈的性質(zhì) 6 1.6 擴(kuò)展式博弈 7 參考文獻(xiàn) 7 第 2章 密碼學(xué)理論技術(shù) 9 2.1 理論安全（無條件安全）與計算安全 9 2.2 全同態(tài)加密 10 2.3 混淆電路 10 2.4 秘密共享 12 2.4.1 Shamir秘密共享 12 2.4.2 理性秘密共享 13 2.4.3 安全多方計算 13 2.5 雙線性對 15 2.6 Pedersen承諾 15 2.7 語義安全 16 參考文獻(xiàn) 17 第3章 可驗證秘密共享方案 18 3.1 方案描述 18 3.2 正確性與安全性分析 19 3.3 秘密共享體制的博弈論分析 22 3.3.1 秘密分發(fā)者效用分析 22 3.3.2 秘密分發(fā)階段參與者的效用分析 23 3.3.3 秘密重構(gòu)階段參與者的效用分析 23 3.4 秘密分發(fā)協(xié)議的博弈論分析 23 3.4.1 秘密分發(fā)博弈 23 3.4.2 理性秘密分發(fā)機(jī)制 25 3.4.3 秘密重構(gòu)博弈 27 3.4.4 理性秘密重構(gòu)機(jī)制 28 參考文獻(xiàn) 30 第4章 可公開驗證秘密共享方案 31 4.1 問題引入 31 4.2 方案描述 32 4.3 方案分析 33 4.3.1 正確性分析 33 4.3.2 安全性分析 34 4.3.3 性能分析 37 參考文獻(xiàn) 38 第5章 激勵相容的理性秘密共享方案 39 5.1 問題引入 39 5.2 囚徒困境 39 5.2.1 系統(tǒng)模型 40 5.2.2 問題描述 40 5.3 激勵機(jī)制 43 5.3.1 ICRSS 43 5.3.2 合約內(nèi)容 44 5.3.3 博弈與分析 46 5.4 實驗仿真 52 5.4.1 安全分析 52 5.4.2 合約函數(shù) 52 參考文獻(xiàn) 54 第6章 基于分組的理性秘密共享方案 56 6.1 參數(shù)假設(shè) 56 6.2 可選策略集合和信念系統(tǒng) 56 6.3 方案介紹 57 6.3.1 秘密共享階段 57 6.3.2 秘密重構(gòu)階段 58 6.4 方案分析 59 6.4.1 正確性分析 59 6.4.2 安全性分析 60 6.4.3 貝葉斯均衡分析 61 6.5 性能對比 62 參考文獻(xiàn) 62 第7章 常數(shù)輪公平理性秘密共享方案 64 7.1 參數(shù)假設(shè) 64 7.2 懲罰機(jī)制 64 7.3 方案介紹 65 7.3.1 秘密共享階段 65 7.3.2 秘密重構(gòu)階段 66 7.4 方案分析 67 7.4.1 正確性分析 67 7.4.2 安全性分析 67 7.4.3 公平性分析 68 7.4.4 納什均衡分析 69 7.5 性能對比 70 參考文獻(xiàn) 70 第8章 基于全同態(tài)加密的可公開驗證理性秘密共享方案 72 8.1 方案描述 72 8.2 方案分析 74 8.2.1 正確性分析 74 8.2.2 安全性分析 74 8.2.3 輪復(fù)雜度分析 75 8.2.4 抗共謀性分析 76 8.3 性能對比 77 參考文獻(xiàn) 78 第9章 基于全同態(tài)加密的理性委托計算協(xié)議 80 9.1 問題引入 80 9.2 委托計算博弈模型 81 9.2.1 參與者集合 81 9.2.2 外生隨機(jī)變量 81 9.2.3 策略集合 82 9.2.4 支付函數(shù) 82 9.2.5 風(fēng)險規(guī)避 83 9.2.6 期望效用函數(shù) 83 9.2.7 總期望效用 84 9.3 理性委托計算協(xié)議 85 9.3.1 初始化階段 85 9.3.2 委托計算和承諾階段 85 9.3.3 驗證和支付階段 86 9.4 協(xié)議分析 87 9.4.1 安全性分析 87 9.4.2 正確性分析 87 9.4.3 仿真模擬 88 參考文獻(xiàn) 89 第 10章 可證明安全的理性委托計算協(xié)議 91 10.1 問題引入 91 10.2 理性委托計算算法 92 10.3 理性委托計算博弈模型及安全模型 93 10.3.1 博弈模型分析 93 10.3.2 安全模型分析 95 10.4 理性委托計算協(xié)議構(gòu)造 95 10.5 安全性分析 97 10.6 性能分析 99 參考文獻(xiàn) 99 第 11章 基于博弈論與信息論的理性委托計算協(xié)議 102 11.1 問題引入 102 11.2 博弈模型分析 103 11.2.1 參與者集合 104 11.2.2 信息集 104 11.2.3 可選策略集合 105 11.2.4 效用函數(shù) 105 11.3 理性委托計算協(xié)議 106 11.3.1 協(xié)議參數(shù) 106 11.3.2 初始化階段 107 11.3.3 委托計算階段 107 11.3.4 參與者能力極限 107 11.3.5 支付階段 109 11.4 協(xié)議分析 110 參考文獻(xiàn) 112 第 12章 理性委托計算的最優(yōu)攻防策略 114 12.1 問題引入 114 12.2 博弈模型設(shè)計 115 12.3 理性委托計算的攻防模型 117 12.3.1 計算方攻擊能力極限 118 12.3.2 計算方防御能力極限 120 12.3.3 委托方攻擊能力極限 122 12.3.4 委托方防御能力極限 124 12.4 理性委托計算協(xié)議分析 126 12.4.1 委托計算納什均衡 127 12.4.2 委托計算最優(yōu)攻防策略 128 12.5 委托計算攻防策略仿真實驗 129 12.6 理性委托計算協(xié)議分析 132 參考文獻(xiàn) 133 第 13章 基于門限秘密共享的理性委托計算協(xié)議 136 13.1 問題引入 136 13.2 信道模型 137 13.3 理性委托計算攻防能力 138 13.3.1 攻防模型 138 13.3.2 攻防能力分析 143 13.4 基于門限加密的安全理性委托計算協(xié)議 144 13.4.1 委托計算基本算法 144 13.4.2 理性委托計算協(xié)議構(gòu)造 145 13.5 協(xié)議分析 146 13.5.1 均衡分析 146 13.5.2 正確性 147 13.5.3 安全性 148 13.5.4 性能分析 149 參考文獻(xiàn) 150 第 14章 基于序貫均衡理論的理性委托計算協(xié)議 152 14.1 問題引入 152 14.2 博弈模型 153 14.2.1 擴(kuò)展式博弈 154 14.2.2 序貫均衡 155 14.3 理性委托計算分析 156 14.3.1 問題分析 156 14.3.2 協(xié)議參數(shù) 156 14.4 計算方與委托方——公平委托協(xié)議 157 14.4.1 協(xié)議構(gòu)造 157 14.4.2 均衡分析 159 14.5 委托方與計算方——囚徒協(xié)議 160 14.5.1 協(xié)議構(gòu)造 160 14.5.2 均衡分析 162 14.6 協(xié)議分析 164 14.6.1 正確性分析 164 14.6.2 性能分析 164 參考文獻(xiàn) 165 第 15章 激勵相容的理性委托計算方案 167 15.1 問題引入 167 15.2 制衡博弈 168 15.2.1 ICRDC 168 15.2.2 制衡合約 170 15.2.3 制衡博弈與分析 172 15.3 共謀博弈 176 15.3.1 共謀合約 176 15.3.2 共謀博弈與分析 177 15.4 誣陷博弈與背叛博弈 180 15.4.1 背叛合約 180 15.4.2 誣陷博弈與分析 181 15.4.3 背叛博弈與分析 185 15.5 性能分析 190 15.5.1 安全分析 190 15.5.2 合約函數(shù) 190 15.5.3 合約開銷 192 15.6 委托開銷 193 15.6.1 分析 193 15.6.2 最低委托開銷 194 參考文獻(xiàn) 196