書馨卡幫你省薪 2024個(gè)人購(gòu)書報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)

安全多方計(jì)算

作者：徐秋亮
出版社：科學(xué)出版社出版時(shí)間：2024-03-01
開本： B5 頁(yè)數(shù)： 285
中 圖 價(jià):¥101.1(7.9折) 定價(jià)  ¥128.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

安全多方計(jì)算 版權(quán)信息

安全多方計(jì)算 內(nèi)容簡(jiǎn)介

安全多方計(jì)算作為密碼協(xié)議的一般性理論研究,取得了非常豐富、深刻的研究成果,是密碼學(xué)基礎(chǔ)理論的重要組成部分;由于實(shí)際應(yīng)用的需求,近年來在實(shí)用化方面也取得了顯著成果.本書旨在對(duì)這一研究領(lǐng)域進(jìn)行梳理,形成一個(gè)完整系統(tǒng)的總結(jié),展現(xiàn)其基本思想與方法.本書以安全多方計(jì)算的起源和里程碑式的成果為起點(diǎn),介紹了Yao混淆電路、GMW、BGW等基礎(chǔ)協(xié)議,嚴(yán)格論述了安全模型及形式化證明方法,并對(duì)實(shí)用化技術(shù)做了詳盡分析與介紹.本書由淺入深,逐步引導(dǎo)讀者進(jìn)入安全多方計(jì)算理論研究與技術(shù)開發(fā)前沿,旨在提供一本系統(tǒng)、完整介紹該領(lǐng)域基礎(chǔ)理論與應(yīng)用技術(shù)的著作.

安全多方計(jì)算 目錄

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

安全多方計(jì)算 作者簡(jiǎn)介

徐秋亮，山東大學(xué)軟件學(xué)院教授、中國(guó)密碼學(xué)會(huì)理事、中國(guó)電子學(xué)會(huì)區(qū)塊鏈專委會(huì)副主任委員、山東網(wǎng)絡(luò)空間安全專委會(huì)主任委員、中國(guó)密碼學(xué)會(huì)密碼算法專委會(huì)、安全協(xié)議專委會(huì)委員，密碼學(xué)會(huì)密碼應(yīng)用工作委員會(huì)委員。長(zhǎng)期從事密碼學(xué)研究，在安全多方計(jì)算、群組密碼等方面具有長(zhǎng)期的積累，承擔(dān)“國(guó)家自然科學(xué)基金”等多項(xiàng)國(guó)家級(jí)及省部級(jí)項(xiàng)目，在ASIACRYPT、ESORICS、TDSC等國(guó)際高水平會(huì)議或期刊上發(fā)表論文多篇，F(xiàn)在的主要研究方向包括安全多方計(jì)算理論及實(shí)用化、云環(huán)境下的數(shù)據(jù)安全、區(qū)塊鏈理論與實(shí)踐等。

商品評(píng)論(0條)
暫無(wú)評(píng)論……
書友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服