登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

2024年06月出版新書

2024年05月出版新書

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

『簡體書』密码学中的可证明安全性(第2版)

書城自編碼: 3963583
分類: 簡體書→大陸圖書→教材研究生/本科/专科教材
作者: 杨波、杨启良
國際書號(ISBN): 9787302655626
出版社: 清华大学出版社
出版日期: 2024-02-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:NT$ 254

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
山西寺观艺术壁画精编卷
《 山西寺观艺术壁画精编卷 》

售價:NT$ 7650.0
中国摄影 中式摄影的独特魅力
《 中国摄影 中式摄影的独特魅力 》

售價:NT$ 4998.0
山西寺观艺术彩塑精编卷
《 山西寺观艺术彩塑精编卷 》

售價:NT$ 7650.0
积极心理学
《 积极心理学 》

售價:NT$ 254.0
自由,不是放纵
《 自由,不是放纵 》

售價:NT$ 250.0
甲骨文丛书·消逝的光明:欧洲国际史,1919—1933年(套装全2册)
《 甲骨文丛书·消逝的光明:欧洲国际史,1919—1933年(套装全2册) 》

售價:NT$ 1265.0
剑桥日本戏剧史(剑桥世界戏剧史译丛)
《 剑桥日本戏剧史(剑桥世界戏剧史译丛) 》

售價:NT$ 918.0
中国高等艺术院校精品教材大系:材料的时尚表达??服装创意设计
《 中国高等艺术院校精品教材大系:材料的时尚表达??服装创意设计 》

售價:NT$ 347.0

建議一齊購買:

+

NT$ 356
《 英语课程标准研修与教材分析(第三版) 》
+

NT$ 309
《 汇编语言(第4版) 》
+

NT$ 296
《 中华茶史(普通高等教育茶学专业教材) 》
+

NT$ 254
《 经济学思维与观察 》
+

NT$ 403
《 精神病学(第8版/本科临床/配增值) 》
+

