本書以現代密碼學中的安全多方計算為主題,以作者近幾年的研究成果為主體,結合國內外學者在該領域的研究成果,對安全多方計算的主要研究內容作了系統論述。本書主要分為兩部分:及時部分介紹數學、密碼學等基礎知識(第1~3章),第二部分介紹安全多方計算的基礎理論和應用(第4~10章)。
孫茂華,女,首都經濟貿易大學信息學院教師,中國密碼學會會員,主要講述《網絡安全技術》《信息系統安全》《網絡編程》等課程,出版著作、方向在信息安全、密碼學領域。
第1章 緒論 1
1.1 密碼學的發展歷史 1
1.2 現代密碼學體制 2
1.3 現代密碼學與安全多方計算 3
第2章 數學基礎 4
2.1 預備知識 4
2.1.1 素數 4
2.1.2 模運算 4
2.1.3 群 5
2.2 密碼學困難性假設 6
2.2.1 大數分解困難性假設 6
2.2.2 離散對數困難性假設 7
2.2.3 Diffie-Hellman問題 7
第3章 密碼學基礎 8
3.1 秘密共享 8
3.1.1 研究進展 8
3.1.2 經典協議 11
3.2 茫然傳輸 12
3.2.1 茫然傳輸的概念 12
3.2.2 經典協議 13
3.2.3 進一步閱讀的建議 15
3.3 同態加密技術 16
3.4 Mix-Match協議 18
3.5 零知識證明 19
3.6 比特保障 20
3.7 盲簽名 20
3.8 本章小結 21
第4章 安全多方計算基礎 22
4.1 安全多方計算的定義 22
4.2 計算模型 23
4.3 安全性分類 24
4.3.1 信息論安全 25
4.3.2 計算安全 25
4.4 安全性原則 25
4.4.1 的安全性定義 26
4.4.2 明確的困難性假設 29
4.4.3 嚴格的安全性證明 30
4.5 本章小結 30
第5章 通用混淆電路估值技術 31
5.1 Yao氏混淆電路估值方案 31
5.2 GMW混淆電路估值方案 32
5.3 KS混淆電路估值方案 34
5.4 常用布爾電路 36
5.4.1 布爾電路 36
5.4.2 整數加法電路 37
5.4.3 整數減法電路 38
5.4.4 比較器 39
5.4.5 多路選擇器 40
5.4.6 條件轉換器 41
5.5 擴展閱讀 42
第6章 百萬富翁協議 44
6.1 問題描述 44
6.2 百萬富翁問題的Yao氏解決方案 44
6.3 布爾電路上的KSS百萬富翁協議 46
6.4 基于同態加密的百萬富翁協議 47
6.5 安全多方數據比較協議 48
6.6 本章小結 50
第7章 安全多方科學計算 51
7.1 安全多方科學計算研究現狀 51
7.2 經典安全多方科學計算協議 52
7.2.1 保護隱私的線性方程組求解協議 52
7.2.2 安全兩方線性規劃協議 53
7.2.3 安全線性子空間相關協議 53
7.3 保護隱私的同余方程組求解協議 57
7.3.1 問題描述 58
7.3.2 原理分析 58
7.3.3 協議描述 58
7.3.4 協議分析 59
7.3.5 舉例 61
7.4 多秘密共享協議 62
7.4.1 CC多秘密共享協議 62
7.4.2 基于保護隱私同余方程組協議的多秘密共享 67
7.5 本章小結 68
第8章 保護隱私的電子投票協議 69
8.1 電子投票系統的發展 69
8.2 保護隱私的電子投票研究進展 70
8.3 安全電子投票基礎知識 71
8.3.1 安全電子投票模型 71
8.3.2 安全電子投票系統的組成 73
8.4 經典保護隱私的電子投票方案 73
8.4.1 FOO方案 73
8.4.2 CGS方案 76
8.5 保護多方隱私的電子投票協議 77
8.5.1 協議描述 77
8.5.2 協議分析 79
8.5.3 舉例 80
8.6 保護隱私的云電子投票協議 82
8.6.1 云計算安全體系 82
8.6.2 安全多方云計算 85
8.6.3 安全云電子投票協議 86
8.7 本章小結 89
第9章 安全多方計算幾何 90
9.1 安全多方計算幾何研究進展 90
9.2 經典安全多方計算幾何協議 91
9.2.1 保護隱私的點線叉積協議 91
9.2.2 保護隱私的APSD協議 92
9.2.3 保護隱私的單源最短距離協議 93
9.3 安全兩方線段求交協議 94
9.3.1 原理分析 94
9.3.2 協議描述 95
9.3.3 協議分析 96
9.3.4 惡意模型下的推廣 98
9.4 保護隱私的點包含協議 99
9.4.1 協議原理 100
9.4.2 協議描述 100
9.4.3 協議分析 101
9.5 保護隱私的凸包協議 103
9.5.1 協議原理 103
9.5.2 協議描述 104
9.5.3 協議分析 106
9.6 保護隱私的凸包交集協議 108
9.6.1 數學原理 108
9.6.2 協議描述 110
9.6.3 協議分析 111
9.6.4 實例 111
9.7 本章小結 112
第10章 保護隱私的集合運算 113
10.1 保護隱私的集合運算研究進展 113
10.2 布爾電路上的HEK保護隱私的集合交集協議 115
10.2.1 預備知識 115
10.2.2 協議描述 115
10.3 保護隱私的集合交集外包計算協議 120
10.3.1 協議描述 120
10.3.2 協議分析 122
10.4 BS保護隱私的集合并集協議 127
10.5 擴展閱讀 127
參考文獻 129