安全遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議

序 前言 第1章 緒論 1．1 引言 1．2 投票的分類 1．2．1 按照票的介質(zhì)進(jìn)行分類 1．2．2 按照票的類型進(jìn)行分類 1．2．3 按照票的權(quán)重進(jìn)行分類 1．3 傳統(tǒng)投票模型 1．4 遠(yuǎn)程網(wǎng)絡(luò)投票模型 1．5 本章小結(jié) 參考文獻(xiàn) 第2章 相關(guān)的密碼技術(shù) 2．1 公鑰密碼體制 2．1．1 RSA公鑰加密體制 2．1．2 E1Gamal公鑰加密體制 2．1．3 Paillier公鑰加密體制 2．1．4 BCP公鑰密碼體制 2．2 秘密共享 2．3 門(mén)限公鑰加密 2．3．1 RSA公鑰加密的門(mén)限版本 2．3．2 E1Gamal公鑰加密的門(mén)限版本 2．3．3 Paillier加密的門(mén)限版本 2．4 盲簽名 2．5 同態(tài)加密 2．6 混淆網(wǎng) 2．7 Fiat―Shamir啟發(fā)式 2．8 離散對(duì)數(shù)相等知識(shí)證明 2．9 BCP承諾方案 2．10 分布式明文相等測(cè)試 2．11 指定驗(yàn)證者證明/簽名 2．12 指定驗(yàn)證者離散對(duì)數(shù)相等證明 2．13 明文相等證明協(xié)議 2．14 指定驗(yàn)證者再加密證明 2．15 非交互式可否認(rèn)認(rèn)證協(xié)議 2．15．1 Meng非交互式可否認(rèn)認(rèn)證協(xié)議 2．15．2 Fan交互式可否認(rèn)認(rèn)證協(xié)議 2．16 Meng和Wang可否認(rèn)加密模式 2．17 本章小結(jié) 參考文獻(xiàn) 第3章 遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議 3．1 遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議安全屬性 3．2 遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議國(guó)內(nèi)外發(fā)展現(xiàn)狀 3．2．1 無(wú)收據(jù)性 3．2．2 抗威脅性 3．3 本章小結(jié) 參考文獻(xiàn) 第4章 典型遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議 4．1 DLM投票協(xié)議 4．2 F00投票協(xié)議 4．3 CGS投票協(xié)議 4．4 JCJ投票協(xié)議 4．5 Acquisti投票協(xié)議 4．6 提出的基于明文相等證明的投票協(xié)議 4．7 提出的基于非交互式可否認(rèn)認(rèn)證協(xié)議的投票協(xié)議 4．8 提出的基于可否認(rèn)加密的投票協(xié)議 4．9 本章小結(jié) 參考文獻(xiàn) 第5章 基于符號(hào)模型的遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議分析與驗(yàn)證 5．1 引言 5．2 符號(hào)模型分析與驗(yàn)證遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議 5．3 本章小結(jié) 參考文獻(xiàn) 第6章 手工方式分析與驗(yàn)證無(wú)收據(jù)性 6．1 DKR模型及應(yīng)用 6．1．1 應(yīng)用PI演算 6．1．2 DKR模型 6．1．3 DKR模型應(yīng)用 6．2 Jonker-Vink模型及應(yīng)用 6．2．1 Jonkei-Vink模型 6．2．2 Jonker-Vink模型應(yīng)用 6．3 Meng模型及應(yīng)用 6．3．1 Kessler和Neumann邏輯 6．3．2 Meng模型 6．3．3 Meng模型應(yīng)用 6．4 本章小結(jié) 參考文獻(xiàn) 第7章 自動(dòng)化分析與驗(yàn)證正確性與抗威脅性 7．1 引言 7．2 一階定理證明器ProVer。if 7．3 Backes模型 7．3．1 遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議形式化模型 7．3．2 安全屬性形式化定義 7．4 本章小結(jié) 參考文獻(xiàn) 第8章 自動(dòng)化分析與驗(yàn)證抗拒絕服務(wù)攻擊性 8．1 引言 8．2 擴(kuò)展的應(yīng)用PI演算 8．2．1 攻擊者上下文 8．2．2 項(xiàng) 8．2．3 擴(kuò)展后的進(jìn)程 8．2．4 進(jìn)程上下文 8．3 定義和符號(hào)說(shuō)明 8．4 自動(dòng)化證明抗拒絕服務(wù)攻擊性方法 8．5 本章小結(jié) 參考文獻(xiàn) 第9章 自動(dòng)化分析與驗(yàn)證典型遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議安全性 9．1 正確性與抗威脅性 9．1．1 Meng等投票協(xié)議 9．1．2 Meng投票協(xié)議 9．1．3 Acquisti投票協(xié)議 9．2 抗拒絕服務(wù)攻擊性 9．2．1 Meng投票協(xié)議 9．2．2 Acquisti投票協(xié)議 9．3 本章小結(jié) 參考文獻(xiàn) 第10章 基于計(jì)算模型的遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議分析與驗(yàn)證 10．1 引言 10．2 計(jì)算模型分析與驗(yàn)證遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議 10．3 本章小結(jié) 參考文獻(xiàn) 第11章 Blanchet演算和CryptoVerif 11．1 B1anchet演算 11．2 自動(dòng)化證明工具CryptoVerif 11．2．1 結(jié)構(gòu) 11．2．2 證明目標(biāo) 11．2．3 語(yǔ)法 11．3 應(yīng)用：可否認(rèn)性模型 11．3．1 提出的可否認(rèn)性模型 11．3．2 Meng協(xié)議可否認(rèn)性自動(dòng)化證明 11．3．3 Fan協(xié)議可否認(rèn)性自動(dòng)化證明 11．4 本章小結(jié) 參考文獻(xiàn) 第12章 擴(kuò)展的Blanchet演算 12．1 擴(kuò)展的Blanchet演算 12．2 應(yīng)用：抗拒絕服務(wù)攻擊性模型 12．2．1 提出的基于事件的抗拒絕服務(wù)攻擊性模型 12．2．2 4步握手協(xié)議抗拒絕服務(wù)攻擊性自動(dòng)化證明 12．3 本章小結(jié) 參考文獻(xiàn) 第13章 自動(dòng)化分析與驗(yàn)證典型遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議抗威脅性 13．1 引言 13．2 提出的抗威脅性模型 13．3 自動(dòng)化證明Meng等投票協(xié)議抗威脅性 13．3．1 Meng等投票協(xié)議 13．3．2 基于擴(kuò)展的Blanchet演算建模Meng等投票協(xié)議 13．3．3 Meng等投票協(xié)議抗威脅性自動(dòng)化證明 13．4 本章小結(jié) 參考文獻(xiàn)