[工学]信息安全技术chapter6公钥密码学和RAS算法.pptVIP

第六讲 公钥密码学与RSA 黄 杰 信息安全研究中心 本次课内容 数论入门 素数 Fermat定理和Euler定理 素性测试 离散对数 公钥密码学 RSA 数 论 入 门 素数 任意正整数可由素数的乘积来表示。 整数12可用{a2=2, a3=1}来表示 整数18可用{a2=1, a3=2}来表示 两数相乘。?对应指数相加。 整除的表示。?对应指数比较大小。 最大公因子的计算。?对应指数取最小值。 K=gcd(a,b)--对所有的p，kp=min(ap,bp) Fermat定理 Fermat定理：若p是素数，a是正整数且不能被p整除，则 Fermat定理的另一种有用表示：若p是素数，a是任意正整数，则 Euler函数 Euler函数Φ(n)，指小于n且与n互素的正整数的个数。 对于素数p有： Φ(p)=p-1 例如，P=7,小于7且与7互素的正整数有： 1，2，3，4，5，6，所以Φ(7)=6 如果p=15，Φ(15)=?? Φ(15)= 8 对于两个素数p和q，p≠q，那么对n=pq，有： Φ(n)= Φ (pq)= Φ (p) ×Φ (q)=(p-1) ×(q-1) Euler定理 Euler定理：对于任意互素的a和n，有： Euler定理的另一种有用表示： 推论：给定两个素数p和q，整数n=pq，对于小于n的任意正整数m，有以下关系式成立： 推论的另一种表达形式： 素性测试 Miller-Rabin算法 目的：检验给定的大数n是否素数，如2150+1是否素数？ Miller和Rabin提出的算法较为常用。该算法不能确定一个大数是素数，但是可以确定一个大数是合数。 奇整数n=3的表示： n-1=2kq, k0,q为奇数 运算时间 O(log n) Miller-Rabin算法 性质1：如果p是素数，a是小于p的正整数，当且仅当 a mod p = 1或a mod p = -1时，a2 mod p =1 。 性质2：设p是大于2的素数，有p-1=2kq, k0,q为奇数。设a是整数，且1ap-1，则下面两个条件必有一个成立： aq模p和1同余。 整数aq, a2q,….., a2k-1q里存在一个数，模p时和-1同余。 Miller-Rabin算法 a test based on Fermat’s Theorem algorithm is: TEST (n) is: 1. Find integers k, q, k 0, q odd, so that (n–1)=2kq 2. Select a random integer a, 1an–1 3. if aq mod n = 1 then return (“maybe prime); 4. for j = 0 to k – 1 do 5. if (a2jq mod n = n-1) then return( maybe prime ) 6. return (composite) Miller-Rabin算法 如何利用Miller-Rabin算法确定某整数是或不是素数，并且要有很高的可信度？ 对随机选取的a，重复调用TEST(n)，如果某时刻TEST返回“合数”，则n一定不是素数；若n为非素奇数，则TEST返回不确定的概率小于1/4。若TEST连续t次返回“不确定”，则n是素数的概率至少是1-4-t。 随机选取大素数的难度？也即需要进行多少次素性测试以找到一个素数？ 素数定理：n附近的素数分布情况为，平均每ln(n)个整数中有一个素数。需测试的整数个数约为0.4ln(n)。另，素数的分布没有确定的规律。 AKS算法 2002年，Agrawal，Kayal和Saxena设计 该算法是多项式时间的确定算法 运算时间 O((log n)^12) 改善现代密码系统的安全性 改进算法： AKS－Berrizbeitia算法，复杂度O((log n)^6) AKS－Bernstein算法，复杂度O((log n)^4) AKS算法 离散对数 作用？ 使得am≡1 (mod n)成立的最小正幂为m。此时，称m为： a模n的阶 a所产生的周期长 a所属的模n的指数 本原根 若a是n的本原根，则a的1到Φ(n)次幂的模n各不相同的，且均与n互素。 当p为素数时，若a是n的本原根a的1到(p-1)次幂的模p各不相同的。 模19的整数幂 离散对数 离散对数的定义 对于某素数p，p的本原根为a； 对于任何整数b； 存在唯一的整数i, ，使得 i称为以a为底b的指标 也记为离散对数，记为dloga,p(b) 离散对数的性质 离散对数的计算 y≡gx mod p 已知g