實用安全多方計算導論 A Pragmatic Introduction to Secure Multi-Party Computation

David Evans，Vladimir Kolesnikov，Mike Rosulek 劉巍然//丁晟超

實用安全多方計算導論

買這商品的人也買了...

中文年末書展｜繁簡參展書2書75折 詳見活動內容 »

相關主題

商品描述

安全多方計算（Secure Multi-Party Computation，MPC）已經從20世紀80年代的理論構想發展成為當今用於構建實際系統的工具。
在過去的十年間，MPC已成為理論密碼學和應用密碼學領域最活躍的研究方向之一。
介紹一系列重要的MPC協議，總結應用MPC構建隱私保護應用時的效率提升方法。
在總覽相關研究領域、詳解主要協議構造方案的同時，介紹目前MPC活躍的研究方向，
從而讓讀者瞭解現在可以通過實際應用MPC來解決哪些問題，以及不同的安全模型和安全假設從何種層面影響不同方法的實用性。
本書內容前沿，註重實際應用，是安全多方計算領域不可多得的入門著作，
不但適用於有意涉足MPC領域的研究者，也適用於想在實際業務場景中應用MPC技術的實踐者。

目錄大綱

推薦序一
推薦序二
譯者序
致中文版讀者
致謝
第1章引言
1.1外包計算
1.2多方計算
1.3MPC應用
1.4內容概覽

第2章定義安全多方計算
2.1符號和慣用表示
2.2基礎原語
2.3MPC的安全性
2.3.1現實理想範式
2.3.2半誠實安全性
2.3.3惡意安全性
2.3.4混合世界與組合性
2.4專用功能函數
2.5延伸閱讀

第3章基礎MPC協議
3.1GC協議
3.1.1GC的直觀思想
3.1.2GC協議的執行過程
3.2GMW協議
3.2.1GMW的直觀思想
3.3BGW協議
3.4用預處理乘法三元組實現MPC
3.5常數輪MPC：BMR協議
3.6信息論安全亂碼電路
3.6.12輸入布爾門GESS方案
3.62減少秘密份額增長量
3.7OT協議
3.7.1基於公鑰的OT協議
3.7.2OT協議中的公鑰密碼學操作
3.8專用協議
3.8.1隱私保護集合求交
3.9延伸閱讀

第4章實現技術
4.1低開銷亂碼電路
4.1.1亂碼行縮減技術
4.1.2FreeXOR技術
4.1.3半門技術
4.1.4降低亂碼電路的計算開銷
4.2優化電路
4.2.1人工設計
4.2.2自動化工具
4.3協議執行
4.4編程工具
4.5延伸閱讀

第5章不經意數據結構
5.1特定不經意數據結構
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多數誠實假設
7.1.1在亂碼電路的基礎上構造多數誠實協議
7.1.2三方秘密分享
7.2非對稱信任模型
7.3隱蔽安全性
7.4公開可驗證隱蔽安全性
7.5降低切分選擇協議的通信開銷
7.6安全性與高效性的權衡
7.7延伸閱讀

第8章總結
中英文術語表
參考文獻

類似商品