网络信息安全课件第八章.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)或(a2j-1q +1) 。根据假设，j是使n整除(a2jq -1)的最小整数, 所以n不能整除(a2j-1q -1)，因此n整除(a2j-1q +1), 即a2j-1q mod n=(-1) mod n = n -1 * 现代密码学理论与实践-08 */68 Miller-Rabin Algorithm for Testing Primality(2) 所以, 若n是素数, 要么余数序列(aq, a2q, …, a2k-1q, a2kq)的第一个元素为1, 要么该序列中某个元素为n-1;否则n是合数。然而条件成立也并不意味着n一定是素数。 例如：n=2047=23x89, 则n-1=2x1023; 计算21023 mod 2