實用安全多方計算導論

推薦序一
推薦序二
譯者序
致中文版讀者
致謝
第1章引言 1.1外包計算 1.2多方計算 1.3MPC應用 1.4內(nèi)容概覽
第2章定義安全多方計算 2.1符號和慣用表示 2.2基礎原語 2.3MPC的安全性 2.3.1現(xiàn)實理想范式 2.3.2半誠實安全性 2.3.3惡意安全性 2.3.4混合世界與組合性 2.4專用功能函數(shù) 2.5延伸閱讀 第3章基礎MPC協(xié)議 3.1GC協(xié)議 3.1.1GC的直觀思想 3.1.2GC協(xié)議的執(zhí)行過程 3.2GMW協(xié)議 3.2.1GMW的直觀思想 3.3BGW協(xié)議 3.4用預處理乘法三元組實現(xiàn)MPC 3.5常數(shù)輪MPC：BMR協(xié)議 3.6信息論安全亂碼電路 3.6.12輸入布爾門GESS方案 3.62減少秘密份額增長量 3.7OT協(xié)議 3.7.1基于公鑰的OT協(xié)議 3.7.2OT協(xié)議中的公鑰密碼學操作 3.8專用協(xié)議 3.8.1隱私保護集合求交 3.9延伸閱讀
第4章實現(xiàn)技術 4.1低開銷亂碼電路 4.1.1亂碼行縮減技術 4.1.2FreeXOR技術 4.1.3半門技術 4.1.4降低亂碼電路的計算開銷 4.2優(yōu)化電路 4.2.1人工設計 4.2.2自動化工具 4.3協(xié)議執(zhí)行 4.4編程工具 4.5延伸閱讀
第5章不經(jīng)意數(shù)據(jù)結構 5.1特定不經(jīng)意數(shù)據(jù)結構 5.2基于RAM的MPC 5.3樹形RAM-MPC 5.4平方根RAM-MPC 5.5Floram 5.6延伸閱讀
第6章惡意安全性 6.1切分選擇 6.2輸入恢復技術 6.3批處理切分選擇 6.4門級切分選擇：LEGO 6.5零知識證明 6.51GMW編譯器 6.5.2應用亂碼電路構造零知識證明 6.6可認證秘密分享：BDOZ和SPDZ 6.6.1BDOZ可認證秘密分享 6.6.2SPDZ可認證秘密分享 6.7可認證亂碼電路 6.8延伸閱讀
第7章其他威脅模型 7.1多數(shù)誠實假設 7.1.1在亂碼電路的基礎上構造多數(shù)誠實協(xié)議 7.1.2三方秘密分享 7.2非對稱信任模型 7.3隱蔽安全性 7.4公開可驗證隱蔽安全性 7.5降低切分選擇協(xié)議的通信開銷 7.6安全性與高效性的權衡 7.7延伸閱讀
第8章總結 中英文術語表 參考文獻