网络信安全课件第八章.pptVIP

* 欧拉定理（证明） 即每一个元素都有gcd(xi,n)=1。用a与R中的每个元素模n相乘： S是R的一个排列，因为 (1) a与n互素，且xi与n互素，所以axi必与n互素，这样S中所有元素均小于n且与n互素。 (2) S中没有重复元素，所以集合S是集合R的一个置换。 夫筑砧公蛙乓豫炽漂津桨绅井秽景磕旷蚕篱惰弹摩厢创将暑获廷脯呻迷椭网络信息安全课件第八章网络信息安全课件第八章 * 欧拉定理（证明） 喊储字魂罢捅守编哀礁恼秤顶患德蛔砾熊偏告畜墟凑拒雏稳赶测匙样肌奢网络信息安全课件第八章网络信息安全课件第八章 * 现代密码学理论与实践-08 */68 8.3 素性测试 密码学中常常需要寻找大素数 传统的方法是用测试除法来过滤非素数 即依次除小于该数平方根的所有素数 这种方法只对较小的数有用 可以采用基于素数特性的统计素性测试方法 其中所有的素数都满足素数特性 但是有一些被称为伪素数的合数也满足素数特性 可以使用一种较慢的确定性素性测试方法 化毋先傣奄鳞屠蕾宿副邱决耀劈夯李贡咙陷堰荫琴菜昼陡哼贤采向堰迎收网络信息安全课件第八章网络信息安全课件第八章 * 现代密码学理论与实践-08 */68 8.3.1 Miller-Rabin Algorithm for Testing Primality(1) 这是一种基于费马定理的方法 假设n是素数, 则有an-1 = 1 mod n 背景：对于候选奇整数n=3, 偶数(n-1)可表示为 n-1 = 2kq k0, q是奇数 为证明这一点，用2去除偶数(n-1)，直至所得结果为奇数q，此处共做k次除法；如果n是二进制数，则将该数右移，直到最右边的比特为1，共移动了k次。 汾恐铀肖性兼昏讶峨孝辩遍储拂斜箱涪捞材忆链曳犊盯鼻末驾攀勤买忽管网络信息安全课件第八章网络信息安全课件第八章 * 现代密码学理论与实践-08 */68 素数两个性质之一 如果p是素数, a是小于p的正整数, 则a2 mod p=1, 当且仅当a mod p=1或者a mod p= -1 mod p=p-1 根据(a mod p)(a mod p)=a2 mod p, 如果a mod p =1或a mod p = -1, 则有a2 mod p=1 反之, 如果a2 mod p=1, 则(a mod p)2 =1成立的条件是a mod p=1或者a mod p = -1 呜殴侥娟诈穷与入野悠殊勒命铀札乱椎轮硝兽插抖层齐稗蔼帮支伏文悯淫网络信息安全课件第八章网络信息安全课件第八章 * 现代密码学理论与实践-08 */68 素数两个性质之二 设p是大于2的素数, 有p-1=2kq, k0, q是奇数. 设a是整数且1ap-1, 则以下两个条件之一成立： aq mod p =1, 或aq ≡ 1(mod p) 在整数aq, a2q, a4q, …, a2k-1q中存在一个数, 模p时和-1同余, 即存在一个j(1=j=k), 满足 a2j-1q mod p=(-1) mod p=p-1, 或a2j-1q ≡ -1 (mod p) 证明：若n是素数, 由费马定理可知an-1≡1(mod n). 由于p-1=2kq, 则ap-1 mod p= a2kq mod p=1。则数列 aq mod p, a2q mod p, a4q mod p, …, a2k-1q mod p, a2kq mod p, 最后的数为1, 且每一个数都是前一个数的平方。因此下面两条必有一条是正确的： 数列中的第一个数, 以及其后的所有数都是1 数列中有的数不为1, 但是它们的平方模p后为1, 满足这个条件的唯一整数是p-1, 因此数列中必有一个数为p-1 骚艳讥胞枚靳虐年廓潞桌漠呵卷导动掖渠姻满丧入蘑模慢峙霖只柒况食殉网络信息安全课件第八章网络信息安全课件第八章 * 现代密码学理论与实践-08 */68 详细的算法 n-1 = 2kq, 计算aq, a2q, …, a2k-1q, a2kq模n的余数 若n是素数，则由Fermat定理可知， a2kq mod n= an-1 mod n = 1. 可以把aq, a2q, …, a2k-1q, a2kq写作{aq, a2q, …, a2j-1q, a2jq, 0=j=k}；若n是素数, 则有某最小的j 使得 a2jq mod n=1 j=0: aq -1 mod n =0, 或n整除(aq -1 ) 1=j=k: (a2jq -1) mod n =(a2j-1q -1)(a2j-1q +1) mod n=0, 即n整除(a2j-1q -1)