信息安全数学基础.pptxVIP

信息安全数学基础;第一章:整除与同余;3;;5;6;7;8;;10;4.1.1整数的带余除法;4.1.2整数的最大公因子;4.1.1整数的最大公因子;14;4.1.2整数的最大公因子;4.1.2整数的最大公因子;17;4.1.3多个整数最大公因子;19;4.1.3多个整数最大公因子;4.1.4整数的最小公倍数;问题：对任意的正整数a，b，哪个结论成立？成立给

证明，不成立请给反例;定理4.11对任意的正整数a，b，有;24;4.1.5素数;4.1.5素数;4.1.5素数;定理4.16〔算术基本定理〕任一大于1的整数能唯一表示成素数的乘积，即对于n1,有;4.1.6算术基本定理;4.1.6算术基本定理;4.1.6算术基本定理;4.1.6算术基本定理;信息安全数学基础;第四章:整除与同余;;第一阶段学习目标;4.2.1整数模运算和同余定义;;4.2.2整数同余基本性质;4.2.2整数同余基本性质;第二阶段学习目标;;定义4.21(模同余逆元):称整数b(0bm)为a模m逆元是指b满足a×b?1(modm).

;44;45;能描述完全剩余系概念

能解释完全剩余系的性质;4.2.4完全剩余系;4.2.4完全剩余系;4.2.4完全剩余系;4.2.4完全剩余系;能描述简化剩余系概念

能解释简化剩余系的性质;4.2.5简化剩余系;4.2.5简化剩余系;4.2.5简化剩余系;4.2.5简化剩余系;引入;能利用剩余系性质证明欧拉定理

能利用剩余系性质解释欧拉数计数公式;4.2.6欧拉定理;4.2.6欧拉定理;4.2.6欧拉定理;4.2.7欧拉数计数;4.2.7欧拉数计数;4.2.7欧拉数计数;4.2.7欧拉数计数;4.2.7欧拉数计数;信息安全数学基础;第四章:整除与同余;引入;能描述一次同余方程的概念

能解释一次同余方程解存在性条件，并会解一次同余方程

;4.3.1整数同余方程;4.3.1整数同余方程;4.3.1整数同余方程;4.3.1整数同余方程;4.3.1整数同余方程;一次同余方程的概念

一次同余方程解存在性条件，会解一次同余方程

;4.4.1引入;能描述一次同余方程的概念

能用中国剩余定理求解一次同余方程组

;4.3.2同余方程组;4.3.2同余方程组;4.3.2同余方程组;4.3.2同余方程组;4.3.2同余方程组;4.3.3中国剩余定理应用;Rabin密码体制：

已知c≡m2modn,如何求m?

;如何将明文转化为椭圆曲线上的点？

;4.3.2同余方程组;4.3.2同余方程组;4.3.2同余方程组;信息安全数学基础;第四章:整除与同余;学习目标;4.4.1二次剩余定义;4.4.1二次剩余定义;4.4.2二次剩余性质;4.4.2二次剩余性质;4.4.2二次剩余性质;4.4.2二次剩余性质;4.4.2二次剩余性质;4.4.2二次剩余性质;4.4.2二次剩余性质;信息安全数学基础;第四章:整除与同余;;能解释素性测试分类

常见的确定性素性测试

;如何产生一个大素数？;5.1.1素性测试-基本概念;给定一个正整数，判断是不是素数，称为

素性测试.;Eratosthenes筛法：

设正整数，如果对于所有的素数,均有，则为素数。

例1：p=97为素数，需要求所有小于10素数是不是97的因子。

;AKS算法：2002年，印度理工学院的Agrawal,Kayal和Saxena等三人提出了一种多项式时间的确定性的素性测试法。

;能解释Fermat、Lehmann、Miller-rabin概率性素性测试原理

能实现上述三种概率性素性测试

;Fermat小定理：当为素数时，对每个,

,均有.;Fermat素性测试法：;例2：利用Fermat素性测试法判定n的素性。;定理4.53设n为一个奇合数,则至少有个模n

互不同余a,且与n互素的数a满足。;Lehmann素性测试法：;定理4.54设为奇正合数，，其中，

为奇整数，至多有个，满足如下条件：

或者存在，使得

称为Miller-Rabin测试.

;Miller-Rabin测试法：;例3：