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

第1章 緒論\t1
1．1 密碼學(xué)的發(fā)展歷史\t1
1．2 現(xiàn)代密碼學(xué)體制\t2
1．3 現(xiàn)代密碼學(xué)與安全多方計(jì)算\t3
第2章 數(shù)學(xué)基礎(chǔ)\t4
2．1 預(yù)備知識(shí)\t4
2．1．1 素?cái)?shù)\t4
2．1．2 模運(yùn)算\t4
2．1．3 群\t5
2．2 密碼學(xué)困難性假設(shè)\t6
2．2．1 大數(shù)分解困難性假設(shè)\t6
2．2．2 離散對(duì)數(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 零知識(shí)證明\t19
3．6 比特承諾\t20
3．7 盲簽名\t20
3．8 本章小結(jié)\t21
第4章 安全多方計(jì)算基礎(chǔ)\t22
4．1 安全多方計(jì)算的定義\t22
4．2 計(jì)算模型\t23
4．3 安全性分類\t24
4．3．1 信息論安全\t25
4．3．2 計(jì)算安全\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章 百萬(wàn)富翁協(xié)議\t44
6．1 問題描述\t44
6．2 百萬(wàn)富翁問題的Yao氏解決方案\t44
6．3 布爾電路上的KSS百萬(wàn)富翁協(xié)議\t46
6．4 基于同態(tài)加密的百萬(wàn)富翁協(xié)議\t47
6．5 安全多方數(shù)據(jù)比較協(xié)議\t48
6．6 本章小結(jié)\t50
第7章 安全多方科學(xué)計(jì)算\t51
7．1 安全多方科學(xué)計(jì)算研究現(xiàn)狀\t51
7．2 經(jīng)典安全多方科學(xué)計(jì)算協(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ǔ)知識(shí)\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 云計(jì)算安全體系\t82
8．6．2 安全多方云計(jì)算\t85
8．6．3 安全云電子投票協(xié)議\t86
8．7 本章小結(jié)\t89
第9章 安全多方計(jì)算幾何\t90
9．1 安全多方計(jì)算幾何研究進(jìn)展\t90
9．2 經(jīng)典安全多方計(jì)算幾何協(xié)議\t91
9．2．1 保護(hù)隱私的點(diǎn)線叉積協(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ù)隱私的點(diǎn)包含協(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 實(shí)例\t111
9．7 本章小結(jié)\t112
第10章 保護(hù)隱私的集合運(yùn)算\t113
10．1 保護(hù)隱私的集合運(yùn)算研究進(jìn)展\t113
10．2 布爾電路上的HEK保護(hù)隱私的集合交集協(xié)議\t115
10．2．1 預(yù)備知識(shí)\t115
10．2．2 協(xié)議描述\t115
10．3 保護(hù)隱私的集合交集外包計(jì)算協(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