近年来，可证明安全算法与协议是信息安全、密码学等研究领域的重要问题之一。本书以作者及其课题组在该领域多年来的研究成果为主体，结合国内外学者的代表性成果，系统论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。《BR》全书分四部分，共17章。第一部分(第1-3章)系统介绍了密码算法和协议设计中的基础知识；第二部分(第4-6章)论述了可证
正版旧书，保证质量，此书为单本而非一套，电子发票！重磅推荐
编辑推荐
近年来，可证明安全算法与协议是信息安全、密码学等研究领域的重要问题之一。本书以作者及其课题组在该领域多年来的研究成果为主体，结合国内外学者的代表性成果，系统论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。
《数学与现代科学技术丛书：可证明安全算法与协议》分四部分，共章。第一部分（第～章）系统介绍了密码算法和协议设计中的基础知识；第二部分（第～章）论述了可证明安全的加密体制；第三部分（第～章）对数字签名进行了深入研究；第四部分（第～章）阐述了可证明安全的密钥协商协议及其应用。
《数学与现代科学技术丛书：可证明安全算法与协议》既可作为对可证明安全算法与协议感兴趣的读者的入门教材，也可作为可证明安全理论研究工作者的参考用书，同时适合密码学、信息安全、数学、计算机及相关学科的高年级本科生、研究生、教师和科研人员阅读参考。
目 录
《数学与现代科学技术丛书》序
前言
第一部分基础知识
第章数学基础
数论
同余及剩余类
中国剩余定理
欧拉函数φ（）
二次剩余
素性检测
复杂性理论
计算复杂性与时间复杂性
复杂性分类
随机算法《数学与现代科学技术丛书》序
前言
第一部分基础知识
第章数学基础
数论
同余及剩余类
中国剩余定理
欧拉函数φ（）
二次剩余
素性检测
复杂性理论
计算复杂性与时间复杂性
复杂性分类
随机算法
信息论
参考文献
第章密码学基础
密码体制
对称加密体制
公钥加密体制
两者的比较
数字签名
基本概念及原理
经典算法
函数
伪随机函数
伪随机序列生成器
伪随机函数
消息认证码
对的要求
基于的
零知识证明
参考文献
第章可证明安全理论基础
基本思想
困难问题假设
安全模型
数字签名方案的安全模型
公钥加密方案的安全模型
模型和标准模型方法论
参考文献
第二部分加密体制
第章对称加密
分组密码与数据加密标准
分组密码的设计原则
分组密码的结构
数据加密标准
分组密码分析
序列密码
序列密码原理
序列密码对密钥流的要求
密钥流生成器
移位寄存器序列
参考文献
第章公钥密码
密码体制
算法描述
的参数选择
的安全性
密码体制
椭圆曲线密码体制
椭圆曲线
椭圆曲线密码体制
参考文献
第章可证明安全加密体制
可证明安全的私钥加密体制
计算安全
计算安全的私钥加密体制
构造计算安全的私钥加密体制
私钥加密体制中的与安全
可证明安全的公钥加密体制
公钥加密方案的安全性
公钥加密方案
可证明安全的混合密码体制
参考文献
第三部分数字签名
第章可证明安全数字签名方案
数字签名研究概述
基于身份的数字签名的定义及安全模型
几个典型的基于身份的数字签名方案
的基于身份的数字签名方案
的基于身份的数字签名方案
的基于身份的数字签名方案
（）签名方案
（）签名方案
方案性能比较
一个高效的基于身份的短签名方案
基本方案
安全性分析
效率分析
无证书数字签名的定义及安全模型
一个高效的无证书短签名方案
方案构造
安全性分析
效率分析
可追踪的基于身份的数字签名的定义及安全模型
一个可追踪的基于身份的签名方案
基本方案
方案的安全性分析
效率分析
具有特殊功能的数字签名
参考文献
第章盲签名
盲签名简介
基于身份的盲签名
基于身份的盲签名定义及安全模型
经典方案
安全性分析
无证书盲签名方案的设计
方案描述
安全性分析
效率比较
具有消息恢复的无证书盲签名
方案描述
安全性分析
参考文献
第章代理签名
代理签名简介
代理签名的安全性
代理签名的分类
基于身份的代理签名
基于身份的代理签名定义及安全模型
经典方案
安全性分析
无证书代理签名
无证书强代理签名定义及安全模型
无证书强代理签名方案
无证书强代理签名方案的安全性与效率分析
无证书多重代理签名
多重代理签名简介
无证书多重代理签名的定义及安全模型
无证书多重代理签名方案
方案的安全性结果
参考文献
第章多重签名与聚合签名
多重签名简介
多重签名的分类
多重签名的研究概述
基于身份的多重签名
基于身份的多重签名的定义及安全模型
经典方案
安全性分析
无证书代理多重签名的形式化构造
无证书代理多重签名的定义及安全模型
无证书代理多重签名方案
方案的安全性证明
聚合签名简介
基于身份的聚合签名
基于身份的聚合签名的定义和安全模型
对方案的安全性分析
基于身份的聚合签名方案
方案的安全性及效率分析
无证书聚合签名
无证书聚合签名的形式化定义
无证书聚合签名的安全模型
无证书聚合签名方案的设计
无证书聚合签名方案的安全性证明及效率比较
参考文献
第章验证者签名
验证者签名简介
基于身份的强验证者签名
形式化定义
安全性要求
基于身份的强验证者签名方案的分析与改进
等基于身份的强验证者签名方案及安全性分析
改进方案
安全性证明及效率比较
无证书验证者签名方案
无证书验证者签名的定义
方案构造
安全性分析
效率分析
无证书验证者代理签名方案
方案描述
安全性分析
参考文献
第章签密
签密简介
基于身份的签密方案的定义和安全模型
基于身份的签密方案分析与改进
等基于身份的签密方案及其语义安全性分析
改进的基于身份的签密方案及其安全性证明
多环境下基于身份的签密
多环境下基于身份的签密定义及安全模型
多环境下基于身份的签密方案
安全性和效率分析
无证书签密
无证书签密的定义及其安全模型
等的无证书签密方案及其存在的安全缺陷
对等方案所存在漏洞的补救
参考文献
第四部分密钥协商
第章密钥协商概述
引言
密钥协商协议的分类
几个典型的密钥协商协议
早的密钥协商协议协议
的三方协议
和的组密钥协商协议
参考文献
第章基于的密钥协商协议
类模型下基于的两方密钥协商协议
模型
模型
下会话密钥安全的协议
下会话密钥安全的协议
模型下基于的两方密钥协商协议
模型介绍
协议与安全性证明
模型下基于的组密钥协商协议
模型介绍
协议与安全性证明
参考文献
第章基于身份的密钥协商协议
模型下基于身份的两方密钥协商协议
模型介绍
模型介绍
模型下的模块化证明方法
协议与安全性证明
模型下基于身份的两方密钥协商协议
模型介绍
协议与安全性证明
基于身份的树状群组密钥协商协议
协议
基于协议的成员事件
协议的安全性
协议的效率分析
模型下基于身份的常数轮群组密钥协商协议
模型介绍
协议描述和安全性证明
参考文献
第章基于口令的密钥协商协议
模型下基于口令的两方密钥协商协议
模型描述
定义
协议及其安全性证明
框架
框架
模型下基于口令的两方密钥协商协议
框架
组合
设计安全的密码学协议的步骤
常见的基于口令的两方密钥协商协议的理想功能
协议及其安全性证明
模型下基于口令的三方密钥协商协议
的模型介绍
三个协议及其安全性证明
类模型下基于口令的三方密钥协商协议
模型描述
协议及其安全性证明
模型下跨域的客户端到客户端的口令认证密钥协商协议
跨域的的模型描述
协议及其安全性证明
模型下跨域的客户端到客户端的口令认证密钥协商协议
跨域的的理想功能
协议及其安全性证明
验证元模型下基于口令的密钥协商协议
基于验证元的三方口令认证密钥协商协议
椭圆曲线下基于验证元的三方口令认证密钥协商协议
模型下基于口令的群组密钥协商协议
的模型介绍
两个协议及其安全性证明
模型下基于口令的群组密钥协商协议
的模型介绍
协议及其安全性证明
参考文献
第章密钥协商协议的应用
密钥协商协议在协议中的应用
协议介绍
模型下适用于的密钥协商协议
密钥协商协议在协议中的应用
介绍
一个新的密码学套件
密钥管理协议在中的应用
异构传感器网络介绍
跨层密钥管理设计思路
基于方案的跨层密钥管理协议
密钥协商协议在数字版权保护中的应用
数字版权保护介绍
一种基于身份标识的口令进化的会话密钥方案
密钥协商协议在移动应用中的应用
移动应用介绍
一个适用于移动应用的口令认证多密钥协商协议
密钥协商协议在车载自组织网络中的应用
车载自组织网络介绍
一个适用于车载自组织网络的电子支付协议
参考文献
显示全部信息
商品详情
数学与现代科学技术丛书：可证明安全算法与协议
作者 张华 著
出版社 科学出版社
出版日期
字数
页码
版次
装帧 精装
开本 开
商品重量
编辑推荐
近年来，可证明安全算法与协议是信息安全、密码学等研究领域的重要问题之一。本书以作者及其课题组在该领域多年来的研究成果为主体，结合国内外学者的代表性成果，系统论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。
《数学与现代科学技术丛书：可证明安全算法与协议》分四部分，共章。第一部分（第～章）系统介绍了密码算法和协议设计中的基础知识；第二部分（第～章）论述了可证明安全的加密体制；第三部分（第～章）对数字签名进行了深入研究；第四部分（第～章）阐述了可证明安全的密钥协商协议及其应用。
《数学与现代科学技术丛书：可证明安全算法与协议》既可作为对可证明安全算法与协议感兴趣的读者的入门教材，也可作为可证明安全理论研究工作者的参考用书，同时适合密码学、信息安全、数学、计算机及相关学科的高年级本科生、研究生、教师和科研人员阅读参考。
目 录
《数学与现代科学技术丛书》序
前言
第一部分基础知识
第章数学基础
数论
同余及剩余类
中国剩余定理
欧拉函数φ（）
二次剩余
素性检测
复杂性理论
计算复杂性与时间复杂性
复杂性分类
随机算法《数学与现代科学技术丛书》序
前言
第一部分基础知识
第章数学基础
数论
同余及剩余类
中国剩余定理
欧拉函数φ（）
二次剩余
素性检测
复杂性理论
计算复杂性与时间复杂性
复杂性分类
随机算法
信息论
参考文献
第章密码学基础
密码体制
对称加密体制
公钥加密体制
两者的比较
数字签名
基本概念及原理
经典算法
函数
伪随机函数
伪随机序列生成器
伪随机函数
消息认证码
对的要求
基于的
零知识证明
参考文献
第章可证明安全理论基础
基本思想
困难问题假设
安全模型
数字签名方案的安全模型
公钥加密方案的安全模型
模型和标准模型方法论
参考文献
第二部分加密体制
第章对称加密
分组密码与数据加密标准
分组密码的设计原则
分组密码的结构
数据加密标准
分组密码分析
序列密码
序列密码原理
序列密码对密钥流的要求
密钥流生成器
移位寄存器序列
参考文献
第章公钥密码
密码体制
算法描述
的参数选择
的安全性
密码体制
椭圆曲线密码体制
椭圆曲线
椭圆曲线密码体制
参考文献
第章可证明安全加密体制
可证明安全的私钥加密体制
计算安全
计算安全的私钥加密体制
构造计算安全的私钥加密体制
私钥加密体制中的与安全
可证明安全的公钥加密体制
公钥加密方案的安全性
公钥加密方案
可证明安全的混合密码体制
参考文献
第三部分数字签名
第章可证明安全数字签名方案
数字签名研究概述
基于身份的数字签名的定义及安全模型
几个典型的基于身份的数字签名方案
的基于身份的数字签名方案
的基于身份的数字签名方案
的基于身份的数字签名方案
（）签名方案
（）签名方案
方案性能比较
一个高效的基于身份的短签名方案
基本方案
安全性分析
效率分析
无证书数字签名的定义及安全模型
一个高效的无证书短签名方案
方案构造
安全性分析
效率分析
可追踪的基于身份的数字签名的定义及安全模型
一个可追踪的基于身份的签名方案
基本方案
方案的安全性分析
效率分析
具有特殊功能的数字签名
参考文献
第章盲签名
盲签名简介
基于身份的盲签名
基于身份的盲签名定义及安全模型
经典方案
安全性分析
无证书盲签名方案的设计
方案描述
安全性分析
效率比较
具有消息恢复的无证书盲签名
方案描述
安全性分析
参考文献
第章代理签名
代理签名简介
代理签名的安全性
代理签名的分类
基于身份的代理签名
基于身份的代理签名定义及安全模型
经典方案
安全性分析
无证书代理签名
无证书强代理签名定义及安全模型
无证书强代理签名方案
无证书强代理签名方案的安全性与效率分析
无证书多重代理签名
多重代理签名简介
无证书多重代理签名的定义及安全模型
无证书多重代理签名方案
方案的安全性结果
参考文献
第章多重签名与聚合签名
多重签名简介
多重签名的分类
多重签名的研究概述
基于身份的多重签名
基于身份的多重签名的定义及安全模型
经典方案
安全性分析
无证书代理多重签名的形式化构造
无证书代理多重签名的定义及安全模型
无证书代理多重签名方案
方案的安全性证明
聚合签名简介
基于身份的聚合签名
基于身份的聚合签名的定义和安全模型
对方案的安全性分析
基于身份的聚合签名方案
方案的安全性及效率分析
无证书聚合签名
无证书聚合签名的形式化定义
无证书聚合签名的安全模型
无证书聚合签名方案的设计
无证书聚合签名方案的安全性证明及效率比较
参考文献
第章验证者签名
验证者签名简介
基于身份的强验证者签名
形式化定义
安全性要求
基于身份的强验证者签名方案的分析与改进
等基于身份的强验证者签名方案及安全性分析
改进方案
安全性证明及效率比较
无证书验证者签名方案
无证书验证者签名的定义
方案构造
安全性分析
效率分析
无证书验证者代理签名方案
方案描述
安全性分析
参考文献
第章签密
签密简介
基于身份的签密方案的定义和安全模型
基于身份的签密方案分析与改进
等基于身份的签密方案及其语义安全性分析
改进的基于身份的签密方案及其安全性证明
多环境下基于身份的签密
多环境下基于身份的签密定义及安全模型
多环境下基于身份的签密方案
安全性和效率分析
无证书签密
无证书签密的定义及其安全模型
等的无证书签密方案及其存在的安全缺陷
对等方案所存在漏洞的补救
参考文献
第四部分密钥协商
第章密钥协商概述
引言
密钥协商协议的分类
几个典型的密钥协商协议
早的密钥协商协议协议
的三方协议
和的组密钥协商协议
参考文献
第章基于的密钥协商协议
类模型下基于的两方密钥协商协议
模型
模型
下会话密钥安全的协议
下会话密钥安全的协议
模型下基于的两方密钥协商协议
模型介绍
协议与安全性证明
模型下基于的组密钥协商协议
模型介绍
协议与安全性证明
参考文献
第章基于身份的密钥协商协议
模型下基于身份的两方密钥协商协议
模型介绍
模型介绍
模型下的模块化证明方法
协议与安全性证明
模型下基于身份的两方密钥协商协议
模型介绍
协议与安全性证明
基于身份的树状群组密钥协商协议
协议
基于协议的成员事件
协议的安全性
协议的效率分析
模型下基于身份的常数轮群组密钥协商协议
模型介绍
协议描述和安全性证明
参考文献
第章基于口令的密钥协商协议
模型下基于口令的两方密钥协商协议
模型描述
定义
协议及其安全性证明
框架
框架
模型下基于口令的两方密钥协商协议
框架
组合
设计安全的密码学协议的步骤
常见的基于口令的两方密钥协商协议的理想功能
协议及其安全性证明
模型下基于口令的三方密钥协商协议
的模型介绍
三个协议及其安全性证明
类模型下基于口令的三方密钥协商协议
模型描述
协议及其安全性证明
模型下跨域的客户端到客户端的口令认证密钥协商协议
跨域的的模型描述
协议及其安全性证明
模型下跨域的客户端到客户端的口令认证密钥协商协议
跨域的的理想功能
协议及其安全性证明
验证元模型下基于口令的密钥协商协议
基于验证元的三方口令认证密钥协商协议
椭圆曲线下基于验证元的三方口令认证密钥协商协议
模型下基于口令的群组密钥协商协议
的模型介绍
两个协议及其安全性证明
模型下基于口令的群组密钥协商协议
的模型介绍
协议及其安全性证明
参考文献
第章密钥协商协议的应用
密钥协商协议在协议中的应用
协议介绍
模型下适用于的密钥协商协议
密钥协商协议在协议中的应用
介绍
一个新的密码学套件
密钥管理协议在中的应用
异构传感器网络介绍
跨层密钥管理设计思路
基于方案的跨层密钥管理协议
密钥协商协议在数字版权保护中的应用
数字版权保护介绍
一种基于身份标识的口令进化的会话密钥方案
密钥协商协议在移动应用中的应用
移动应用介绍
一个适用于移动应用的口令认证多密钥协商协议
密钥协商协议在车载自组织网络中的应用
车载自组织网络介绍
一个适用于车载自组织网络的电子支付协议
参考文献
显示全部信息
商品详情
数学与现代科学技术丛书：可证明安全算法与协议
作者 张华 著
出版社 科学出版社
出版日期
字数
页码
版次
装帧 精装
开本 开
商品重量
| ISBN | 9787030335401 |
|---|---|
| 出版社 | 科学出版社 |
| 作者 | 张华，温巧燕，金正平 |
| 尺寸 | 5 |