信息安全数学基础-2015-9.ppt

(1) 随机选an; (4)对a选t次重复,则n以(1-1/2t)概率为素数. Solovag –Strassen素性检测算法 由欧拉判别准则和二次符号可知如果n是素数,则 算法原理: 算法过程: (2)若(a,n)?1,则n为合数,终止. (3)计算j=a(p-1)/2 (mod n) 和J=(a/n): 若j?J,则n为合数,终止. 若j=J,n以50%概率为素数,继续; 设n是奇整数,因式分解为: n-1=2r·m, m为奇数. 若am??1 (mod n),或对某些0sr,满足 a2s·m?-1 (mod n), 则n是基数为a的强伪素数. Miller-Rabin素性检测算法 算法原理: 如果n是一个素数,则Z/n中应该只有1的两个平 方根,即1和n-1。 算法过程: 首先,因式分解n-1=2r·m,m为奇数; ①随机选1an-1; ②设s=0;计算z=am mod n, ③如果z=?1,则停止,n以?3/4的概率是素数, a是n是 素数的证据. ④否则继续:s=s+1,计算z=z2 mod n. 若sr且z=-1,停止,n以?3/4的概率为素数; 若z=1,n为合数,终止测试. ⑤若s=r,且没有一个z等于-1,则n为合数; 以上步骤重