實用安全多方計算導論 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
立即出貨 (庫存 < 4)
買這商品的人也買了...
-
$594$564 -
$708$673 -
$301路由與交換技術(華為信息與網絡技術學院指定教材)/ICT認證系列叢書
-
$648$616 -
$550$385 -
$594$564 -
$556$523 -
$414$393 -
$403密碼協議實現的邏輯安全分析與設計
-
$266路由交換技術詳解與實踐 第1捲(上冊)
-
$662RISC-V 體系結構編程與實踐
-
$834$792 -
$556$523 -
$458黑白之門:形式語言與自動機的奇幻冒險
-
$534$507 -
$708$673 -
$534$507 -
$407$383 -
$354$336 -
$588$559 -
$594$564 -
$654$621 -
$403開源 RISC-V 處理器架構分析與驗證
-
$352AI Agent:AI的下一個風口
-
$658平行程式設計導論(原書第2版)
相關主題
商品描述
安全多方計算(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章總結
中英文術語表
參考文獻