實用安全多方計算導論 A Pragmatic Introduction to Secure Multi-Party Computation
David Evans,Vladimir Kolesnikov,Mike Rosulek 劉巍然//丁晟超
- 出版商: 機械工業
- 出版日期: 2021-05-28
- 定價: $474
- 售價: 8.5 折 $403
- 語言: 簡體中文
- 頁數: 200
- 裝訂: 平裝
- ISBN: 7111681401
- ISBN-13: 9787111681403
-
相關分類:
資訊安全
- 此書翻譯自: A Pragmatic Introduction to Secure Multi-Party Computation
立即出貨
買這商品的人也買了...
-
$550$385 -
$564邊緣計算:原理、技術與實踐
-
$556$523 -
$806模型檢驗原理
-
$403密碼協議實現的邏輯安全分析與設計
-
$390RISC-V 體系結構編程與實踐
-
$407GPT 圖解 : 大模型是怎樣構建的
-
$556高效能並行運行時系統:設計與實現
-
$2,622Professional C++
-
$510軟件開發珠璣:穿越50年軟件往事的60條戒律
-
$539$512 -
$474$450 -
$390$371 -
$1,188$1,129 -
$1,970$1,872 -
$580$458 -
$539$512 -
$888$844 -
$650$507 -
$256軟件開發的藝術
-
$354$336 -
$768$730 -
$768$730 -
$1,374$1,305 -
$654$621
商品描述
安全多方計算(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.62減少秘密份額增長量
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.51GMW編譯器
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章總結
中英文術語表
參考文獻