資訊安全數學基礎(第2版)（簡體書）

陳恭亮主編的這本《信息安全數學基礎（第2版 ）》用統一的數學語言和符號系統地介紹了網絡與信 息安全所涉及的數學理論和方法，特別是與三大難解 數學問題相關的數論、代數和橢圓曲線理論等，并對 一些重要算法作了詳盡的推理和闡述。此外，還介紹 了網絡與信息安全研究和應用中所產生的新的數學成 果。
本書可作為網絡與信息安全專業、通信安全、計 算機安全和保密專業等的本科生和研究生的教學用書 ，也可以作為網絡與信息安全的專業人員和從業人員 的參考用書。

第1章 整數的可除性
1.1 整除的概念、歐幾里得除法
1.1.1 整除的概念
1.1.2 Eratoshenes篩法
1.1.3 歐幾里得除法 ——最小非負余數
1.1.4 素數的平凡判別
1.1.5 歐幾里得除法 ——一般余數
1.2 整數的表示
1.2.1 b進制
1.2.2 計算復雜性
1.3 最大公因數與廣義歐幾里得除法
1.3.1 最大公因數
1.3.2 廣義歐幾里得除法及計算最大公因數
1.3.3 B′ezout等式
1.3.4 B′ezout等式的證明 第1章 整數的可除性
1.1 整除的概念、歐幾里得除法
1.1.1 整除的概念
1.1.2 Eratoshenes篩法
1.1.3 歐幾里得除法 ——最小非負余數
1.1.4 素數的平凡判別
1.1.5 歐幾里得除法 ——一般余數
1.2 整數的表示
1.2.1 b進制
1.2.2 計算復雜性
1.3 最大公因數與廣義歐幾里得除法
1.3.1 最大公因數
1.3.2 廣義歐幾里得除法及計算最大公因數
1.3.3 B′ezout等式
1.3.4 B′ezout等式的證明
1.3.5 最大公因數的進一步性質
1.3.6 多個整數的最大公因數及計算
1.3.7 形為 2a1的整數及其最大公因數
1.4 整除的進一步性質及最小公倍數
1.4.1 整除的進一步性質
1.4.2 最小公倍數
1.4.3 最小公倍數與最大公因數
1.4.4 多個整數的最小公倍數
1.5 整數分解
1.6 素數的算術基本定理
1.6.1 算術基本定理
1.6.2 算術基本定理的應用
1.7 素數定理
1.8 習題
第2章 同余
2.1 同余的概念及基本性質
2.1.1 同余的概念
2.1.2 同余的判斷
2.1.3 同余的性質
2.2 剩余類及完全剩余系
2.2.1 剩余類與剩余
2.2.2 完全剩余系
2.2.3 兩個模的完全剩余系
2.2.4 多個模的完全剩余系
2.3 簡化剩余系與歐拉函數
2.3.1 歐拉函數
2.3.2 簡化剩余類與簡化剩余系
2.3.3 兩個模的簡化剩余系
2.3.4 歐拉函數的性質
2.4 歐拉定理、費馬小定理和 Wilson定理
2.4.1 歐拉定理
2.4.2 費馬小定理
2.4.3 Wilson定理
2.5 模重復平方計算法
2.6 習題
第3章 同余式
3.1 基本概念及一次同余式
3.1.1 同余式的基本概念
3.1.2 一次同余式
3.2 中國剩余定理
3.2.1 中國剩余定理：“物不知數”與韓信點兵
3.2.2 兩個方程的中國剩余定理
3.2.3 中國剩余定理之構造證明
3.2.4 中國剩余定理之遞歸證明
3.2.5 中國剩余定理之應用 ——算法優化
3.3 高次同余式的解數及解法
3.3.1 高次同余式的解數
3.3.2 高次同余式的提升
3.3.3 高次同余式的提升 ——具體應用
3.4 素數模的同余式
3.4.1 素數模的多項式歐幾里得除法
3.4.2 素數模的同余式的簡化
3.4.3 素數模的同余式的因式分解
3.4.4 素數模的同余式的解數估計
3.5 習題
第4章 二次同余式與平方剩余
4.1 一般二次同余式
4.2 模為奇素數的平方剩余與平方非剩余
4.3 勒讓得符號
4.3.1 勒讓得符號之運算性質
4.3.2 高斯引理
4.4 二次互反律
4.5 雅可比符號
4.6 模平方根
4.6.1 模 p平方根
4.6.2 模 p平方根
4.6.3 模 m平方根
4.7 x2
4.8 習題
第5章 原根與指標
5.1 指數及其基本性質
5.1.1 指數
5.1.2 指數的基本性質
5.1.3 大指數的構造
5.2 原根
5.2.1 模 p原根
5.2.2 模 pα原根
5.2.3 模 2α指數
5.2.4 模 m原根
5.3 指標及 n次同余式
5.3.1 指標
5.3.2 n次同余式
5.4 習題
第6章 素性檢驗
6.1 偽素數
6.1.1 偽素數 Fermat素性檢驗
6.1.2 無窮多偽素數
6.1.3 平方因子的判別
6.1.4 Carmicheal數
6.2 Euler偽素數
6.2.1 Euler偽素數、Solovay-Stassen素性檢驗
6.2.2 無窮多 Euler偽素數
6.3 強偽素數
6.3.1 強偽素數、Miller-Rabin素性檢驗
6.3.2 無窮多強偽素數
6.4 習題
第7章 連分數
7.1 簡單連分數
7.1.1 簡單連分數構造
7.1.2 簡單連分數的漸近分數
7.1.3 重要常數e,π,γ的簡單連分數
7.2 連分數
7.2.1 基本概念及性質
7.2.2 連分數的漸近分數
7.3 簡單連分數的進一步性質
7.4 最佳逼近
7.5 循環連分數
7.6 √ n與因數分解
7.7 習題
第8章 群
8.1 群
8.1.1 基本定義
8.1.2 子群
8.2 正規子群和商群
8.2.1 陪集的拉格朗日定理
8.2.2 陪集的進一步性質
8.2.3 正規子群和商群
8.3 同態和同構
8.3.1 基本概念
8.3.2 同態分解定理
8.3.3 同態分解定理的進一步性質
8.4 習題
第9章 群的結構
9.1 循環群
9.1.1 循環群
9.1.2 循環子群的構造
9.2 有限生成交換群
9.3 置換群
9.4 習題
第10章 環與理想
10.1 環
10.1.1 基本定義
10.1.2 零因子環
10.1.3 整環及域
10.1.4 交換環上的整除
10.2 同態
10.3 特征及素域
10.4 分式域
10.5 理想和商環
10.5.1 理想
10.5.2 商環
10.5.3 環同態分解定理
10.6 素理想
10.7 習題
第11章 多項式環
11.1 多項式整環
11.2 多項式整除與不可約多項式
11.3 多項式歐幾里得除法
11.4 多項式同余
11.5 本原多項式
11.6 多項式理想
11.7 多項式結式與判別式
11.8 習題
第12章 域和 Galois理論
12.1 域的擴張
12.1.1 域的有限擴張
12.1.2 域的代數擴張
12.2 Galois基本定理
12.2.1 K-同構
12.2.2 Galois基本定理概述
12.2.3 基本定理之證明
12.3 可分域、代數閉包
12.3.1 可分域
12.3.2 代數閉包
12.4 習題
第13章 域的結構
13.1 超越基
13.2 有限域的構造
13.3 有限域的 Galois群
13.3.1 有限域的 Frobenius映射
13.3.2 有限域的 Galois群概述
13.4 正規基
13.5 習題
第14章 橢圓曲線
14.1 橢圓曲線基本概念
14.2 加法原理
14.2.1 實數域 R上橢圓曲線
14.2.2 素域 Fp (p> 3)上的橢圓曲線 E
14.2.3 域 F2n (n》1)上的橢圓曲線 E, j(E)=0
14.3 有限域上的橢圓曲線的階
14.4 重復倍加算法
14.5 習題
第15章 AKS素性檢驗
附錄A 三個數學難題
附錄B 周期序列
附錄C 前1280個素數及其原根表
附錄D F359
D.1 域F359中生成元g=7的冪指表：由k得到h=gk
D.2 域F359中生成元g=7的指數表：由h得到gk=h
附錄E F28=F2[x]/(x8+x4+x3+x2+1)
E.1 域中生成元g=x的冪指表：由k得到h=gk
E.2 域中生成元g=x的指數表：由h得到gk=h
E.3 域中生成元g=x的冪的函數u2+u表：由k得到h=g2k+gk
E.4 域中生成元g=x的廣義指數表：由h得到g2k+gk=h
附錄F F28=F2[x]/(x8+x4+x3+x+1)
F.1 域中生成元g=x+1的冪指表：由k得到h=gk
F.2 域中生成元g=x+1的指數表：由h得到gk=h
F.3 域中生成元g=x+1的冪的函數u2+u表：由k得到h=g2k+gk
F.4 域中生成元g=x+1的廣義指數表：由h得到g2k+gk=h
索引
參考文獻