現(xiàn)代密碼學(xué)：基于安全多方計算協(xié)議的研究

第1章 緒論\t1
1．1 密碼學(xué)的發(fā)展歷史\t1
1．2 現(xiàn)代密碼學(xué)體制\t2
1．3 現(xiàn)代密碼學(xué)與安全多方計算\t3
第2章 數(shù)學(xué)基礎(chǔ)\t4
2．1 預(yù)備知識\t4
2．1．1 素數(shù)\t4
2．1．2 模運算\t4
2．1．3 群\t5
2．2 密碼學(xué)困難性假設(shè)\t6
2．2．1 大數(shù)分解困難性假設(shè)\t6
2．2．2 離散對數(shù)困難性假設(shè)\t7
2．2．3 Diffie-Hellman問題\t7
第3章 密碼學(xué)基礎(chǔ)\t8
3．1 秘密共享\t8
3．1．1 研究進(jìn)展\t8
3．1．2 經(jīng)典協(xié)議\t11
3．2 茫然傳輸\t12
3．2．1 茫然傳輸?shù)母拍頫t12
3．2．2 經(jīng)典協(xié)議\t13
3．2．3 進(jìn)一步閱讀的建議\t15
3．3 同態(tài)加密技術(shù)\t16
3．4 Mix-Match協(xié)議\t18
3．5 零知識證明\t19
3．6 比特承諾\t20
3．7 盲簽名\t20
3．8 本章小結(jié)\t21
第4章 安全多方計算基礎(chǔ)\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 明確的困難性假設(shè)\t29
4．4．3 嚴(yán)格的安全性證明\t30
4．5 本章小結(jié)\t30
第5章 通用混淆電路估值技術(shù)\t31
5．1 Yao氏混淆電路估值方案\t31
5．2 GMW混淆電路估值方案\t32
5．3 KS混淆電路估值方案\t34
5．4 常用布爾電路\t36
5．4．1 布爾電路\t36
5．4．2 整數(shù)加法電路\t37
5．4．3 整數(shù)減法電路\t38
5．4．4 比較器\t39
5．4．5 多路選擇器\t40
5．4．6 條件轉(zhuǎn)換器\t41
5．5 擴(kuò)展閱讀\t42
第6章 百萬富翁協(xié)議\t44
6．1 問題描述\t44
6．2 百萬富翁問題的Yao氏解決方案\t44
6．3 布爾電路上的KSS百萬富翁協(xié)議\t46
6．4 基于同態(tài)加密的百萬富翁協(xié)議\t47
6．5 安全多方數(shù)據(jù)比較協(xié)議\t48
6．6 本章小結(jié)\t50
第7章 安全多方科學(xué)計算\t51
7．1 安全多方科學(xué)計算研究現(xiàn)狀\t51
7．2 經(jīng)典安全多方科學(xué)計算協(xié)議\t52
7．2．1 保護(hù)隱私的線性方程組求解協(xié)議\t52
7．2．2 安全兩方線性規(guī)劃協(xié)議\t53
7．2．3 安全線性子空間相關(guān)協(xié)議\t53
7．3 保護(hù)隱私的同余方程組求解協(xié)議\t57
7．3．1 問題描述\t58
7．3．2 原理分析\t58
7．3．3 協(xié)議描述\t58
7．3．4 協(xié)議分析\t59
7．3．5 舉例\t61
7．4 多秘密共享協(xié)議\t62
7．4．1 CC多秘密共享協(xié)議\t62
7．4．2 基于保護(hù)隱私同余方程組協(xié)議的多秘密共享\t67
7．5 本章小結(jié)\t68
第8章 保護(hù)隱私的電子投票協(xié)議\t69
8．1 電子投票系統(tǒng)的發(fā)展\t69
8．2 保護(hù)隱私的電子投票研究進(jìn)展\t70
8．3 安全電子投票基礎(chǔ)知識\t71
8．3．1 安全電子投票模型\t71
8．3．2 安全電子投票系統(tǒng)的組成\t73
8．4 經(jīng)典保護(hù)隱私的電子投票方案\t73
8．4．1 FOO方案\t73
8．4．2 CGS方案\t76
8．5 保護(hù)多方隱私的電子投票協(xié)議\t77
8．5．1 協(xié)議描述\t77
8．5．2 協(xié)議分析\t79
8．5．3 舉例\t80
8．6 保護(hù)隱私的云電子投票協(xié)議\t82
8．6．1 云計算安全體系\t82
8．6．2 安全多方云計算\t85
8．6．3 安全云電子投票協(xié)議\t86
8．7 本章小結(jié)\t89
第9章 安全多方計算幾何\t90
9．1 安全多方計算幾何研究進(jìn)展\t90
9．2 經(jīng)典安全多方計算幾何協(xié)議\t91
9．2．1 保護(hù)隱私的點線叉積協(xié)議\t91
9．2．2 保護(hù)隱私的APSD協(xié)議\t92
9．2．3 保護(hù)隱私的單源最短距離協(xié)議\t93
9．3 安全兩方線段求交協(xié)議\t94
9．3．1 原理分析\t94
9．3．2 協(xié)議描述\t95
9．3．3 協(xié)議分析\t96
9．3．4 惡意模型下的推廣\t98
9．4 保護(hù)隱私的點包含協(xié)議\t99
9．4．1 協(xié)議原理\t100
9．4．2 協(xié)議描述\t100
9．4．3 協(xié)議分析\t101
9．5 保護(hù)隱私的凸包協(xié)議\t103
9．5．1 協(xié)議原理\t103
9．5．2 協(xié)議描述\t104
9．5．3 協(xié)議分析\t106
9．6 保護(hù)隱私的凸包交集協(xié)議\t108
9．6．1 數(shù)學(xué)原理\t108
9．6．2 協(xié)議描述\t110
9．6．3 協(xié)議分析\t111
9．6．4 實例\t111
9．7 本章小結(jié)\t112
第10章 保護(hù)隱私的集合運算\t113
10．1 保護(hù)隱私的集合運算研究進(jìn)展\t113
10．2 布爾電路上的HEK保護(hù)隱私的集合交集協(xié)議\t115
10．2．1 預(yù)備知識\t115
10．2．2 協(xié)議描述\t115
10．3 保護(hù)隱私的集合交集外包計算協(xié)議\t120
10．3．1 協(xié)議描述\t120
10．3．2 協(xié)議分析\t122
10．4 BS保護(hù)隱私的集合并集協(xié)議\t127
10．5 擴(kuò)展閱讀 127\t
參考文獻(xiàn) 129