|
內容簡介: |
可证明安全公钥签密体制可以处理消息保密性和认证性的网络通信安全问题,其优势在于设计灵活、运算效率高。可证明安全公钥签密体制是同时实现保密并认证的重要手段,其安全性越来越完善。《可证明安全公钥签密理论》共有11章,内容包含绪论、无证书门限签密、无证书代理签密、无证书环签密、乘法群上的无证书盲签密、无证书椭圆曲线盲签密、无证书椭圆曲线聚合签密、通用可复合身份代理签密、通用可复合广播多重签密、通用可复合自认证盲签密、总结与展望。《可证明安全公钥签密理论》详细阐述了每章内容,力求做到让读者能直观理解每部分的知识,让读者深入理解和掌握公钥签密体制的设计和安全性证明方法。
|
目錄:
|
目录《信息科学技术学术著作丛书》序前言第1章 绪论 11.1 信息安全概述 11.2 密码理论 21.3 公钥签密理论 31.4 可证明安全理论 61.4.1 随机谕言机 61.4.2 安全性证明方法 71.4.3 归约思想 81.4.4 可证明安全性 91.4.5 哈希函数 101.5 通用可复合安全理论 111.6 常用数学知识 141.6.1 群理论 151.6.2 有限域 151.6.3 素数 161.6.4 整数分解 161.6.5 费尔马定理 161.6.6 欧拉定理 161.6.7 离散对数 171.6.8 椭圆曲线密码系统 181.6.9 Lagrange插值多项式 201.6.10 复杂性理论 211.7 本章小结 23参考文献 25第2章 无证书门限签密 282.1 引言 282.2 基本知识 292.3 CL-TSC的形式化定义 302.3.1 CL-TSC的算法定义 302.3.2 CL-TSC的安全模型 302.4 CL-TSC方案实例 332.5 安全性证明 362.5.1 CL-TSC的保密性 362.5.2 CL-TSC的不可伪造性 422.6 性能评价 442.7 本章小结 45参考文献 45第3章 无证书代理签密 483.1 引言 483.2 基本知识 493.3 CL-PSC的形式化定义 493.3.1 CL-PSC的算法定义 493.3.2 CL-PSC的安全模型 513.4 CL-PSC方案实例 533.5 安全性证明 553.5.1 CL-PSC的保密性 553.5.2 CL-PSC的不可伪造性 603.6 性能评价 623.7 本章小结 62参考文献 63第4章 无证书环签密 654.1 引言 654.2 CL-RSC的形式化定义 664.2.1 CL-RSC的算法定义 664.2.2 CL-RSC的安全模型 674.3 CL-RSC方案实例 694.4 安全性证明 714.4.1 CL-RSC 的保密性 714.4.2 CL-RSC的不可伪造性 774.5 性能评价 784.6 本章小结 80参考文献 80第5章 乘法群上的无证书盲签密 835.1 引言 835.2 MCG-CLBSC的形式化定义 845.2.1 MCG-CLBSC的算法定义 845.2.2 MCG-CLBSC的安全模型 845.3 MCG-CLBSC方案实例 865.4 安全性证明 885.4.1 MCG-CLBSC的保密性 885.4.2 MCG-CLBSC的不可伪造性 925.5 性能评价 945.6 本章小结 94参考文献 95第6章 无证书楠圆曲线盲签密 976.1 引言 976.2 基本知识 976.3 CL-ECBSC的形式化定义 996.3.1 CL-ECBSC的算法定义 996.3.2 CL-ECBSC的安全模型 1006.4 CL-ECBSC方案实例 1026.5 安全性证明 1036.5.1 CL-ECBSC的保密性 1036.5.2 CL-ECBSC的不可伪造性 1086.6 性能评价 1096.7 本章小结 110参考文献 110第7章 无证书楠圆曲线聚合签密 1127.1 引言 1127.2 CL-ECASC的形式化定义 1127.2.1 CL-ECASC的算法定义 1127.2.2 CL-ECASC的安全模型 1137.3 CL-ECASC方案实例 1157.4 安全性证明 1177.4.1 CL-ECASC的保密性1177.4.2 CL-ECASC的不可伪造性1227.5 性能评价 1237.6 本章小结 125参考文献 125第8章 通用可复合身份代理签密 1288.1 引言 1288.2 IB-PSC的形式化定义 1298.2.1 IB-PSC的算法定义 1298.2.2 IB-PSC的安全模型 1308.3 IB-PSC方案实例 1318.4 安全性证明 1338.4.1 IB-PSC的保密性 1338.4.2 IB-PSC的不可伪造性 1358.4.3 IB-PSC的通用可复合性 1378.5 性能评价 1418.6 本章小结 141参考文献 141第9章 通用可复合广播多重签密 1439.1 引言 1439.2 基本知识 1449.3 BMSC的形式化定义 1449.3.1 BMSC的算法定义 1449.3.2 BMSC的安全模型 1459.4 BMSC方案实例 1469.5 安全性证明 1489.5.1 BMSC的保密性 1489.5.2 BMSC的不可伪造性 1529.5.3 BMSC的通用可复合性.1549.6 性能评价 1569.7 本章小结 157参考文献 157第10章 通用可复合自认证盲签密 16010.1 引言 16010.2 基本知识 16010.3 SC-BSC的形式化定义 16110.3.1 SC-BSC的算法定义 16110.3.2 SC-BSC的安全模型 16110.4 SC-BSC方案实例 16210.5 SC-BSC的通用可复合性 16310.6 性能评价 16710.7 本章小结 167参考文献 167第11章 总结与展望 16911.1 总结 17011.2 工作臟 17311.2.1 通用可复合密码协议研究 17411.2.2 抗量子计算密码方案研究 17411.2.3 网络编码环境下格密码方案研究 175
|
|