面向電子拍賣(mài)的安全計(jì)算技術(shù)與協(xié)議研究
本書(shū)主要講述面向電子拍賣(mài)安全計(jì)算研究的安全技術(shù)和應(yīng)用范例,主要內(nèi)容包括:電子拍賣(mài)的概述、數(shù)字簽名技術(shù)在電子拍賣(mài)中的應(yīng)用、加密技術(shù)在電子拍賣(mài)中的應(yīng)用、安全多方計(jì)算在電子拍賣(mài)中的應(yīng)用以及拍賣(mài)中的協(xié)議安全分析與證明。
更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
目錄
前言
第1章 緒論1
1.1 拍賣(mài)交易的歷史 1
1.1.1 世界拍賣(mài)交易歷史 1
1.1.2 中國(guó)拍賣(mài)交易歷史 1
1.2 拍賣(mài)的方式 2
1.2.1 英格蘭式拍賣(mài) 2
1.2.2 荷蘭式拍賣(mài)2
1.2.3 英格蘭式與荷蘭式結(jié)合式拍賣(mài) 3
1.2.4 密封遞價(jià)式拍賣(mài) 3
1.2.5 標(biāo)準(zhǔn)增量式拍賣(mài) 3
1.2.6 維克瑞式拍賣(mài) 3
1.2.7 速勝式拍賣(mài)4
1.2.8 反向拍賣(mài) 4
1.2.9 定向拍賣(mài) 4
1.3 電子拍賣(mài)的定義及優(yōu)勢(shì) 4
1.3.1 電子拍賣(mài)的定義 4
1.3.2 電子拍賣(mài)的優(yōu)勢(shì) 5
1.4 電子拍賣(mài)系統(tǒng)應(yīng)具有的特性 5
1.4.1 競(jìng)標(biāo)者的匿名性 5
1.4.2 獲勝競(jìng)標(biāo)者的不可抵賴(lài)性 5
1.4.3 拍賣(mài)的公開(kāi)驗(yàn)證性 5
1.4.4 拍賣(mài)的不可欺騙性 6
1.4.5 協(xié)議健壯性 6
1.4.6 拍賣(mài)的高效性 6
1.5 電子拍賣(mài)的主要形式 6
1.5.1 英格蘭式拍賣(mài)(電子拍賣(mài)) 6
1.5.2 最高價(jià)秘密投標(biāo) 6
1.5.3 最二高價(jià)秘密投標(biāo) 7
1.6 電子拍賣(mài)的類(lèi)型 7
1.6.1 一次拍賣(mài)和再拍賣(mài) 7
1.6.2 增價(jià)拍賣(mài)和減價(jià)拍賣(mài)7
1.6.3 有底價(jià)拍賣(mài)和無(wú)底價(jià)拍賣(mài) 7
1.6.4 投標(biāo)式拍賣(mài)和非投標(biāo)式拍賣(mài)8
1.6.5 單屬性拍賣(mài)和多屬性拍賣(mài) 8
1.6.6 特殊類(lèi)型的拍賣(mài) 8
1.7 電子拍賣(mài)的模型 9
1.7.1 競(jìng)標(biāo)者-賣(mài)家模型 9
1.7.2 競(jìng)標(biāo)者-拍賣(mài)行-賣(mài)家模型 10
1.7.3 競(jìng)標(biāo)者-注冊(cè)中心-拍賣(mài)行-賣(mài)家模型 10
1.8 電子拍賣(mài)所面臨的安全問(wèn)題及其安全需求 10
1.8.1 電子拍賣(mài)所面臨的安全問(wèn)題 10
1.8.2 電子拍賣(mài)的安全需求 12
第2章 數(shù)字簽名技術(shù)在電子拍賣(mài)中的應(yīng)用 14
2.1 RSA 數(shù)字簽名技術(shù) 14
2.1.1 RSA 簽名體系的密鑰產(chǎn)生 15
2.1.2 RSA 簽名算法 15
2.1.3 RSA 驗(yàn)證算法 15
2.1.4 安全性分析 15
2.2 ElGamal 數(shù)字簽名技術(shù) 16
2.2.1 ElGamal 簽名體系的密鑰產(chǎn)生 16
2.2.2 ElGamal 簽名算法 16
2.2.3 ElGamal 驗(yàn)證算法 16
2.2.4 安全性分析 17
2.3 群簽名技術(shù)及其應(yīng)用實(shí)例 17
2.3.1 群簽名技術(shù) 18
2.3.2 群簽名的安全需求 19
2.3.3 群簽名技術(shù)在電子拍賣(mài)中的應(yīng)用 19
2.4 盲簽名技術(shù) 26
2.4.1 盲簽名技術(shù)的性質(zhì)與效率 27
2.4.2 RSA 盲簽名過(guò)程 28
2.4.3 ElGamal 盲簽名過(guò)程 29
2.4.4 Bind Nyberg-Rueppel 簽名過(guò)程 29
2.5 環(huán)簽名技術(shù)及其應(yīng)用實(shí)例 30
2.5.1 環(huán)簽名的定義 31
2.5.2 環(huán)簽名的安全要求與特性 32
2.5.3 環(huán)簽名技術(shù)在電子拍賣(mài)中的應(yīng)用 32
第3章 加密技術(shù)在電子拍賣(mài)中的應(yīng)用 36
3.1 ElGamal 加密技術(shù)及其應(yīng)用實(shí)例 36
3.1.1 ElGamal 加密技術(shù)及其性質(zhì) 37
3.1.2 ElGamal 加密系統(tǒng)擴(kuò)展的分布式版本 38
3.1.3 ElGamal 分布式版本在電子拍賣(mài)中的應(yīng)用 39
3.2 Paillier 加密系統(tǒng)及其應(yīng)用實(shí)例 43
3.2.1 Paillier 加密技術(shù) 44
3.2.2 Paillier 加密技術(shù)的常用性質(zhì)及其應(yīng)用實(shí)例 45
3.2.3 Paillier 加密技術(shù)的等式和不等式比較及其應(yīng)用實(shí)例 55
3.3 橢圓曲線加密系統(tǒng)及其應(yīng)用實(shí)例 67
3.3.1 橢圓曲線加密技術(shù) 67
3.3.2 橢圓曲線加密技術(shù)在電子拍賣(mài)中的應(yīng)用 68
第4章 安全多方計(jì)算在電子拍賣(mài)中的應(yīng)用 72
4.1 不經(jīng)意傳輸技術(shù)及其應(yīng)用實(shí)例 72
4.1.1 不經(jīng)意傳輸技術(shù) 73
4.1.2 不經(jīng)意傳輸在電子拍賣(mài)中的應(yīng)用 73
4.2 秘密共享機(jī)制及其應(yīng)用實(shí)例 75
4.2.1 Shamir(t, n)門(mén)限秘密共享方案在電子拍賣(mài)中的應(yīng)用 76
4.2.2 Feldman 可驗(yàn)證秘密共享方案 83
4.2.3 Pedersen 可驗(yàn)證秘密共享方案在電子拍賣(mài)中的應(yīng)用 84
4.3 比特承諾技術(shù) 90
4.3.1 比特承諾的基本概念 91
4.3.2 Pedersen 承諾協(xié)議 92
4.4 姚氏百萬(wàn)富翁問(wèn)題及其應(yīng)用實(shí)例 93
4.4.1 姚氏百萬(wàn)富翁問(wèn)題 93
4.4.2 姚氏百萬(wàn)富翁問(wèn)題在電子拍賣(mài)中的應(yīng)用94
4.5 零知識(shí)證明及其應(yīng)用實(shí)例 96
4.5.1 知識(shí)簽名及其應(yīng)用實(shí)例 97
4.5.2 關(guān)于離散對(duì)數(shù)的零知識(shí)證明及其應(yīng)用實(shí)例 103
第5章 拍賣(mài)中的協(xié)議安全分析與證明 111
5.1 可證明安全理論與方法 111
5.1.1 公鑰加密方案 112
5.1.2 選擇明文攻擊 113
5.1.3 選擇密文攻擊 115
5.1.4 適應(yīng)性選擇密文攻擊 116
5.1.5 公鑰加密體制的計(jì)算假設(shè) 117
5.2 安全多方計(jì)算理論與方法 118
5.2.1 安全多方計(jì)算的定義 119
5.2.2 惡意模型中的安全性 120
5.3 零知識(shí)證明理論與方法 120
5.3.1 交互式零知識(shí)證明 121
5.3.2 非交互式零知識(shí)證明 122
5.4 形式化分析 123
5.4.1 BAN 邏輯 124
5.4.2 Kailar 邏輯 125
5.5 電子拍賣(mài)的安全特性分析 127
5.5.1 認(rèn)證性 127
5.5.2 機(jī)密性 127
5.5.3 完整性 127
5.5.4 不可否認(rèn)性 128
5.5.5 公平性 128
5.5.6 匿名性 128
5.6 總結(jié) 128
參考文獻(xiàn) 129