第13次课公钥密码.pptVIP

扩展Euclid算法 --求乘法逆元（示例） 求解11e(mod51)=1 循环次数 Q X1 X2 X3 Y1 Y2 Y3 初值 1 0 51 0 1 11 1 4 0 1 11 1 -4 7 (X1, X2, X3)?(1,0,m); (Y1, Y2, Y3)?(0,1,d); Q=X3/Y3 （整数除） (X1, X2, X3)? (Y1, Y2, Y3) (T1, T2, T3)?(X1-QY1 , X2-QY2 , X3-QY3) (Y1, Y2, Y3) ? (T1, T2, T3) 2 1 1 -4 7 -1 5 4 3 1 -1 5 4 2 -9 3 4 1 -3 14 1 2 -9 3 算法中隐含：mX1+dX2=X3 mY1+dY2=Y3 当Y3=1，Y1=d-1modm X3 和Y3相当于Euclid中的X和Y X3=前一轮的Y3 Y3=前一轮X3-QY3，即X3modY3 思考： gcd(1769,550)=1 550-1mod1769=? 小结 RSA使用的运算 d=e -1 mod ?(n) d是e的反模运算，利用欧几里德算法。 大素数的选择 素性检验 大整数的幂的计算 用于加（解）密时，手工完成不可能，计算机直接算也比较慢。 素性检验（1） 方法1：用2- 之间的每个素数去除n，均除不尽，则n为素数。 方法2：Fermat测试 定理：底数a和素数p，其中a不能被p整除，那么有ap-1modp=1 例如：6为底数，7为素数，67-1mod7=66mod7=46656mod7=1 方法：若c可能是素数，则选一底数（eg，2），验算是否2c-1modc=1 正确理解：所有素数满足该等式，但使该等式成立的不一定是素数。 例如：2341-1mod341=1, 但11*13=341 问题１：伪素数，eg 341， 91等。 解决方案：使用不同的底数进行两次测试，可避免伪素数。 问题２：卡米克尔数（Carmichael),对所有底数都是伪素数。eg 561,1105,1729等。 解决方法：多个底数进行Fermat测试，若通过，再与Carmichael数表比较，若不在其中，则为素数。（小于25*109的数中，有2163个Carmichael数） 素性检验（2） 方法３：米勒－罗宾（Miller-Rabin）测试法 引理：若p(2)为素数，则方程x2=1(modp)的解只有x=1和x=-1 推论：若方程x2=1(modp)有一解x0 {-1,1} ,那么p不是素数。 算法Witness(a,n): 先将n-1表示为二进制bk bk-1 … b0 , d赋初值1 。 For i=k downto 0 do { x?d; d?(d*d)modn; if (d=1) and (x≠1) and (x≠n-1) then return False; if (bi=1) then d? (d*a)modn } If d ≠ 1 then return False; return True; n是待测数，a(n)是整数。 for循环结束后，有d=an-1modn (由Fermat定理，若n为素数，d=1) 米勒－罗宾（Miller-Rabin）测试法 对s个不同的a，重复调用这一算法，只要有一次算法返回为False，就可肯定n不是素数； 如果算法每次都返回True，则n为素数的概率至少为1-2-s 对于足够大的s，就可很肯定n为素数。 小结 RSA使用的运算 d=e -1 mod ?(n) d是e的反模运算，利用欧几里德算法。 大素数的选择 素性检验 大整数的幂的计算 用于加（解）密时，手工完成不可能，计算机直接算也比较慢。 大整数的幂的计算（1） 问题1：中间结果很大，有可能超出计算机所允许的整数取值范围。 问题２：乘法次数很多。 解决１：每次乘法运算后取模。因为abmodn=(amodn)(bmodn)modn 解决２：利用重复平方的方法来减少乘法的次数。 例如2116，16次乘法 因为16=2*2*2*2 所以2116=212*2*2*2=(((212)2)2)2 4次乘法 大整数的幂的计算（2） 此方法对所有指数是2的乘幂都是可以的