信息安全数学基础/罗守山

由徐国胜、罗守山编的《信息安全数学基础(网络空间安全专业规划教材)》围绕网络空间安全相关课程所需的数学基础，介绍了初等数论、抽象代数、数理逻辑和图论4个部分的基本理论和方法。本书的内容包括素数与带余除法、很大公因子与辗转相除法、模运算与同余理论、群、环、域、命题逻辑及其推理、一阶逻辑及其推理、图论的基本理论。为了使学生对网络空间安全中的数学方法有更好的理解，本书介绍了一些面向网络空间安全技术发展的应用实例；同时，各章还配有一定数量的习题，便于教学与自学。
本书可作为普通高等学校网络空间安全、信息安全等专业“信息安全数学基础”课程本科教材，也可供其他专业的学生和科技人员参考。

第1章 数论基础
1.1 素数与带余除法
1.1.1 素数
1.1.2 带余除法
1.2 优选公因子与辗转相除法
1.3 模运算与同余
1.3.1 模运算
1.3.2 同余
1.3.3 欧拉定理
1.4 同余方程
1.5 中国剩余定理
1.6 数论在密码学中的应用
1.6.1 密码学的基本概念
1.6.2 移位密码
1.6.3 多表代换密码
1.6.4 多字母代换密码
1.6.5 同余方程与仿射密码
1.6.6 中国剩余定理与密钥的分散管理
本章小结
本章习题
第2章 群
2.1 关系与等价关系
2.1.1 关系
2.1.2 等价关系
2.2 运算与同态
2.2.1 运算
2.2.2 同态映射
2.3 群的定义与性质
2.3.1 半群与含幺半群
2.3.2 群
2.4 子群与群的同态
2.4.1 子群
2.4.2 群的同态
2.5 循环群
2.6 陪集与正规子群
2.6.1 陪集
2.6.2 正规子群
2.6.3 群同态基本定理
2.7 群与纠错编码
2.7.1 线性分组码与汉明重量
2.7.2 线性码的生成矩阵与校验矩阵
2.7.3 陪集与译码方法
本章小结
本章习题
第3章 环
3.1 环的定义及其性质
3.1.1 环的定义
3.1.2 环的性质
3.1.3 整环
3.1.4 除环
3.2 子环和环的同态
3.2.1 子环的概念
3.2.2 环的同态
3.3 环的直积、矩阵环、多项式环、序列环
3.3.1 环的直积与矩阵环
3.3.2 多项式环与序列环
3.4 理想与环同态基本定理
3.4.1 理想
3.4.2 环同态基本定理
3.5 环在信息安全中的应用
3.5.1 拉格朗日插值与密钥的分散管理
3.5.2 同态加密体制
本章小结
本章习题
第4章 域
4.1 分式域
4.2 扩域
4.3 多项式的分裂域
4.4 域的特征和有限域的结构
4.5 有限域上的离散对数与密钥交换协议
本章小结
本章习题
第5章 数理逻辑基础
5.1 命题逻辑
5.1.1 命题与联结词
5.1.2 命题公式及其赋值
5.2 命题逻辑等值演算与推理
5.2.1 等值式
5.2.2 析取范式与合取范式
5.2.3 联结词的完备集
5.2.4 命题逻辑的推演系统
5.3 一阶逻辑
5.3.1 一阶逻辑的基本概念
5.3.2 一阶逻辑公式及其解释
5.3.3 一阶逻辑的等值演算与前束范式
5.3.4 一阶逻辑的推理理论
5.4 数理逻辑在信息安全中的应用
5.4.1 模态逻辑
5.4.2 数理逻辑在安全协议分析中的初步应用
本章小结
本章习题
第6章 图论基础
6.1 基本概念
6.1.1 图的定义
6.1.2 接近图和正则图
6.1.3 子图
6.2 通路与回路
6.3 图的矩阵表示
6.4 欧拉图与汉密尔顿图
6.5 树与生成树
6.6 图论在信息安全中的应用
6.6.1 图的同构
6.6.2 基于同构图的零知识证明系统
本章小结
本章习题