理性协议公平性进展研究
作者： 王伊蕾，李绍静 著
出版时间：2015年版
内容简介
王伊蕾、李绍静编著的《理性协议公平性进展研究》全面介绍理性安全计算协议的研究背景、效用函数、纳什均衡、阶段博弈和扩展博弈等基本概念，并在此基础上分别介绍不同情况下理性安全协议中公平性的实现问题。本书主要借鉴重复博弈中促进参与者合作的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 与其他方案的比较
参考文献
