《安全遠程網路投票協定》共有十三章。系統全面地介紹了遠程網路投票協定設計與分析的基本理論、關鍵技術及最新成果。主要內容包括遠程網路投票協定的分類和模型、國內外發展現狀、安全屬性及其實現所需要的關鍵技術、典型遠程網路投票協定、基於符號模型手工方式分析與驗證無收據性、套用PI演算、一階定理證明器ProVerif、基於符號模型自動化分析與驗證抗拒絕服務攻擊性、無收據性和抗威脅性、機率進程演算、自動化安全協定證明器Crypto‐Verif、基於計算模型自動化分析和驗證抗威脅性等。 《安全遠程網路投票協定》可供從事安全協定、密碼學、計算機、通信和數學等專業的科技人員、碩士和博士研究生參考，也可供高等院校相關專業的師生參考。
基本介紹
- 書名：安全遠程網路投票協定
- 類型：計算機與網際網路
- 出版日期：2013年6月1日
- 語種：簡體中文
- 品牌：科學出版社
- 作者：孟博 王德軍
- 出版社：科學出版社
- 頁數：314頁
- 開本：B5
內容簡介,圖書目錄,
內容簡介
《安全遠程網路投票協定》可供從事安全協定、密碼學、計算機、通信和數學等專業的科技人員、碩士和博士研究生參考，也可供高等院校相關專業的師生參考。
圖書目錄
序
前言
第1章緒論
1.1 引言
1.2投票的分類
1.2.1按照票的介質進行分類
1.2.2按照票的類型進行分類
1.2.3按照票的權重進行分類
1.3傳統投票模型
1.4遠程網路投票模型
1.5本章小結
參考文獻
第2章相關的密碼技術
2.1公鑰密碼體制
2.1.1 RSA公鑰加密體制
2.1.2 E1Gamal公鑰加密體制
2.1.3 Paillier公鑰加密體制
2.1.4 BCP公鑰密碼體制
2.2秘密共享
2.3門限公鑰加密
2.3.1 RSA公鑰加密的門限版本
2.3.2 E1Gamal公鑰加密的門限版本
2.3.3 Paillier加密的門限版本
2.4盲簽名
2.5 同態加密
2.6混淆網
2.7 Fiat—Shamir啟發式
2.8離散對數相等知識證明
2.9 BCP承諾方案
2.10分散式明文相等測試
2.11指定驗證者證明/簽名
2.12指定驗證者離散對數相等證明
2.13明文相等證明協定
2.14指定驗證者再加密證明
2.15非互動式可否認認證協定
2.15.1 Meng非互動式可否認認證協定
2.15.2 Fan互動式可否認認證協定
2.16 Men9和Wang可否認加密模式
2.17本章小結
參考文獻
第3章遠程網路投票協定
3.1遠程網路投票協定安全屬性
3.2遠程網路投票協定國內外發展現狀
3.2.1無收據性
3.2.2抗威脅性
3.3本章小結
參考文獻
第4章典型遠程網路投票協定
4.1 DLM投票協定
4.2 F00投票協定
4.3 CGS投票協定
4.4 JCJ投票協定
4.5 Acquisti投票協定
4.6提出的基於明文相等證明的投票協定
4.7提出的基於非互動式可否認認證協定的投票協定
4.8提出的基於可否認加密的投票協定
4.9本章小結
參考文獻
第5章基於符號模型的遠程網路投票協定分析與驗證
5.1引言
5.2符號模型分析與驗證遠程網路投票協定
5.3本章小結
參考文獻
……
第6章 手工方式分析與驗證無收據性
第7章 自動化分析與驗證正確性與抗威脅性
第8章 自動化分析與驗證抗拒絕服務攻擊性
第9章 自動化分析與驗證典型遠程網路投票協定安全性
第10章基於計算模型的遠程網路投票協定分析與驗證
第11章Blanchet演算和CryptoVerif
第12章擴展的Blanchet演算
第13章自動化分析與驗證典型遠程網路投票協定抗威脅性
前言
第1章緒論
1.1 引言
1.2投票的分類
1.2.1按照票的介質進行分類
1.2.2按照票的類型進行分類
1.2.3按照票的權重進行分類
1.3傳統投票模型
1.4遠程網路投票模型
1.5本章小結
參考文獻
第2章相關的密碼技術
2.1公鑰密碼體制
2.1.1 RSA公鑰加密體制
2.1.2 E1Gamal公鑰加密體制
2.1.3 Paillier公鑰加密體制
2.1.4 BCP公鑰密碼體制
2.2秘密共享
2.3門限公鑰加密
2.3.1 RSA公鑰加密的門限版本
2.3.2 E1Gamal公鑰加密的門限版本
2.3.3 Paillier加密的門限版本
2.4盲簽名
2.5 同態加密
2.6混淆網
2.7 Fiat—Shamir啟發式
2.8離散對數相等知識證明
2.9 BCP承諾方案
2.10分散式明文相等測試
2.11指定驗證者證明/簽名
2.12指定驗證者離散對數相等證明
2.13明文相等證明協定
2.14指定驗證者再加密證明
2.15非互動式可否認認證協定
2.15.1 Meng非互動式可否認認證協定
2.15.2 Fan互動式可否認認證協定
2.16 Men9和Wang可否認加密模式
2.17本章小結
參考文獻
第3章遠程網路投票協定
3.1遠程網路投票協定安全屬性
3.2遠程網路投票協定國內外發展現狀
3.2.1無收據性
3.2.2抗威脅性
3.3本章小結
參考文獻
第4章典型遠程網路投票協定
4.1 DLM投票協定
4.2 F00投票協定
4.3 CGS投票協定
4.4 JCJ投票協定
4.5 Acquisti投票協定
4.6提出的基於明文相等證明的投票協定
4.7提出的基於非互動式可否認認證協定的投票協定
4.8提出的基於可否認加密的投票協定
4.9本章小結
參考文獻
第5章基於符號模型的遠程網路投票協定分析與驗證
5.1引言
5.2符號模型分析與驗證遠程網路投票協定
5.3本章小結
參考文獻
……
第6章 手工方式分析與驗證無收據性
第7章 自動化分析與驗證正確性與抗威脅性
第8章 自動化分析與驗證抗拒絕服務攻擊性
第9章 自動化分析與驗證典型遠程網路投票協定安全性
第10章基於計算模型的遠程網路投票協定分析與驗證
第11章Blanchet演算和CryptoVerif
第12章擴展的Blanchet演算
第13章自動化分析與驗證典型遠程網路投票協定抗威脅性
