可证明安全理论及方法——密码算法

图书标准信息

• 作者 袁征 著
• 出版社 科学出版社
• 出版时间 2017-11
• 版次 31
• ISBN 9787030551603
• 定价 69.00元
• 装帧 平装
• 开本 16开
• 页数 244页
• 字数 345千字
• 正文语种 简体中文
• 丛书 普通高等教育信息安全类国家级特色专业系列规划教材

【内容简介】

本书比较系统全面地介绍了密码加密方案的可证明安全理论及证明技术。主要内容包括绪论、伪随机函数和伪随机置换、混合论证技术与陷门单向置换、密码学的计算问题与困难性假设、多项式安全和语义安全、抗非适应性选择密文攻击安全性、抗适应性选择密文攻击安全性、选择性开放攻击、密钥关联消息安全性、博弈证明基础和博弈证明技术的应用。

【目录】

章 绪论

1.1 可证明安全理论的概述

1.2 基本攻击类型

1.3 安全概念

1.4 密码加密方案的安全证明

1.5 证明技术

题与思

参文献

第2章 伪函数和伪置换

2.1 伪函数与伪置换基础

2.2 计算复杂

2.3 伪发生器的构造

2.4 伪函数与伪置换转换引理

2.5 抗相关密钥攻击可证明安全的prf和prp

2.6 利用prf和prp构造私钥加密体制

题与思

参文献

附录：第2章的加密方案简表

第3章 混合论证技术与陷门单向置换

3.1 混合论证技术

3.2 陷门（单向）置换

3.3 陷门（单向）置换的核心及应用

3.4 不可逼近陷门谓词与概率公钥加密方案

3.5 适应陷门单向函数（置换）

题与思

参文献

附录a：第3章的加密方案简表

附录b：第3章构造的atdf简表

第4章 密码学的计算问题与困难设

4.1 计算问题与困难设概述

4.2 有限域上离散对数设

4.3 椭圆曲线群上的离散对数问题

4.4 二次剩余问题

4.5 学问题

题与思

参文献

附录：第4章的加密方案简表

第5章 多项式安全和语义安全

5.1 多项式安全

5.2 语义安全

5.3 语义安全的具体加密方案

5.4 左或右不可区分意义上的安全

题与思

参文献

第6章 抗非适应选择密文攻击安全

6.1 语义安全与延展

6.2 零知识证明

6.3 cca1安全的加密方案

6.4 基于困难设构造cca1安全的公钥加密方案

题与思

参文献

附录：第6章的加密方案简表

第7章 抗适应选择密文攻击安全

7.1 cca2安全的加密方案

7.2 构造cca2安全的私钥加密方案

7.3 用nizk证明系统构造cca2安全的公钥加密方案

7.4 基于ddh设构造cca2安全的公钥加密方案

7.5 在预言机模型下的cca2安全的加密方案

题与思

参文献

附录：第7章的加密方案简表

第8章 选择开放攻击

8.1 选择开放攻击概述

8.2 选择开放攻击的不安全

8.3 一个nc-cpa安全加密方案

8.4.一个nc-cca安全加密方案

题与思

参文献

附录：第8章的加密方案简表

第9章 密钥关联消息安全

9.1 密钥关联消息安全的私钥加密方案

9.2 密钥关联消息安全的公钥加密方案

9.3 三模型证明系统

题与思

参文献

附录：第9章的加密方案简表

0章 博弈证明基础

10.1 博弈

10.2 博弈证明技术

10.3 博弈重写

10.4 博弈重写中的硬币固定技术

10.5 博弈重写中的懒散取样

题与思

参文献

1章 博弈证明技术的应用

11.1 博弈证明技术在prp/prf证明中的应用

11.2 公钥加密方案oaep

题与思

参文献