本書主要講述面向電子拍賣安全計(jì)算研究的安全技術(shù)和應(yīng)用范例，主要內(nèi)容包括：電子拍賣的概述、數(shù)字簽名技術(shù)在電子拍賣中的應(yīng)用、加密技術(shù)在電子拍賣中的應(yīng)用、安全多方計(jì)算在電子拍賣中的應(yīng)用以及拍賣中的協(xié)議安全分析與證明。

更多科學(xué)出版社服務(wù)，請掃碼獲取。

目錄 前言 第1章 緒論1 1.1 拍賣交易的歷史　1 1.1.1 世界拍賣交易歷史　1 1.1.2 中國拍賣交易歷史　1 1.2 拍賣的方式　 2 1.2.1 英格蘭式拍賣　　2 1.2.2 荷蘭式拍賣2 1.2.3 英格蘭式與荷蘭式結(jié)合式拍賣　　3 1.2.4 密封遞價式拍賣　3 1.2.5 標(biāo)準(zhǔn)增量式拍賣　3 1.2.6 維克瑞式拍賣　　3 1.2.7 速勝式拍賣4 1.2.8 反向拍賣　4 1.2.9 定向拍賣　4 1.3 電子拍賣的定義及優(yōu)勢　4 1.3.1 電子拍賣的定義　4 1.3.2 電子拍賣的優(yōu)勢　5 1.4 電子拍賣系統(tǒng)應(yīng)具有的特性　 5 1.4.1 競標(biāo)者的匿名性　5 1.4.2 獲勝競標(biāo)者的不可抵賴性　5 1.4.3 拍賣的公開驗(yàn)證性　5 1.4.4 拍賣的不可欺騙性　6 1.4.5 協(xié)議健壯性 6 1.4.6 拍賣的高效性　　6 1.5 電子拍賣的主要形式 6 1.5.1 英格蘭式拍賣（電子拍賣） 6 1.5.2 最高價秘密投標(biāo)　6 1.5.3 最二高價秘密投標(biāo)　7 1.6 電子拍賣的類型　7 1.6.1 一次拍賣和再拍賣　7 1.6.2 增價拍賣和減價拍賣7 1.6.3 有底價拍賣和無底價拍賣　7 1.6.4 投標(biāo)式拍賣和非投標(biāo)式拍賣8 1.6.5 單屬性拍賣和多屬性拍賣　8 1.6.6 特殊類型的拍賣　8 1.7 電子拍賣的模型　9 1.7.1 競標(biāo)者-賣家模型　　9 1.7.2 競標(biāo)者-拍賣行-賣家模型　10 1.7.3 競標(biāo)者-注冊中心-拍賣行-賣家模型　10 1.8 電子拍賣所面臨的安全問題及其安全需求　10 1.8.1 電子拍賣所面臨的安全問題　10 1.8.2 電子拍賣的安全需求　12 第2章 數(shù)字簽名技術(shù)在電子拍賣中的應(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ù)在電子拍賣中的應(yīng)用　19 2.4 盲簽名技術(shù)　26 2.4.1 盲簽名技術(shù)的性質(zhì)與效率　27 2.4.2 RSA 盲簽名過程　28 2.4.3 ElGamal 盲簽名過程　29 2.4.4 Bind Nyberg-Rueppel 簽名過程　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ù)在電子拍賣中的應(yīng)用　32 第3章 加密技術(shù)在電子拍賣中的應(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 分布式版本在電子拍賣中的應(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ù)在電子拍賣中的應(yīng)用　68 第4章 安全多方計(jì)算在電子拍賣中的應(yīng)用　72 4.1 不經(jīng)意傳輸技術(shù)及其應(yīng)用實(shí)例　　72 4.1.1 不經(jīng)意傳輸技術(shù)　73 4.1.2 不經(jīng)意傳輸在電子拍賣中的應(yīng)用　73 4.2 秘密共享機(jī)制及其應(yīng)用實(shí)例　75 4.2.1 Shamir(t, n)門限秘密共享方案在電子拍賣中的應(yīng)用　76 4.2.2 Feldman 可驗(yàn)證秘密共享方案　83 4.2.3 Pedersen 可驗(yàn)證秘密共享方案在電子拍賣中的應(yīng)用　　84 4.3 比特承諾技術(shù)　　90 4.3.1 比特承諾的基本概念　91 4.3.2 Pedersen 承諾協(xié)議　　92 4.4 姚氏百萬富翁問題及其應(yīng)用實(shí)例　93 4.4.1 姚氏百萬富翁問題　　93 4.4.2 姚氏百萬富翁問題在電子拍賣中的應(yīng)用94 4.5 零知識證明及其應(yīng)用實(shí)例　96 4.5.1 知識簽名及其應(yīng)用實(shí)例　97 4.5.2 關(guān)于離散對數(shù)的零知識證明及其應(yīng)用實(shí)例　103 第5章 拍賣中的協(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 零知識證明理論與方法　　120 5.3.1 交互式零知識證明　121 5.3.2 非交互式零知識證明　 122 5.4 形式化分析　123 5.4.1 BAN 邏輯　 124 5.4.2 Kailar 邏輯　125 5.5 電子拍賣的安全特性分析　　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