现代密码学 基于安全多方计算协议的研究
作者:孙茂华 著
出版时间:2016年版
内容简介
本书以现代密码学中的安全多方计算为主题,以作者近几年的研究成果为主体,结合国内外学者在该领域的研究成果,对安全多方计算的主要研究内容作了系统论述。本书主要分为两部分:第一部分介绍数学、密码学等基础知识(第1~3章),第二部分介绍安全多方计算的基础理论和应用(第4~10章)。
目录
第1章 绪论\t1
1.1 密码学的发展历史\t1
1.2 现代密码学体制\t2
1.3 现代密码学与安全多方计算\t3
第2章 数学基础\t4
2.1 预备知识\t4
2.1.1 素数\t4
2.1.2 模运算\t4
2.1.3 群\t5
2.2 密码学困难性假设\t6
2.2.1 大数分解困难性假设\t6
2.2.2 离散对数困难性假设\t7
2.2.3 Diffie-Hellman问题\t7
第3章 密码学基础\t8
3.1 秘密共享\t8
3.1.1 研究进展\t8
3.1.2 经典协议\t11
3.2 茫然传输\t12
3.2.1 茫然传输的概念\t12
3.2.2 经典协议\t13
3.2.3 进一步阅读的建议\t15
3.3 同态加密技术\t16
3.4 Mix-Match协议\t18
3.5 零知识证明\t19
3.6 比特承诺\t20
3.7 盲签名\t20
3.8 本章小结\t21
第4章 安全多方计算基础\t22
4.1 安全多方计算的定义\t22
4.2 计算模型\t23
4.3 安全性分类\t24
4.3.1 信息论安全\t25
4.3.2 计算安全\t25
4.4 安全性原则\t25
4.4.1 精确的安全性定义\t26
4.4.2 明确的困难性假设\t29
4.4.3 严格的安全性证明\t30
4.5 本章小结\t30
第5章 通用混淆电路估值技术\t31
5.1 Yao氏混淆电路估值方案\t31
5.2 GMW混淆电路估值方案\t32
5.3 KS混淆电路估值方案\t34
5.4 常用布尔电路\t36
5.4.1 布尔电路\t36
5.4.2 整数加法电路\t37
5.4.3 整数减法电路\t38
5.4.4 比较器\t39
5.4.5 多路选择器\t40
5.4.6 条件转换器\t41
5.5 扩展阅读\t42
第6章 百万富翁协议\t44
6.1 问题描述\t44
6.2 百万富翁问题的Yao氏解决方案\t44
6.3 布尔电路上的KSS百万富翁协议\t46
6.4 基于同态加密的百万富翁协议\t47
6.5 安全多方数据比较协议\t48
6.6 本章小结\t50
第7章 安全多方科学计算\t51
7.1 安全多方科学计算研究现状\t51
7.2 经典安全多方科学计算协议\t52
7.2.1 保护隐私的线性方程组求解协议\t52
7.2.2 安全两方线性规划协议\t53
7.2.3 安全线性子空间相关协议\t53
7.3 保护隐私的同余方程组求解协议\t57
7.3.1 问题描述\t58
7.3.2 原理分析\t58
7.3.3 协议描述\t58
7.3.4 协议分析\t59
7.3.5 举例\t61
7.4 多秘密共享协议\t62
7.4.1 CC多秘密共享协议\t62
7.4.2 基于保护隐私同余方程组协议的多秘密共享\t67
7.5 本章小结\t68
第8章 保护隐私的电子投票协议\t69
8.1 电子投票系统的发展\t69
8.2 保护隐私的电子投票研究进展\t70
8.3 安全电子投票基础知识\t71
8.3.1 安全电子投票模型\t71
8.3.2 安全电子投票系统的组成\t73
8.4 经典保护隐私的电子投票方案\t73
8.4.1 FOO方案\t73
8.4.2 CGS方案\t76
8.5 保护多方隐私的电子投票协议\t77
8.5.1 协议描述\t77
8.5.2 协议分析\t79
8.5.3 举例\t80
8.6 保护隐私的云电子投票协议\t82
8.6.1 云计算安全体系\t82
8.6.2 安全多方云计算\t85
8.6.3 安全云电子投票协议\t86
8.7 本章小结\t89
第9章 安全多方计算几何\t90
9.1 安全多方计算几何研究进展\t90
9.2 经典安全多方计算几何协议\t91
9.2.1 保护隐私的点线叉积协议\t91
9.2.2 保护隐私的APSD协议\t92
9.2.3 保护隐私的单源最短距离协议\t93
9.3 安全两方线段求交协议\t94
9.3.1 原理分析\t94
9.3.2 协议描述\t95
9.3.3 协议分析\t96
9.3.4 恶意模型下的推广\t98
9.4 保护隐私的点包含协议\t99
9.4.1 协议原理\t100
9.4.2 协议描述\t100
9.4.3 协议分析\t101
9.5 保护隐私的凸包协议\t103
9.5.1 协议原理\t103
9.5.2 协议描述\t104
9.5.3 协议分析\t106
9.6 保护隐私的凸包交集协议\t108
9.6.1 数学原理\t108
9.6.2 协议描述\t110
9.6.3 协议分析\t111
9.6.4 实例\t111
9.7 本章小结\t112
第10章 保护隐私的集合运算\t113
10.1 保护隐私的集合运算研究进展\t113
10.2 布尔电路上的HEK保护隐私的集合交集协议\t115
10.2.1 预备知识\t115
10.2.2 协议描述\t115
10.3 保护隐私的集合交集外包计算协议\t120
10.3.1 协议描述\t120
10.3.2 协议分析\t122
10.4 BS保护隐私的集合并集协议\t127
10.5 扩展阅读 127\t
参考文献 129