第13次课 公钥密码.pptVIP

扩展Euclid算法 --求乘法逆元（伪代码） 设ed(modm)=1，求e的值 (X1, X2, X3)?(1,0,m); (Y1, Y2, Y3)?(0,1,d); If Y3=0 then return X3=gcd(m,d) , stop; If Y3=1 then return e=d-1(modm)=Y2 , stop; Q=X3/Y3 （整数除） (T1, T2, T3)?(X1-QY1 , X2-QY2 , X3-QY3) ; (X1, X2, X3)? (Y1, Y2, Y3) ; (Y1, Y2, Y3) ? (T1, T2, T3) goto 2 扩展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 -