王伊蕾、李紹靜編著的《理性協議公平性進展研
究》全面介紹理性安全計算協議的研究背景、效用函
數、納什均衡、階段博弈和擴展博弈等基本概念，並
在此基礎上分別介紹不同情況下理性安全協議中公平
性的實現問題。本書主要借鋻重復博弈中促進參與者
合作的TFT（Tit－for－Tat）策略；另外考慮理性參
與者在社會網絡中的特性，還研究了聲譽對理性協議
公平性的影響；除此之外，還針對理性參與者依次采
取行動的情況，探討了滿足可計算序貫均衡對公平性
的影響。
全書共分7章：第1章介紹理性協議的研究背景和
意義，國內外研究現狀。第2章介紹一些關於博弈論
的基本概念，這些基本概念是後續章節的基礎。第3
章介紹在理性安全兩方計算中，如何通過引入Tit－
for－Tat策略和聲譽，使得參與者可以有效地遵守協
議，最終實現公平性。第4章介紹理性安全兩方計算
中如何將聲譽作為效用函數的一部分，繼而重薪定義
效用函數，並在此基礎上，重新對理性參與者分類。
第5章介紹一種復雜的理性協議計算模型，提出一種
更強的均衡概念，可以實現公平性。第6章和第7章對
理性協議計算進行了總結和展望。
本書適合作為高等院校計算機、信息安全專業高
年級本科生、研究生的教材，同時也可供對理性協議
比較熟悉並且對多方安全計算協議有所了解的廣大科
技工作者和研究人員參考。

第1章 緒論
1.1 研究背景
1.2 本書的貢獻
1.3 相關工作
1.3.1 傳統多方計算下的公平性研究
1.3.2 理性多方計算下的公平性研究
1.3.3 隱蔽敵手的相關研究
1.4 本章小結
第2章 預備知識
2.1 理性參與者的效用和納什均衡
2.2 階段博弈
2.3 聲譽的定義
2.4 擴展博弈
2.4.1 序貫均衡
2.4.2 可計算序貫均衡
2.5 本章小結
第3章 基於Tit-for-Tat策略的理性兩方計算公平性
3.1 Tit-for-Tat策略和理想/現實模型
3.1.1 Tit-for-Tat策略
3.1.2 理想/現實模型
3.2 協議構造
3.2.1 fail-stop情景下的公平性
3.2.2 Byzantine情景下的公平性
3.2.3 協議分析
3.3 本章小結
第4章 帶有聲譽的理性兩方計算下的公平性
4.1 帶有聲譽的效用函數和新型理性參與者
4.1.1 帶有聲譽的效用函數
4.1.2 新型理性參與者
4.2 帶有新型參與者的理性兩方計算協議
4.3 本章小結
第5章 滿足可計算序貫均衡的理性公平計算
5.1 理性公平信息交換協議
5.1.1 參與者的策略
5.1.2 單方參與者有私有類型
5.1.3 雙方參與者有私有類型
5.2 理性安全兩方計算協議
5.2.1 理想模型
5.2.2 混合模型
5.3 本章小結
第6章 理性安全多方計算綜述
6.1 引言
6.2 基本概念
6.2.1 效用函數
6.2.2 均衡的概念
6.2.3 其他均衡概念
6.3 重復博弈和逆向歸納法
6.4 擴展博弈
6.5 混合模型下的基本概念
6.5.1 通信信道和滿意函數
6.5.2 納什均衡和重復弱劣刪除策略
6.6 典型方案
6.6.1 理性秘密共享機制
6.6.2 理性多方函數計算
6.6.3 理性多方函數計算的公平性
6.6.4 理性拜占庭協議
6.7 本章小結
第7章 總結和展望
7.1 工作總結
7.2 與其他方案的比較
參考文獻