第1章 绪论 11.1 密码学的发展历史 11.2 现代密码学体制 21.3 现代密码学与安全多方计算 3第2章 数学基础 42.1 预备知识 42.1.1 素数 42.1.2 模运算 42.1.3 群 52.2 密码学困难性假设 62.2.1 大数分解困难性假设 62.2.2 离散对数困难性假设 72.2.3 Diffie-Hellman问题 7第3章 密码学基础 83.1 秘密共享 83.1.1 研究进展 83.1.2 经典协议 113.2 茫然传输 123.2.1 茫然传输的概念 123.2.2 经典协议 133.2.3 进一步阅读的建议 153.3 同态加密技术 163.4 Mix-Match协议 183.5 零知识证明 193.6 比特承诺 203.7 盲签名 203.8 本章小结 21第4章 安全多方计算基础 224.1 安全多方计算的定义 224.2 计算模型 234.3 安全性分类 244.3.1 信息论安全 254.3.2 计算安全 254.4 安全性原则 254.4.1 精确的安全性定义 264.4.2 明确的困难性假设 294.4.3 严格的安全性证明 304.5 本章小结 30第5章 通用混淆电路估值技术 315.1 Yao氏混淆电路估值方案 315.2 GMW混淆电路估值方案 325.3 KS混淆电路估值方案 345.4 常用布尔电路 365.4.1 布尔电路 365.4.2 整数加法电路 375.4.3 整数减法电路 385.4.4 比较器 395.4.5 多路选择器 405.4.6 条件转换器 415.5 扩展阅读 42第6章 百万富翁协议 446.1 问题描述 446.2 百万富翁问题的Yao氏解决方案 446.3 布尔电路上的KSS百万富翁协议 466.4 基于同态加密的百万富翁协议 476.5 安全多方数据比较协议 486.6 本章小结 50第7章 安全多方科学计算 517.1 安全多方科学计算研究现状 517.2 经典安全多方科学计算协议 527.2.1 保护隐私的线性方程组求解协议 527.2.2 安全两方线性规划协议 537.2.3 安全线性子空间相关协议 537.3 保护隐私的同余方程组求解协议 577.3.1 问题描述 587.3.2 原理分析 587.3.3 协议描述 587.3.4 协议分析 597.3.5 举例 617.4 多秘密共享协议 627.4.1 CC多秘密共享协议 627.4.2 基于保护隐私同余方程组协议的多秘密共享 677.5 本章小结 68第8章 保护隐私的电子投票协议 698.1 电子投票系统的发展 698.2 保护隐私的电子投票研究进展 708.3 安全电子投票基础知识 718.3.1 安全电子投票模型 718.3.2 安全电子投票系统的组成 738.4 经典保护隐私的电子投票方案 738.4.1 FOO方案 738.4.2 CGS方案 768.5 保护多方隐私的电子投票协议 778.5.1 协议描述 778.5.2 协议分析 798.5.3 举例 808.6 保护隐私的云电子投票协议 828.6.1 云计算安全体系 828.6.2 安全多方云计算 858.6.3 安全云电子投票协议 868.7 本章小结 89第9章 安全多方计算几何 909.1 安全多方计算几何研究进展 909.2 经典安全多方计算几何协议 919.2.1 保护隐私的点线叉积协议 919.2.2 保护隐私的APSD协议 929.2.3 保护隐私的单源最短距离协议 939.3 安全两方线段求交协议 949.3.1 原理分析 949.3.2 协议描述 959.3.3 协议分析 969.3.4 恶意模型下的推广 989.4 保护隐私的点包含协议 999.4.1 协议原理 1009.4.2 协议描述 1009.4.3 协议分析 1019.5 保护隐私的凸包协议 1039.5.1 协议原理 1039.5.2 协议描述 1049.5.3 协议分析 1069.6 保护隐私的凸包交集协议 1089.6.1 数学原理 1089.6.2 协议描述 1109.6.3 协议分析 1119.6.4 实例 1119.7 本章小结 112第10章 保护隐私的集合运算 11310.1 保护隐私的集合运算研究进展 11310.2 布尔电路上的HEK保护隐私的集合交集协议 11510.2.1 预备知识 11510.2.2 协议描述 11510.3 保护隐私的集合交集外包计算协议 12010.3.1 协议描述 12010.3.2 协议分析 12210.4 BS保护隐私的集合并集协议 12710.5 扩展阅读 127 参考文献 129