《可證明安全公鑰簽密理論》是2022年科學出版社出版的圖書。
基本介紹
- 中文名：可證明安全公鑰簽密理論
- 作者：俞惠芳、張文波
- 出版社：科學出版社
- 出版時間：2022年10月
- ISBN：9787030733771
內容簡介,圖書目錄,
內容簡介
可證明安全公鑰簽密體制可以處理訊息保密性和認證性的網路通信安全問題，其優勢在於設計靈活、運算效率高。可證明安全公鑰簽密體制是同時實現保密並認證的重要手段，其安全性越來越完善。《可證明安全公鑰簽密理論》共有11章，內容包含緒論、無證書門限簽密、無證書代理簽密、無證書環簽密、乘法群上的無證書盲簽密、無證書橢圓曲線盲簽密、無證書橢圓曲線聚合簽密、通用可複合身份代理簽密、通用可複合廣播多重簽密、通用可複合自認證盲簽密、總結與展望。《可證明安全公鑰簽密理論》詳細闡述了每章內容，力求做到讓讀者能直觀理解每部分的知識，讓讀者深入理解和掌握公鑰簽密體制的設計和安全性證明方法。
圖書目錄
《信息科學技術學術著作叢書》序
前言
第1章 緒論 1
1.1 信息安全概述 1
1.2 密碼理論 2
1.3 公鑰簽密理論 3
1.4 可證明安全理論 6
1.4.1 隨機諭言機 6
1.4.2 安全性證明方法 7
1.4.3 歸約思想 8
1.4.4 可證明安全性 9
1.4.5 哈希函式 10
1.5 通用可複合安全理論 11
1.6 常用數學知識 14
1.6.1 群理論 15
1.6.2 有限域 15
1.6.3 素數 16
1.6.4 整數分解 16
1.6.5 費爾馬定理 16
1.6.6 歐拉定理 16
1.6.7 離散對數 17
1.6.8 橢圓曲線密碼系統 18
1.6.9 Lagrange插值多項式 20
1.6.10 複雜性理論 21
1.7 本章小結 23
參考文獻 25
第2章 無證書門限簽密 28
2.1 引言 28
2.2 基本知識 29
2.3 CL-TSC的形式化定義 30
2.3.1 CL-TSC的算法定義 30
2.3.2 CL-TSC的安全模型 30
2.4 CL-TSC方案實例 33
2.5 安全性證明 36
2.5.1 CL-TSC的保密性 36
2.5.2 CL-TSC的不可偽造性 42
2.6 性能評價 44
2.7 本章小結 45
參考文獻 45
第3章 無證書代理簽密 48
3.1 引言 48
3.2 基本知識 49
3.3 CL-PSC的形式化定義 49
3.3.1 CL-PSC的算法定義 49
3.3.2 CL-PSC的安全模型 51
3.4 CL-PSC方案實例 53
3.5 安全性證明 55
3.5.1 CL-PSC的保密性 55
3.5.2 CL-PSC的不可偽造性 60
3.6 性能評價 62
3.7 本章小結 62
參考文獻 63
第4章 無證書環簽密 65
4.1 引言 65
4.2 CL-RSC的形式化定義 66
4.2.1 CL-RSC的算法定義 66
4.2.2 CL-RSC的安全模型 67
4.3 CL-RSC方案實例 69
4.4 安全性證明 71
4.4.1 CL-RSC 的保密性 71
4.4.2 CL-RSC的不可偽造性 77
4.5 性能評價 78
4.6 本章小結 80
參考文獻 80
第5章 乘法群上的無證書盲簽密 83
5.1 引言 83
5.2 MCG-CLBSC的形式化定義 84
5.2.1 MCG-CLBSC的算法定義 84
5.2.2 MCG-CLBSC的安全模型 84
5.3 MCG-CLBSC方案實例 86
5.4 安全性證明 88
5.4.1 MCG-CLBSC的保密性 88
5.4.2 MCG-CLBSC的不可偽造性 92
5.5 性能評價 94
5.6 本章小結 94
參考文獻 95
第6章 無證書楠圓曲線盲簽密 97
6.1 引言 97
6.2 基本知識 97
6.3 CL-ECBSC的形式化定義 99
6.3.1 CL-ECBSC的算法定義 99
6.3.2 CL-ECBSC的安全模型 100
6.4 CL-ECBSC方案實例 102
6.5 安全性證明 103
6.5.1 CL-ECBSC的保密性 103
6.5.2 CL-ECBSC的不可偽造性 108
6.6 性能評價 109
6.7 本章小結 110
參考文獻 110
第7章 無證書楠圓曲線聚合簽密 112
7.1 引言 112
7.2 CL-ECASC的形式化定義 112
7.2.1 CL-ECASC的算法定義 112
7.2.2 CL-ECASC的安全模型 113
7.3 CL-ECASC方案實例 115
7.4 安全性證明 117
7.4.1 CL-ECASC的保密性117
7.4.2 CL-ECASC的不可偽造性122
7.5 性能評價 123
7.6 本章小結 125
參考文獻 125
第8章 通用可複合身份代理簽密 128
8.1 引言 128
8.2 IB-PSC的形式化定義 129
8.2.1 IB-PSC的算法定義 129
8.2.2 IB-PSC的安全模型 130
8.3 IB-PSC方案實例 131
8.4 安全性證明 133
8.4.1 IB-PSC的保密性 133
8.4.2 IB-PSC的不可偽造性 135
8.4.3 IB-PSC的通用可複合性 137
8.5 性能評價 141
8.6 本章小結 141
參考文獻 141
第9章 通用可複合廣播多重簽密 143
9.1 引言 143
9.2 基本知識 144
9.3 BMSC的形式化定義 144
9.3.1 BMSC的算法定義 144
9.3.2 BMSC的安全模型 145
9.4 BMSC方案實例 146
9.5 安全性證明 148
9.5.1 BMSC的保密性 148
9.5.2 BMSC的不可偽造性 152
9.5.3 BMSC的通用可複合性.154
9.6 性能評價 156
9.7 本章小結 157
參考文獻 157
第10章 通用可複合自認證盲簽密 160
10.1 引言 160
10.2 基本知識 160
10.3 SC-BSC的形式化定義 161
10.3.1 SC-BSC的算法定義 161
10.3.2 SC-BSC的安全模型 161
10.4 SC-BSC方案實例 162
10.5 SC-BSC的通用可複合性 163
10.6 性能評價 167
10.7 本章小結 167
參考文獻 167
第11章 總結與展望 169
11.1 總結 170
11.2 工作臟 173
11.2.1 通用可複合密碼協定研究 174
11.2.2 抗量子計算密碼方案研究 174
11.2.3 網路編碼環境下格密碼方案研究 175
