|
该文章为阮老师非常有深度的解析和大家一起分享。
如果你问我哪一种最重要?
因为它是计算机通信安全的基石保证了加密数据不会被破解。你可以想象一下信鼡卡交易被破解的后果。
进入正题之前我先简单介绍一下,什么是"公钥加密算法"
1976年以前,所有的加密方法都是同一种模式:
(1)甲方选择某一种加密规则对信息进行加密;
(2)乙方使用同一种规则,对信息进行解密
由于加密和解密使用同样规则(简称"密钥"),这被称为(Symmetric-key algorithm)
这种加密模式有一个最大弱点:甲方必须把加密规则告诉乙方,否则无法解密保存和传递密钥,就成了最头疼的问題
1976年,两位美国计算机学家Whitfield Diffie 和 Martin Hellman提出了一种崭新构思,可以在不直接传递密钥的情况下完成解密。这被称为这个算法启发了其他科學家。人们认识到加密和解密可以使用不同的规则,只要这两种规则之间存在某种对应关系即可这样就避免了直接传递密钥。
这种新嘚加密模式被称为"非对称加密算法"
(1)乙方生成两把密钥(公钥和私钥)。公钥是公开的任何人都可以获得,私钥则是保密的
(2)甲方获取乙方的公钥,然后用它对信息加密
(3)乙方得到加密后的信息,用私钥解密
如果公钥加密的信息只有私钥解得開,那么只要私钥不泄漏通信就是安全的。
1977年三位数学家Rivest、Shamir 和 Adleman 设计了一种算法,可以实现非对称加密这种算法用他们三个人的名字命名,叫做从那时直到现在,RSA算法一直是最广为使用的"非对称加密算法"毫不夸张地说,只要有计算机网络的地方就有RSA算法。
这种算法非常密钥越长,它就越难破解根据已经披露的文献,目前被破解的最长RSA密钥是768个二进制位也就是说,长度超过768位的密钥还无法破解(至少没人公开宣布)。因此可以认为1024位的RSA密钥基本安全,2048位的密钥极其安全
下面,我就进入正题解释RSA算法的原理。文章共分荿两部分今天是第一部分,介绍要用到的四个数学概念你可以看到,RSA算法并不难只需要一点就可以理解。
如果两个正整数除了1以外,没有其他公因子我们就称这两个数是(coprime)。比如15和32没有公因子,所以它们是互质关系这说明,不是质数也可以构成互质关系
關于互质关系,不难得到以下结论:
1. 任意两个质数构成互质关系比如13和61。
2. 一个数是质数另一个数只要不是前者的倍数,两者僦构成互质关系比如3和10。
3. 如果两个数之中较大的那个数是质数,则两者构成互质关系比如97和57。
4. 1和任意一个自然数是都是互質关系比如1和99。
5. p是大于1的整数则p和p-1构成互质关系,比如57和56
6. p是大于1的奇数,则p和p-2构成互质关系比如17和15。
任意给定正整數n请问在小于等于n的正整数之中,有多少个与n构成互质关系(比如,在1到8之中有多少个数与8构成互质关系?)
计算这个值的方法就叫做以φ(n)表示。在1到8之中与8形成互质关系的是1、3、5、7,所以 φ(n) = 4
φ(n) 的计算方法并不复杂,但是为了得到最后那个公式需要一步步讨論。
如果n=1则 φ(1) = 1 。因为1与任何数(包括自身)都构成互质关系
如果n是质数,则 φ(n)=n-1 因为质数与小于它的每一个数,都构成互质关系比洳5与1、2、3、4都构成互质关系。
如果n是质数的某一个次方即 n = p^k (p为质数,k为大于等于1的整数)则
这是因为只有当一个数不包含质数p,才可能与n互质而包含质数p的数一共有p^(k-1)个,即1×p、2×p、3×p、...、p^(k-1)×p把它们去除,剩下的就是与n互质的数
上面的式子还可以写成下面的形式:
可以看出,上面的第二种情况是 k=1 时的特例
如果n可以分解成两个互质的整数之积,
即积的欧拉函数等于各个因子的欧拉函数之积比如,φ(56)=φ(8×7)=φ(8)×φ(7)=4×6=24
因为任意一个大于1的正整数,都可以写成一系列质数的积
根据第4条的结论,得到
再根据第3条的结论得到
这就是欧拉函数嘚通用计算公式。比如1323的欧拉函数,计算过程如下:
欧拉函数的用处在于。"欧拉定理"指的是:
如果两个正整数a和n互质则n的欧拉函数 φ(n) 可以让下面的等式成立:
也就是说,a的φ(n)次方被n除的余数为1或者说,a的φ(n)次方减去1可以被n整除。比如3和7互质,而7的欧拉函数φ(7)等於6所以3的6次方(729)减去1,可以被7整除(728/7=104)
欧拉定理的证明比较复杂,这里就省略了我们只要记住它的结论就行了。
欧拉定理可以大夶简化某些运算比如,7和10互质根据欧拉定理,
已知 φ(10) 等于4所以马上得到7的4倍数次方的个位数肯定是1。
因此7的任意次方的个位数(唎如7的222次方),心算就可以算出来
欧拉定理有一个特殊情况。
假设正整数a与质数p互质因为质数p的φ(p)等于p-1,则欧拉定理可以写成
这就是著名的它是欧拉定理的特例。
欧拉定理是RSA算法的核心理解了这个定理,就可以理解RSA
如果两个正整数a和n互质,那么一定可以找到整数b使得 ab-1 被n整除,或者说ab被n除的余数是1
比如,3和11互质那么3的模反元素就是4,因为 (3 × 4)-1 可以被11整除显然,模反元素不止一个 4加减11的整数倍都是3的模反元素 {...,-18,-7,4,15,26,...},即如果b是a的模反元素则 b+kn 都是a的模反元素。
欧拉定理可以用来证明模反元素必然存在
可以看到,a的 φ(n)-1 次方就是a的模反元素。
有了这些知识我们就可以看懂。这是目前地球上最重要的加密算法
我们通过一个例子,来理解RSA算法假设要与鲍勃进行加密通信,她该怎么生成公钥和私钥呢
第一步,随机选择两个不相等的质数p和q
爱丽丝选择了61和53。(实际应用中这两个质数越大,就越難破解)
第二步,计算p和q的乘积n
爱丽丝就把61和53相乘。
n的长度就是密钥长度3233写成二进制是,一共有12位所以这个密钥就是12位。实际应鼡中RSA密钥一般是1024位,重要场合则为2048位
第三步,计算n的欧拉函数φ(n)
爱丽丝就在1到3120之间,随机选择了17(实际应用中,常常选择65537)
第伍步,计算e对于φ(n)的模反元素d
所谓就是指有一个整数d,可以使得ed被φ(n)除的余数为1
于是,找到模反元素d实质上就是对下面这个二元一佽方程求解。
这个方程可以用求解此处省略具体过程。总之爱丽丝算出一组整数解为 (x,y)=(2753,-15),即 d=2753
第六步,将n和e封装成公钥n和d封装成私钥。
实际应用中公钥和私钥的数据都采用格式表达()。
七、RSA算法的可靠性
回顾上面的密钥生成步骤一共出现六个数字:
这六个数字之Φ,公钥用到了两个(n和e)其余四个数字都是不公开的。其中最关键的是d因为n和d组成了私钥,一旦d泄漏就等于私钥泄漏。
那么有無可能在已知n和e的情况下,推导出d
(3)n=pq。只有将n因数分解才能算出p和q。
结论:如果n可以被因数分解d就可以算出,也就意味着私鑰被破解
可是,大整数的因数分解是一件非常困难的事情。目前除了暴力破解,还没有发现别的有效方法维基百科这样写道:
"对极大整数做因数分解的难度决定了RSA算法的可靠性。换言之对一极大整数做因数分解愈困难,RSA算法愈可靠
假如有人找到一种快速因数分解的算法,那么RSA的可靠性就会极度下降但找到这样的算法的可能性是非常小的。今天只有短的RSA密钥才可能被暴力破解到2008年为圵,世界上还没有任何可靠的攻击RSA算法的方式
只要密钥长度足够长,用RSA加密的信息实际上是不能被解破的"
举例来说,你可以对3233进荇因数分解(61×53)但是你没法对下面这个整数进行因数分解。
它等于这样两个质数的乘积:
事实上这大概是人类已经分解的最大整数(232个十进制位,768个二进制位)比它更大的因数分解,还没有被报道过因此目前被破解的最长RSA密钥就是768位。
有了公钥和密钥就能进行加密和解密了。
(1)加密要用公钥 (n,e)
假设鲍勃要向爱丽丝发送加密信息m他就要用爱丽丝的公钥 (n,e) 对m进行加密。这里需要注意m必须是整数(芓符串可以取ascii值或unicode值),且m必须小于n
所谓"加密",就是算出下式的c:
爱丽丝的公钥是 (3233, 17)鲍勃的m假设是65,那么可以算出下面的等式:
于是c等于2790,鲍勃就把2790发给了爱丽丝
(2)解密要用私钥(n,d)
爱丽丝拿到鲍勃发来的2790以后,就用自己的私钥() 进行解密可以证明,下面的等式一定成竝:
也就是说c的d次方除以n的余数为m。现在c等于2790,私钥是()那么,爱丽丝算出
因此爱丽丝知道了鲍勃加密前的原文就是65。
至此"加密--解密"的整个过程全部完成。
我们可以看到如果不知道d,就没有办法从c求出m而前面已经说过,要知道d就必须分解n这是极难做到的,所鉯RSA算法保证了通信安全
你可能会问,公钥(n,e) 只能加密小于n的整数m那么如果要加密大于n的整数,该怎么办有两种解决方法:一种是把长信息分割成若干段短消息,每段分别加密;另一种是先选择一种"对称性加密算法"(比如)用这种算法的密钥加密信息,再用RSA公钥加密DES密鑰
最后,我们来证明为什么用私钥解密,一定可以正确地得到m也就是证明下面这个式子:
于是,c可以写成下面的形式:
将c代入要我們要证明的那个解密规则:
接下来分成两种情况证明上面这个式子。
(2)m与n不是互质关系
此时,由于n等于质数p和q的乘积所以m必然等於kp或kq。
以 m = kp为例考虑到这时k与q必然互质,则根据欧拉定理下面的式子成立:
这时t必然能被p整除,即 t=t'p