包郵 安全多方計算

目錄“密碼理論與技術叢書”序前言第1章　引言11.1　現(xiàn)代密碼學概述11.2　安全多方計算的發(fā)展概況21.3　安全多方計算實用系統(tǒng)研究4參考文獻5第2章　安全模型及證明技術82.1　現(xiàn)代密碼學與可證明安全性82.1.1　預備知識92.1.2　歸約證明技術132.1.3　模擬證明技術142.2　安全多方計算安全模型142.2.1　計算任務的定義142.2.2　敵手能力的定義162.2.3　運行環(huán)境定義172.2.4　安全目標的定義182.2.5　理想/現(xiàn)實模擬的證明思想192.3　半誠實敵手模型202.3.1　半誠實敵手模型下理想世界協(xié)議運行212.3.2　半誠實敵手模型下現(xiàn)實世界協(xié)議運行222.3.3　半誠實敵手模型下基于模擬的安全性定義222.4　惡意敵手模型242.4.1　惡意敵手模型下理想世界協(xié)議運行252.4.2　惡意敵手模型下現(xiàn)實世界協(xié)議運行272.4.3　惡意敵手模型下基于模擬的安全性定義272.5　安全多方計算安全模型的進一步討論282.5.1　功能函數(shù)的分類及相互轉(zhuǎn)化282.5.2　關于敵手修改輸入的討論312.5.3　對安全兩方計算協(xié)議安全性的討論322.6　組合安全性342.6.1　混合模型及模塊化順序組合安全342.6.2　通用可組合安全39參考文獻41第3章　相關基本協(xié)議與算法423.1　承諾423.1.1　承諾的概念423.1.2　基于密碼學Hash函數(shù)的比特承諾443.1.3　基于離散對數(shù)的Pedersen承諾453.2　茫然傳輸463.2.1　茫然傳輸?shù)母拍?63.2.2　基于公鑰加密的2選1 OT協(xié)議483.3　門限秘密共享493.3.1　門限秘密共享的概念493.3.2　簡單加法(n，n)門限秘密共享方案513.3.3　Shamir (t，n)門限秘密共享方案523.3.4　可驗證的秘密共享543.4　同態(tài)加密553.4.1　RSA與ElGamal加密方案的同態(tài)性553.4.2　Paillier加密方案573.4.3　BGN加密方案593.4.4　關于同態(tài)加密方案的說明61參考文獻61第4章　零知識證明634.1　Schnorr協(xié)議644.2　交互證明與零知識證明704.3　知識證明與知識的零知識證明794.4　Σ-協(xié)議824.4.1　概念824.4.2　Σ-協(xié)議的組合性864.4.3　由Σ-協(xié)議構造零知識證明協(xié)議894.5　非交互零知識證明92參考文獻95第5章　安全多方計算基礎方案975.1　百萬富翁問題975.2　混淆電路與Yao協(xié)議985.2.1　混淆電路995.2.2　Yao協(xié)議1025.3　GMW協(xié)議1045.3.1　4選1茫然傳輸1055.3.2　兩方場景1065.3.3　兩方場景示例1105.3.4　多方場景1115.3.5　GMW協(xié)議整體描述1135.4　BGW協(xié)議1145.4.1　秘密份額狀態(tài)下電路計算1155.4.2　BGW協(xié)議的整體描述1195.5　BMR協(xié)議120參考文獻126第6章　半誠實敵手模型安全性證明1276.1　證明實例——OT?協(xié)議1276.1.1　一個基于DDH問題的OT協(xié)議1276.1.2　OT協(xié)議安全性證明1306.2　Yao協(xié)議安全性證明1326.2.1　Yao協(xié)議描述1326.2.2　Yao協(xié)議安全性證明1336.3　GMW協(xié)議安全性證明1386.3.1　GMW協(xié)議描述1396.3.2　GMW協(xié)議安全性證明140參考文獻142第7章　惡意敵手模型安全性證明1447.1　GMW編譯器概述1447.2　惡意敵手模型安全性證明簡單示例1457.2.1　知識的零知識證明——DH四元組1467.2.2　OT協(xié)議描述1467.2.3　OT協(xié)議安全性證明1477.3　Yao協(xié)議的惡意敵手模型安全性證明1507.3.1　基于cut-and-choose技術的Yao協(xié)議1507.3.2　基于cut-and-choose技術的Yao協(xié)議安全性證明159參考文獻167第8章　基于Beaver三元組的實用性協(xié)議1688.1　半誠實敵手模型下安全的Beaver安全多方計算協(xié)議1698.1.1　Beaver三元組1698.1.2　Beaver三元組的生成1698.1.3　半誠實敵手模型下Beaver安全多方計算協(xié)議1768.2　惡意敵手模型下安全的BDOZ安全多方計算協(xié)議1808.2.1　預備知識: MAC方案及其安全性1818.2.2　BDOZ同態(tài)MAC方案1828.2.3　BDOZ認證秘密共享方案1868.2.4　BDOZ安全多方計算協(xié)議1898.3　惡意敵手模型下安全的SPDZ安全多方計算協(xié)議2038.3.1　SPDZ MAC方案2038.3.2　基于SPDZ MAC的認證秘密共享方案2058.3.3　SPDZ安全多方計算協(xié)議2148.3.4　環(huán)上的安全多方計算協(xié)議224參考文獻225第9章　安全多方計算實用化技術2279.1　OT擴展技術2279.1.1　半誠實敵手模型下安全的Beaver OT擴展協(xié)議2279.1.2　半誠實敵手模型下安全的IKNP OT擴展協(xié)議2329.1.3　惡意敵手模型下安全的KOS OT擴展協(xié)議2399.2　Yao-混淆電路優(yōu)化技術2449.2.1　對混淆XOR門的優(yōu)化2449.2.2　對混淆表的優(yōu)化2469.3　ABY混合框架2489.3.1　符號約定2499.3.2　分享類型2499.3.3　類型轉(zhuǎn)換253參考文獻256第10章　量子安全多方計算簡介25810.1　量子力學基礎知識25910.1.1　量子力學的數(shù)學框架25910.1.2　不確定性原理26110.1.3　未知量子態(tài)不可克隆26110.1.4　非正交量子態(tài)不可區(qū)分26110.2　常用量子技術26210.2.1　量子比特及常用的操作26210.2.2　d級量子系統(tǒng)26310.2.3　超密編碼26510.2.4　量子隱形傳態(tài)26710.2.5　誘騙態(tài)26910.3　典型量子安全多方計算協(xié)議27010.3.1　量子安全多方求和27010.3.2　量子安全多方求集合交集勢和并集勢27210.3.3　量子隱私比對27510.3.4　量子匿名投票27610.3.5　量子密封拍賣278參考文獻280索引283“密碼理論與技術叢書”已出版書目