计算系统与网络安全PPT教学课件-第2章_信息安全数学基础(数论).ppt

计算系统与网络安全Computer System and Network Security 电子科技大学 计算机科学与工程学院 数论基础 子夏曰：“贤贤易色；事父母，能竭其力；事君，能致其身；与朋友交，言而有信。虽日未学，吾必谓之学矣。” 人际关系：父子；君臣；朋友；夫妻 第2章 信息安全数学基础（数论） 第2章 信息安全数学基础（数论） 整除定义及性质 带余数除法 带余数除法 素数定义及素数个数定理 素数补充定理 素数补充定理（续） 素数补充定理（续） 素数个数定理及证明 素数定义及素数个数定理 整数的唯一分解定理 最大公约数定义及求法 最大公约数的欧几里得算法 最大公约数的欧几里得算法（续） 欧几里得算法（例1） 最大公约数的欧几里得算法（续） 欧几里得算法（例2）：求gcd(12345,1111) 最大公约数的欧几里得算法（续） 欧几里得算法抽象 最大公约数的欧几里得算法（续） 欧几里得算法实现 扩展的欧几里得算法（续） 计算出了gcd(a,b); 但是并没有计算出两个数m，n来，使得： ma+nb=gcd(a,b) 扩展的欧几里得算法（续） 第2章 信息安全数学基础（数论） 同余 同余及模运算性质 模运算的除法运算及其性质 模运算的除法运算及其性质（续） 乘法逆元 扩展欧几里德算法与乘法逆元 欧几里德算法与乘法逆元 如果算法gcd（a，b）输出rm＝1，则b有乘法逆元 如果求出了ma+nb=1中的整数m，n，则可以求出b（mod a）的乘法逆元。 欧几里得算法没有给出b的乘法逆元b－1 如何求b－1 ？ 扩展的欧几里德算法 扩展欧几里德算法与乘法逆元（续） 扩展欧几里德算法与乘法逆元（续） 扩展欧几里德算法 剩余类和完全剩余系 剩余类和完全剩余系（续） 剩余类和完全剩余系（续） 剩余类和完全剩余系（续） 剩余类和完全剩余系（续） 剩余类和完全剩余系（续） 剩余类和完全剩余系（续） 费马小定理和欧拉定理 费马小定理和欧拉定理（续） 费马小定理和欧拉定理（续） 费马小定理和欧拉定理（续） 费马小定理和欧拉定理（续） 费马小定理和欧拉定理的应用 欧拉定理的应用 一次同余式 一次同余式（续） 一次同余式的解 第2章 信息安全数学基础（数论） 中国剩余定理 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理解同余方程组 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理（续） 中国剩余定理（续） 第2章 信息安全数学基础（数论） 模的幂运算 模的幂运算（续） 模的幂运算（续） 第2章 信息安全数学基础（数论） 本原根有关定理（续） 离散对数困难问题（续） 第2章 信息安全数学基础（数论） 第2章 信息安全数学基础（数论） 第2章 信息安全数学基础（数论） 有限域（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 多项式（续） 有限域 参考书 参考书： 杨义先等，信息安全理论与技术，邮电出版社 Mao Wenbo， Modern Cryptography: Theory and Practice?， 电子工业出版社，2004 Bruce Schneier, Applied Cryptography, Protocols, algorithms, and source code in C (2nd Edition)( 应用密码学 －协议、算法与C源程序， 吴世忠、祝世雄、张文政等译) 《Principles of Computer Security》Wm.A.Conklin, McGraw-Hill, 2005 《信息安全原理及应用》阙喜戎等，清华大学出版社，2003年 其他信息安全相关学术论文 课外阅读资料 Mao Wenbo， Modern Cryptography: Theory and Practice?， 电子工业出版社，2004 Any Question? QA （1）若g是模数m的一个原根，则g对模数m的次数是?（m），但0?(m)/qi?(m)(i=1,2,…,s)，故等式成立。 （2）如果等式成立，设g对模数m的次数是f，假定f?(m)，因此f|?(m)，所以?（m）/f是大于1的整数，故有某个素因素qi|(?(m)/f)，即?(m)/f=qiu，于是?(m)/qi=fu， g^（?(m)/qi)=g^fu=1(mod m)。矛盾，故f＝?（m），g是m的一个原根。 （1）若g是模数m的一个原根，则g对模数m的次数是?（m），但0?(m)/q