NT$ 458
《 方剂学·全国中医药行业高等教育“十四五”规划教材 》
編輯推薦:
本书取材新颖,全面介绍可证明安全性的基础理论和实用算法,力求使读者通过本书的学习而掌握可证明安全性的基础理论和基本方法。本书不仅介绍可证明安全性的基础理论和实用算法,同时也涵盖了可证明安全性的密码学的最新研究成果,力求使读者通过本书的学习而了解本学科最新的发展方向,掌握如何刻画公钥密码体制的安全性,安全证明时规约的基本使用方法,基于身份的密码体制和基于属性的密码体制的常见类型、基于的困难问题、规约方法等。
本书可作为高等学校有关专业大学生和研究生的教材,也可作为通信工程师和计算机网络工程师的参
內容簡介:
本书全面介绍可证明安全性的发展历史、基础理论和实用算法,内容分为6章,第1章介绍可证明安全性涉及的数学知识和基本工具,第2章介绍语义安全的公钥密码体制的定义,第3章介绍语义安全的公钥密码体制,第4章介绍基于身份的密码体制,第5章介绍基于属性的密码体制,第6章介绍抗密钥泄露的公钥加密系统。
本书可作为高等学校相关专业本科生和研究生的教材,也可作为通信工程师和计算机网络工程师的参考读物。
目錄
第1章基本概念和工具1
1.1密码学中常用的数学知识1
1.1.1群、环和域1
1.1.2素数和互素数3
1.1.3模运算4
1.1.4模指数运算7
1.1.5费马定理、欧拉定理和卡米歇尔定理7
1.1.6欧几里得算法10
1.1.7中国剩余定理13
1.1.8离散对数16
1.1.9二次剩余18
1.1.10循环群20
1.1.11循环群的选取21
1.1.12双线性映射22
1.2计算复杂性23
1.3陷门置换26
1.3.1陷门置换的定义26
1.3.2单向陷门置换27
1.3.3陷门置换的简化定义27
1.4零知识证明28
1.4.1交互证明系统28
1.4.2交互证明系统的定义29
1.4.3交互证明系统的零知识性29
1.4.4知识证明32
1.4.5非适应性安全的非交互式零知识证明35
1.4.6适应性安全的非交互式零知识证明36
1.5秘密分割方案与张成方案37
1.5.1秘密分割方案37
1.5.2线性秘密分割方案38
1.5.3张成方案381.5.4基于张成方案的秘密分割方案39
1.6归约40
习题42
第2章语义安全的公钥密码体制的定义43
2.1公钥密码体制的基本概念43
2.1.1公钥加密方案43
2.1.2选择明文攻击下的不可区分性定义44
2.1.3基于陷门置换的语义安全的公钥加密方案构造45
2.1.4群上的离散对数问题47
2.1.5判定性DiffieHellman假设48
2.2公钥加密方案在选择密文攻击下的不可区分性50
2.3公钥加密方案在适应性选择密文攻击下的不可区分性59
习题65
密码学中的可证明安全性(第2版)目录
第3章语义安全的公钥密码体制66
3.1语义安全的RSA加密方案66
3.1.1RSA加密算法66
3.1.2密钥封装机制67
3.1.3RSA问题和RSA假设68
3.1.4选择明文安全的RSA加密方案68
3.1.5选择密文安全的RSA加密方案71
3.2Paillier公钥密码系统74
3.2.1合数幂剩余类的判定74
3.2.2合数幂剩余类的计算75
3.2.3基于合数幂剩余类问题的概率加密方案78
3.2.4基于合数幂剩余类问题的单向陷门置换78
3.2.5Paillier密码系统的性质80
3.3CramerShoup密码系统80
3.3.1CramerShoup密码系统的基本机制80
3.3.2CramerShoup密码系统的安全性证明81
3.4RSAFDH签名方案84
3.4.1RSA签名方案84
3.4.2RSAFDH签名方案的描述85
3.4.3RSAFDH签名方案的改进88
3.5BLS短签名方案89
3.5.1BLS短签名方案所基于的安全性假设89
3.5.2BLS短签名方案描述90
3.5.3BLS短签名方案的改进一92
3.5.4BLS短签名方案的改进二92
3.6分叉引理93
3.6.1ElGamal签名体制和FiatShamir签名体制93
3.6.2数字签名中的分叉引理94
习题96
第4章基于身份的密码体制97
4.1基于身份的密码体制定义和安全模型97
4.1.1基于身份的密码体制简介97
4.1.2选择明文安全的IBE方案98
4.1.3选择密文安全的IBE方案99
4.1.4分层次的IBE方案101
4.2随机谕言机模型的IBE方案102
4.2.1BF方案所基于的困难问题102
4.2.2BF方案描述103
4.2.3BF方案的安全性104
4.2.4选择密文安全的BF方案108
4.3无随机谕言机模型的选定身份安全的IBE方案109
4.3.1判定性双线性DiffieHellman假设109
4.3.2双线性DiffieHellman求逆假设109
4.3.3基于DBDH假设的IBE方案110
4.3.4基于判定性qBDHI问题假设的IBE方案112
4.4无随机谕言机模型的完全安全的IBE方案115
4.5基于DBDH假设的分层次IBE方案119
4.6基于弱BDHI假设的分层次IBE方案121
4.6.1弱双线性DiffieHellman求逆假设121
4.6.2密文长度固定的HIBE系统122
4.7基于对偶系统加密的完全安全的IBE和HIBE方案126
4.7.1对偶系统加密的概念126
4.7.2合数阶双线性群127
4.7.3基于对偶系统加密的IBE方案129
4.7.4基于对偶系统加密的HIBE方案134
4.8从选择明文安全到选择密文安全138
4.8.1引言138
4.8.2CHK方法138
习题140
第5章基于属性的密码体制142
5.1基于属性的密码体制的一般概念142
5.2基于模糊身份的KPABE方案146
5.2.1Fuzzy IBE的安全模型及困难性假设146
5.2.2基于模糊身份的加密方案147
5.2.3大属性集上的基于模糊身份的加密方案150
5.3基于访问树结构的KPABE方案154
5.3.1访问树结构154
5.3.2KPABE方案构造155
5.3.3大属性集的KPABE方案构造159
5.4基于LSSS结构的CPABE方案163
5.4.1判定性q并行BDHE假设163
5.4.2基于密文策略的属性加密方案构造163
5.5基于对偶系统加密的完全安全的CPABE方案168
习题174
第6章抗密钥泄露的公钥加密系统175
6.1抗泄露密码体制介绍175
6.1.1随机提取器175
6.1.2通用投影哈希函数176
6.1.3平滑投影哈希函数177
6.1.4哈希证明系统178
6.1.5作为密钥封装的哈希证明系统178
6.2密钥泄露攻击模型180
6.3基于哈希证明系统的抗泄露攻击的公钥加密方案182
6.3.1通用构造182
6.3.2基于DDH哈希证明系统的抗泄露公钥加密方案184
6.4基于推广的DDH假设的抗泄露攻击的公钥加密方案185
6.4.1推广的DDH假设185
6.4.2方案构造185
6.5抗选择密文的密钥泄露攻击的公钥加密方案188
6.5.1通用构造188
6.5.2抗泄露攻击的CCA1安全的公钥加密方案192
6.5.3抗泄露攻击的CCA2安全的公钥加密方案194
6.6抗弱密钥泄露攻击的公钥加密方案199
习题200
参考文献201
內容試閱
信息安全是一个综合、交叉的学科领域,要利用数学、电子学、信息技术、通信技术、计算机科学等诸多学科的长期知识积累和最新发展成果。密码学是信息安全的核心技术,密码技术中的加密方法包括单钥密码体制和公钥密码体制。而刻画公钥密码体制的安全性包括两部分: 一是刻画敌手的模型,说明敌手访问系统的方式和计算能力;二是刻画安全性概念,说明敌手攻破了方案的安全性意味着什么。公钥加密方案语义安全的概念由Goldwasser和Micali于1984年提出,它以一种思维实验的模型说明了敌手通过密文得不到明文的任何部分信息,即使是1比特的信息。这一概念的提出开创了可证明安全性研究的先河,将密码学建立在计算复杂性理论之上,奠定了现代密码学理论的数学基础,从而将密码学从一门艺术变为一门科学。所以说,可证明安全性是密码学和计算复杂性理论的天作之合。
本书全面介绍可证明安全性的发展历史及研究成果,第一版自2017年出版以来,已被数十所高校作为本科生或研究生教材。作者根据读者反馈的意见及近几年本领域的发展,对第一版做了全面修订。本书内容分为6章。第1章介绍可证明安全性涉及的数学知识和基本工具,包括密码学中常用的数论知识和代数知识、计算复杂性、陷门置换、零知识证明、秘密分割方案与张成方案、归约。第2章介绍语义安全的公钥密码体制的定义,包括公钥加密方案在选择明文攻击下的不可区分性、公钥加密方案在选择密文攻击下的不可区分性、公钥加密方案在适应性选择密文攻击下的不可区分性。第3章介绍语义安全的公钥密码体制,包括语义安全的RSA加密方案、Paillier公钥密码系统、CramerShoup密码系统、RSAFDH签名方案、BLS短签名方案、分叉引理。第4章介绍基于身份的密码体制,包括基于身份的密码体制定义和安全模型、随机谕言机模型的IBE方案、无随机谕言机模型的选定身份安全的IBE方案、无随机谕言机模型的完全安全的IBE方案、密文长度固定的HIBE方案、基于对偶系统加密的完全安全的IBE和HIBE方案、从选择明文安全到选择密文安全。第5章介绍基于属性的密码体制,包括基于属性的密码体制的一般概念、基于模糊身份的加密方案、基于密钥策略的属性加密方案、基于密文策略的属性加密方案、基于对偶系统加密的完全安全的CPABE方案。第6章介绍抗密钥泄露的公钥加密系统,包括抗泄露密码体制介绍、密钥泄露攻击模型、基于哈希证明系统的抗泄露攻击的公钥加密方案、基于推广的DDH假设的抗泄露攻击的公钥加密方案、抗选择密文的密钥泄露攻击的公钥加密方案和抗弱密钥泄露攻击的公钥加密方案。
本书得到国家自然科学基金项目(批准号: U2001205, 61272436, 61572303)的资助,作者在此表示感谢。
限于作者水平,书中不妥之处在所难免,恳请读者批评指正。
作者2023年12月

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 台灣用户 | 香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 (香港)大書城有限公司 All Rights Reserved.