可證明安全公鑰簽密理論

目錄
《信息科學技術學術著作叢書》序
前言
第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　橢圓曲線密碼系統(tǒng)　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章　無證書環(huán)簽密　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　網絡編碼環(huán)境下格密碼方案研究　175