新型數(shù)字簽名的設計與分析

目 錄
第一部分 基礎背景
第1章 引言\t3
1．1 數(shù)字簽名研究的背景\t3
1．2 數(shù)字簽名發(fā)展現(xiàn)狀\t4
1．3 本書主要研究內(nèi)容\t7
1．3．1 具有不可否認性質(zhì)的數(shù)字簽名研究\t7
1．3．2 指定驗證者可驗證的數(shù)字簽名研究\t9
1．3．3 基于新型公鑰密碼體制的數(shù)字簽名研究\t10
第2章 基礎知識\t12
2．1 數(shù)學基礎\t12
2．1．1 復雜性理論\t12
2．1．2 雙線性配對\t13
2．1．3 困難性假設\t14
2．2 哈希函數(shù)假設\t15
2．3 可證明安全理論\t16
2．3．1 混合游戲論證模型\t16
2．3．2 安全論證規(guī)約方法\t17
2．4 數(shù)字簽名框架\t18
2．4．1 形式化定義\t18
2．4．2 安全性需求\t19
第二部分 具有不可否認性質(zhì)的數(shù)字簽名研究
第3章 基于配對的可轉(zhuǎn)換不可否認數(shù)字簽名\t23
3．1 可轉(zhuǎn)換不可否認數(shù)字簽名框架\t23
3．1．1 形式化定義\t24
3．1．2 安全性需求\t25
3．2 可轉(zhuǎn)換不可否認數(shù)字簽名的構造及安全性\t33
3．2．1 具體方案構造\t33
3．2．2 安全性論證\t35
3．3 性能分析比較\t43
3．4 本章小結\t44
第4章 高效可轉(zhuǎn)換不可否認代理數(shù)字簽名的 具體構造\t45
4．1 可轉(zhuǎn)換不可否認代理數(shù)字簽名框架\t45
4．1．1 形式化定義\t46
4．1．2 安全性需求\t48
4．2 可轉(zhuǎn)換不可否認代理數(shù)字簽名的構造及安全性\t51
4．2．1 具體方案構造\t51
4．2．2 安全性論證\t54
4．3 本章小結\t69
第5章 通用性可轉(zhuǎn)換不可否認數(shù)字簽名的構造\t70
5．1 不可否認數(shù)字簽名框架\t70
5．1．1 通用性可轉(zhuǎn)換不可否認數(shù)字簽名的形式化定義\t71
5．1．2 通用性可轉(zhuǎn)換不可否認數(shù)字簽名安全性需求\t72
5．1．3 選擇性可轉(zhuǎn)換不可否認簽名形式化定義\t74
5．1．4 選擇性可轉(zhuǎn)換不可否認數(shù)字簽名的安全性需求\t75
5．2 一般化構造的具體實現(xiàn)\t75
5．3 安全性分析\t77
5．3．1 強存在不可偽造性\t77
5．3．2 隱藏性\t79
5．4 場景分析\t81
5．5 本章小結\t82
第6章 云計算中具有隱私保護功能性的實現(xiàn)\t83
6．1 源不可否認性框架\t83
6．1．1 形式化定義\t84
6．1．2 NRO-Ⅰ：不可信接收者\t85
6．1．3 NRO-Ⅱ：無歧義證據(jù)\t86
6．2 源不可否認及存在不可偽造數(shù)字簽名\t86
6．2．1 一般化構造\t87
6．2．2 ProtocolⅠ：NRO-Ⅰ及NRO-Ⅱ\t88
6．2．3 ProtocolⅡ：數(shù)字簽名的存在不可偽造性不能保證NRO-Ⅱ\t90
6．3 具有隱私保護功能的源不可否認協(xié)議\t92
6．3．1 隱私的定義：不可轉(zhuǎn)讓認證性\t93
6．3．2 指定驗證者數(shù)字簽名\t94
6．3．3 協(xié)議具體構造\t95
6．3．4 安全性分析\t96
6．4 本章小結\t98
第7章 基于身份可轉(zhuǎn)換不可否認數(shù)字簽名\t99
7．1 基于身份可轉(zhuǎn)換不可否認數(shù)字簽名框架\t99
7．1．1 形式化定義\t100
7．1．2 安全性需求\t101
7．2 具體的基于身份可轉(zhuǎn)換不可否認數(shù)字簽名\t105
7．2．1 具體方案構造\t105
7．2．2 安全性論證\t108
7．3 本章小結\t109
第三部分 僅指定驗證者可驗證的數(shù)字簽名研究
第8章 標準模型下安全的泛指定驗證者數(shù)字簽名\t113
8．1 泛指定驗證者數(shù)字簽名框架\t113
8．1．1 形式化定義\t113
8．1．2 安全性需求\t115
8．2 Zhang等人構造的泛指定驗證者數(shù)字簽名\t119
8．2．1 方案簡明回顧\t119
8．2．2 安全性分析\t120
8．3 具體標準模型下安全的泛指定驗證者數(shù)字簽名\t121
8．3．1 具體方案構造\t121
8．3．2 安全性論證\t123
8．3．3 代理特性分析\t130
8．4 本章小結\t130
第9章 具有無代理特性泛指定驗證者數(shù)字簽名\t131
9．1 無代理特性泛指定驗證者數(shù)字簽名框架\t131
9．1．1 形式化定義\t131
9．1．2 代理特性闡釋\t133
9．1．3 安全性需求\t136
9．2 無代理特性泛指定驗證者數(shù)字簽名的構造及安全性\t141
9．2．1 具體方案構造\t141
9．2．2 安全性論證\t142
9．3 本章小結\t148
第10章 限定性泛指定驗證者數(shù)字簽名\t149
10．1 限定性泛指定驗證者數(shù)字簽名框架\t149
10．1．1 形式化定義\t150
10．1．2 安全性需求\t150
10．2 具體的限定性泛指定驗證者數(shù)字簽名\t151
10．2．1 具體方案構造\t151
10．2．2 安全性論證\t152
10．3 本章小結\t154
第11章 短強指定驗證者數(shù)字簽名及其基于身份體系的擴展\t155
11．1 形式化定義與安全性需求\t155
11．1．1 短強指定驗證者數(shù)字簽名\t155
11．1．2 短基于身份強指定驗證者數(shù)字簽名\t157
11．2 具體的短強指定驗證者數(shù)字簽名\t160
11．2．1 具體方案構造\t160
11．2．2 安全性論證\t161
11．3 具體的短強基于身份指定驗證者數(shù)字簽名\t166
11．3．1 具體方案構造\t166
11．3．2 安全性論證\t167
11．4 性能分析與比較\t167
11．5 本章小結\t169
第12章 基于配對的指定驗證者代理短數(shù)字簽名\t170
12．1 指定驗證者代理短數(shù)字簽名框架\t170
12．1．1 形式化定義\t170
12．1．2 安全性需求\t171
12．2 具體指定驗證者代理短數(shù)字簽名\t172
12．2．1 具體方案構造\t173
12．2．2 安全性論證\t173
12．3 性能分析與比較\t177
12．4 本章小結\t177
第四部分 基于新型公鑰密碼體制的數(shù)字簽名研究
第13章 首個無證書數(shù)字簽名的安全性分析\t181
13．1 無證書數(shù)字簽名框架\t181
13．1．1 形式化定義\t181
13．1．2 安全性需求\t182
13．2 Al-Riyami與Paterson無證書數(shù)字簽名\t184
13．2．1 方案簡明回顧\t184
13．2．2 安全性分析\t185
13．3 改進無證書數(shù)字簽名\t187
13．3．1 具體方案構造\t188
13．3．2 安全性論證\t188
13．4 本章小結\t190
第14章 無證書數(shù)字簽名：新方案及安全模型\t191
14．1 簡約無證書數(shù)字簽名框架\t191
14．2 無證書數(shù)字簽名安全模型\t193
14．2．1 第一類常規(guī)敵手\t193
14．2．2 第一類強化敵手\t194
14．2．3 第一類超級敵手\t196
14．2．4 第二類敵手闡釋\t197
14．2．5 惡意但被動KGC攻擊\t198
14．3 具體的無證書數(shù)字簽名\t199
14．3．1 具體方案Ⅰ\t199
14．3．2 具體方案Ⅱ\t207
14．4 方案性能分析與比較\t213
14．5 服務器輔助驗證協(xié)議\t214
14．5．1 方案Ⅰ的服務器輔助驗證協(xié)議\t215
14．5．2 方案Ⅱ的服務器輔助驗證協(xié)議\t217
14．6 本章小結\t218
第15章 指定驗證者無證書數(shù)字簽名\t219
15．1 指定驗證者無證書數(shù)字簽名框架\t219
15．1．1 形式化定義\t219
15．1．2 安全性需求\t220
15．2 具體的指定驗證者無證書數(shù)字簽名\t221
15．2．1 具體方案構造\t221
15．2．2 安全性論證\t222
15．3 本章小結\t227
第16章 抗惡意KGC攻擊的無證書代理數(shù)字簽名\t228
16．1 無證書代理數(shù)字簽名框架\t229
16．1．1 形式化定義\t229
16．1．2 安全性需求\t230
16．2 具體的無證書代理數(shù)字簽名\t233
16．2．1 方案具體構造\t233
16．2．3 安全性證明\t238
16．3 性能分析與比較\t246
16．4 本章小結\t246
第17章 基于證書數(shù)字簽名的通用構造\t247
17．1 基于證書數(shù)字簽名框架\t247
17．1．1 形式化定義\t247
17．1．2 安全性需求\t248
17．2 具體一般化基于證書數(shù)字簽名\t253
17．2．1 無證書數(shù)字簽名簡明闡釋\t254
17．2．2 一般化構造：CLS-2-CBS\t254
17．3 CLS-2-CBS構造實例\t261
17．3．1 實例Ⅰ\t261
17．3．2 實例Ⅱ\t262
17．4 性能分析與比較\t263
17．5 本章小結\t264
參考文獻\t265