RSA加密演算法

爱被打了一巴掌 2022-07-17 00:15 160阅读 0赞

转载出处：[https://zh.wikipedia.org/zh/RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95][https_zh.wikipedia.org_zh_RSA_E5_8A_A0_E5_AF_86_E6_BC_94_E7_AE_97_E6_B3_95]

\-------------------------- 我 是 分 割 线 ----------------------------------

## 操作\[[编辑][Link 1]\] ##

### 公钥与私钥的产生\[[编辑][Link 2]\] ###

假設[Alice][]想要通過一個不可靠的媒體接收[Bob][Alice]的一條私人訊息。她可以用以下的方式來產生一個**公鑰**和一個**私鑰**：

1.  隨意選擇兩個大的[質數][Link 3]\{\\displaystyle p\}![p][]和\{\\displaystyle q\}![q][]，\{\\displaystyle p\}![p][]不等於\{\\displaystyle q\}![q][]，計算\{\\displaystyle N=pq\}![N=pq][N_pq]。
2.  根據[歐拉函數][Link 4]，求得\{\\displaystyle r=\\varphi (N)=\\varphi (p)\\varphi (q)=(p-1)(q-1)\}![r=\\varphi (N) = \\varphi (p)\\varphi (q)=(p-1)(q-1)][r_varphi _N_ _ _varphi _p_varphi _q_p-1_q-1]
3.  選擇一個小于\{\\displaystyle r\}![r][]的整數\{\\displaystyle e\}![e][]，使\{\\displaystyle e\}![e][]与\{\\displaystyle r\}![r][][互质][Link 5]。並求得\{\\displaystyle e\}![e][]关于\{\\displaystyle r\}![r][]的[模反元素][Link 6]，命名为\{\\displaystyle d\}![d][]（求\{\\displaystyle d\}![d][]令\{\\displaystyle ed\\equiv 1\{\\pmod \{r\}\}\}![\{\\displaystyle ed\\equiv 1\{\\pmod \{r\}\}\}][displaystyle ed_equiv 1_pmod _r]）。(模反元素存在，当且仅当\{\\displaystyle e\}![e][]与\{\\displaystyle r\}![r][]互质）
4.  將\{\\displaystyle p\}![p][]和\{\\displaystyle q\}![q][]的記錄銷毀。

\{\\displaystyle (N,e)\}![(N,e)][N_e]是公鑰，\{\\displaystyle (N,d)\}![(N,d)][N_d]是私鑰。Alice將她的公鑰\{\\displaystyle (N,e)\}![(N,e)][N_e]傳給Bob，而將她的私鑰\{\\displaystyle (N,d)\}![(N,d)][N_d]藏起來。

### 加密消息\[[编辑][Link 7]\] ###

假设Bob想给Alice送一个消息\{\\displaystyle m\}![m][]，他知道Alice产生的\{\\displaystyle N\}![N][]和\{\\displaystyle e\}![e][]。他使用起先与Alice约好的格式将\{\\displaystyle m\}![m][]转换为一个小于\{\\displaystyle N\}![N][]，且与\{\\displaystyle N\}![N][]互质的整数\{\\displaystyle n\}![n][]，比如他可以将每一个字转换为这个字的[Unicode][]码，然后将这些数字连在一起组成一个数字。假如他的信息非常长的话，他可以将这个信息分为几段，然后将每一段转换为\{\\displaystyle n\}![n][]。用下面这个公式他可以将\{\\displaystyle n\}![n][]加密为\{\\displaystyle c\}![c][]：

\{\\displaystyle n^\{e\}\\equiv c\\ (\\mathrm \{mod\} \\ N)\} ![n^e \\equiv c\\ (\\mathrm\{mod\}\\ N)][n_e _equiv c_ _mathrm_mod_ N]

计算\{\\displaystyle c\}![c][]并不复杂。Bob算出\{\\displaystyle c\}![c][]后就可以将它传递给Alice。

### 解密消息\[[编辑][Link 8]\] ###

Alice得到Bob的消息\{\\displaystyle c\}![c][]后就可以利用她的密钥\{\\displaystyle d\}![d][]来解码。她可以用以下这个公式来将\{\\displaystyle c\}![c][]转换为\{\\displaystyle n\}![n][]：

\{\\displaystyle c^\{d\}\\equiv n\\ (\\mathrm \{mod\} \\ N)\} ![c^d \\equiv n\\ (\\mathrm\{mod\}\\ N)][c_d _equiv n_ _mathrm_mod_ N]

得到\{\\displaystyle n\}![n][]后，她可以将原来的信息\{\\displaystyle m\}![m][]重新复原。

解码的原理是

\{\\displaystyle c^\{d\}\\equiv n^\{e\\cdot d\}\\ (\\mathrm \{mod\} \\ N)\} ![c^d \\equiv n^\{e \\cdot d\}\\ (\\mathrm\{mod\}\\ N)][c_d _equiv n_e _cdot d_ _mathrm_mod_ N]

已知\{\\displaystyle ed\\equiv 1\{\\pmod \{r\}\}\}![\{\\displaystyle ed\\equiv 1\{\\pmod \{r\}\}\}][displaystyle ed_equiv 1_pmod _r]，即 \{\\displaystyle ed=1+h\\varphi (N)\}![\{\\displaystyle ed=1+h\\varphi (N)\}][displaystyle ed_1_h_varphi _N]。 由[欧拉定理][Link 9]得：

\{\\displaystyle n^\{ed\}=n^\{1+h\\varphi (N)\}=n\\left(n^\{\\varphi (N)\}\\right)^\{h\}\\equiv n(1)^\{h\}\{\\pmod \{N\}\}\\equiv n\{\\pmod \{N\}\}\} ![\{\\displaystyle n^\{ed\}=n^\{1+h\\varphi (N)\}=n\\left(n^\{\\varphi (N)\}\\right)^\{h\}\\equiv n(1)^\{h\}\{\\pmod \{N\}\}\\equiv n\{\\pmod \{N\}\}\}][displaystyle n_ed_n_1_h_varphi _N_n_left_n_varphi _N_right_h_equiv n_1_h_pmod _N_equiv n_pmod _N]

### 签名消息\[[编辑][Link 10]\] ###

RSA也可以用来为一个消息署名。假如Alice想给Bob传递一个署名的消息的话，那么她可以为她的消息计算一个[散列值][Link 11]（Message digest），然后用她的私钥加密这个散列值并将这个“署名”加在消息的后面。这个消息只有用她的公钥才能被解密。Bob获得这个消息后可以用Alice的公钥解密这个散列值，然后将这个数据与他自己为这个消息计算的散列值相比较。假如两者相符的话，那么他就可以知道发信人持有甲的密钥，以及这个消息在传播路径上没有被篡改过。

## 安全\[[编辑][Link 12]\] ##

假设偷听者乙获得了甲的公钥\{\\displaystyle N\}![N][]和\{\\displaystyle e\}![e][]以及丙的加密消息\{\\displaystyle c\}![c][]，但她无法直接获得甲的密钥\{\\displaystyle d\}![d][]。要获得\{\\displaystyle d\}![d][]，最简单的方法是将\{\\displaystyle N\}![N][]分解为\{\\displaystyle p\}![p][]和\{\\displaystyle q\}![q][]，这样她可以得到[同余方程][Link 13]\{\\displaystyle de=1(\\mathrm \{mod\} (p-1)(q-1))\}![de=1 (\\mathrm\{mod\}(p-1)(q-1))][de_1 _mathrm_mod_p-1_q-1]并解出\{\\displaystyle d\}![d][]，然后代入解密公式

\{\\displaystyle c^\{d\}\\equiv n\\ (\\mathrm \{mod\} \\ N)\} ![c^d \\equiv n\\ (\\mathrm\{mod\}\\ N)][c_d _equiv n_ _mathrm_mod_ N]

导出*n*（破密）。但至今为止还没有人找到一个多項式時間的算法来分解一个大的整数的因子，同时也还没有人能够证明这种算法不存在（见[因数分解][Link 14]）。

至今为止也没有人能够证明对\{\\displaystyle N\}![N][]进行因数分解是唯一的从\{\\displaystyle c\}![c][]导出\{\\displaystyle n\}![n][]的方法，但今天还没有找到比它更简单的方法。（至少没有公开的方法。）

因此今天一般认为只要\{\\displaystyle N\}![N][]足够大，那么駭客就没有办法了。

假如\{\\displaystyle N\}![N][]的长度小于或等于256[位][Link 15]，那么用一台[个人电脑][Link 16]在几个小时内就可以分解它的因子了。1999年，数百台电脑合作分解了一个512位长的\{\\displaystyle N\}![N][]。今天对\{\\displaystyle N\}![N][]的要求是它至少要1024位长。

1994年[彼得·秀爾][Link 17]（Peter Shor）证明一台[量子计算机][Link 18]可以在多項式時間内进行因数分解。假如量子计算机有朝一日可以成为一种可行的技术的话，那么秀爾的算法可以淘汰RSA和相关的衍生算法。（即依赖于分解大整数困难性的加密算法）

假如有人能够找到一种有效的分解大整数的算法的话，或者假如量子计算机可行的话，那么在解密和制造更长的钥匙之间就会展开一场竞争。但从原理上来说RSA在这种情况下是不可靠的。

## 实现细节\[[编辑][Link 19]\] ##

### 密钥生成\[[编辑][Link 20]\] ###

首先要使用概率算法来验证随机产生的大的整数是否質数，这样的算法比较快而且可以消除掉大多数非質数。假如有一个数通过了这个测试的话，那么要使用一个精确的测试来保证它的确是一个質数。

除此之外这样找到的\{\\displaystyle p\}![p][]和\{\\displaystyle q\}![q][]还要满足一定的要求，首先它们不能太靠近，此外\{\\displaystyle p-1\}![p-1][]或\{\\displaystyle q-1\}![q-1][]的因子不能太小，否则的话\{\\displaystyle N\}![N][]也可以被很快地分解。

此外寻找質数的算法不能给攻击者任何信息，这些質数是怎样找到的，尤其产生随机数的软件必须非常好。要求是随机**和**不可预测。这两个要求并不相同。一个随机过程可能可以产生一个不相关的数的系列，但假如有人能够预测出（或部分地预测出）这个系列的话，那么它就已经不可靠了。比如有一些非常好的随机数算法，但它们都已经被发表，因此它们不能被使用，因为假如一个攻击者可以猜出\{\\displaystyle p\}![p][]和\{\\displaystyle q\}![q][]一半的位的话，那么他们就已经可以轻而易举地推算出另一半。

此外密钥\{\\displaystyle d\}![d][]必须足够大，1990年有人证明假如\{\\displaystyle p\}![p][]大于\{\\displaystyle q\}![q][]而小于\{\\displaystyle 2q\}![2q][](这是一个很经常的情况）而\{\\displaystyle d<\{\\frac \{1\}\{3\}\}\\times N^\{\\frac \{1\}\{4\}\}\}![d<\\frac\{1\}\{3\} \\times N^\{\\frac\{1\}\{4\}\}][d_frac_1_3_ _times N_frac_1_4]，那么从\{\\displaystyle N\}![N][]和\{\\displaystyle e\}![e][]可以很有效地推算出\{\\displaystyle d\}![d][]。此外\{\\displaystyle e=2\}![e=2][e_2]永远不应该被使用。

### 速度\[[编辑][Link 21]\] ###

比起[DES][]和其它[对称算法][Link 22]来說，RSA要慢得多。实际上Bob一般使用一种对称算法来加密他的信息，然后用RSA来加密他的比较短的对称密码，然后将用RSA加密的对称密码和用对称算法加密的消息送给Alice。

这样一来对随机数的要求就更高了，尤其对产生对称密码的要求非常高，因为否则的话可以越过RSA来直接攻击对称密码。

### 密钥分配\[[编辑][Link 23]\] ###

和其它加密过程一样，对RSA来说分配公钥的过程是非常重要的。分配公钥的过程必须能够抵挡中间人攻击。假设Eve交给Bob一个公钥，并使Bob相信这是Alice的公钥，并且她可以截下Alice和Bob之间的信息传递，那么她可以将她自己的公钥传给Bob，Bob以为这是Alice的公钥。Eve可以将所有Bob传递给Alice的消息截下来，将这个消息用她自己的密钥解密，读这个消息，然后将这个消息再用Alice的公钥加密后传给Alice。理论上Alice和Bob都不会发现Eve在偷听他们的消息。今天人们一般用[可靠的第三方機構簽發憑證][Link 24]来防止这样的攻击。

### 时间攻击\[[编辑][Link 25]\] ###

1995年有人提出了一种非常意想不到的攻击方式：假如Eve对Alice的硬件有充分的了解，而且知道它对一些特定的消息加密时所需要的时间的话，那么她可以很快地推导出*d*。這種攻擊方式之所以會成立，主要是因為在進行加密時所進行的模指數運算是一個位元一個位元進行的，而位元為1所花的運算比位元為0的運算要多很多，因此若能得到多組訊息與其加密時間，就會有機會可以反推出私鑰的內容。

## 典型密钥长度\[[编辑][Link 26]\] ##

1997年后开发的系统，用户应使用1024位密钥，[憑證認證機構][Link 27]应用2048位或以上。

## 已公开的或已知的攻击方法\[[编辑][Link 28]\] ##

针对RSA最流行的攻击一般是基于大数因数分解。1999年，RSA-155 (512 bits)被成功分解，花了五个月时间（约8000 MIPS年）和224 CPU hours在一台有3.2G中央内存的Cray C916计算机上完成。

2002年，RSA-158也被成功因数分解。

RSA-158表示如下：

39505874583265144526419767800614481996020776460304936454139376051579355626529450683609
    727842468219535093544305870490251995655335710209799226484977949442955603
    
    = 3388495837466721394368393204672181522815830368604993048084925840555281177×
      11658823406671259903148376558383270818131012258146392600439520994131344334162924536139

2009年12月12日，编号为RSA-768（768 bits, 232 digits）数也被成功分解[\[1\]][1]。这一事件威胁了现通行的1024-bit密钥的安全性，普遍认为用户应尽快升级到2048-bit或以上。

RSA-768表示如下：

123018668453011775513049495838496272077285356959533479219732245215172640050726
    365751874520219978646938995647494277406384592519255732630345373154826850791702
    6122142913461670429214311602221240479274737794080665351419597459856902143413
    
    = 3347807169895689878604416984821269081770479498371376856891
      2431388982883793878002287614711652531743087737814467999489×
      3674604366679959042824463379962795263227915816434308764267
      6032283815739666511279233373417143396810270092798736308917

[https_zh.wikipedia.org_zh_RSA_E5_8A_A0_E5_AF_86_E6_BC_94_E7_AE_97_E6_B3_95]: https://zh.wikipedia.org/zh/RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95
[Link 1]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=1
[Link 2]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=2
[Alice]: https://zh.wikipedia.org/wiki/%E6%84%9B%E9%BA%97%E7%B5%B2%E8%88%87%E9%AE%91%E4%BC%AF
[Link 3]: https://zh.wikipedia.org/wiki/%E8%B3%AA%E6%95%B8
[p]: https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36
[q]: https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d
[N_pq]: https://wikimedia.org/api/rest_v1/media/math/render/svg/1efc286342c8aeaa396b1816f62477a680a7b395
[Link 4]: https://zh.wikipedia.org/wiki/%E6%AC%A7%E6%8B%89%E5%87%BD%E6%95%B0
[r_varphi _N_ _ _varphi _p_varphi _q_p-1_q-1]: https://wikimedia.org/api/rest_v1/media/math/render/svg/91b05618b0965bec1c89ad61129ea0f538b32055
[r]: https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538
[e]: https://wikimedia.org/api/rest_v1/media/math/render/svg/cd253103f0876afc68ebead27a5aa9867d927467
[Link 5]: https://zh.wikipedia.org/wiki/%E4%BA%92%E8%B3%AA
[Link 6]: https://zh.wikipedia.org/wiki/%E6%A8%A1%E5%8F%8D%E5%85%83%E7%B4%A0
[d]: https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab
[displaystyle ed_equiv 1_pmod _r]: https://wikimedia.org/api/rest_v1/media/math/render/svg/615bfc80513abf2a32d6c105b6b150c05773029b
[N_e]: https://wikimedia.org/api/rest_v1/media/math/render/svg/8c91256bb49f920a99d16893808a7c9855cfc048
[N_d]: https://wikimedia.org/api/rest_v1/media/math/render/svg/b35fce11babc3704ebf2a42575457a148d17a2b0
[Link 7]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=3
[m]: https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc
[N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3
[n]: https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b
[Unicode]: https://zh.wikipedia.org/wiki/Unicode
[c]: https://wikimedia.org/api/rest_v1/media/math/render/svg/86a67b81c2de995bd608d5b2df50cd8cd7d92455
[n_e _equiv c_ _mathrm_mod_ N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/2edf59fcd6314a2e56e49522086c1fd61596022f
[Link 8]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=4
[c_d _equiv n_ _mathrm_mod_ N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/39e4d41353bed8f138cc9f567741051c544b7720
[c_d _equiv n_e _cdot d_ _mathrm_mod_ N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/bb4a0dc0fc20fc66d4d0e866686e5966d579faa0
[displaystyle ed_1_h_varphi _N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/64e2c5e70f23fe9595cf64923d3d190f7470fc08
[Link 9]: https://zh.wikipedia.org/wiki/%E6%AC%A7%E6%8B%89%E5%AE%9A%E7%90%86_%28%E6%95%B0%E8%AE%BA%29
[displaystyle n_ed_n_1_h_varphi _N_n_left_n_varphi _N_right_h_equiv n_1_h_pmod _N_equiv n_pmod _N]: https://wikimedia.org/api/rest_v1/media/math/render/svg/79569d77cd17c2c265be3b2980878a3a59aa1a7e
[Link 10]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=5
[Link 11]: https://zh.wikipedia.org/wiki/%E6%95%A3%E5%88%97
[Link 12]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=6
[Link 13]: https://zh.wikipedia.org/wiki/%E7%BA%BF%E6%80%A7%E5%90%8C%E4%BD%99%E6%96%B9%E7%A8%8B
[de_1 _mathrm_mod_p-1_q-1]: https://wikimedia.org/api/rest_v1/media/math/render/svg/89050f00a3c01614d0cdd9d7c13fa4fbdf90a94a
[Link 14]: https://zh.wikipedia.org/wiki/%E5%9B%A0%E6%95%B0%E5%88%86%E8%A7%A3
[Link 15]: https://zh.wikipedia.org/wiki/%E4%BD%8D
[Link 16]: https://zh.wikipedia.org/wiki/%E4%B8%AA%E4%BA%BA%E7%94%B5%E8%84%91
[Link 17]: https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E7%A7%80%E7%88%BE
[Link 18]: https://zh.wikipedia.org/wiki/%E9%87%8F%E5%AD%90%E8%AE%A1%E7%AE%97%E6%9C%BA
[Link 19]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=7
[Link 20]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=8
[p-1]: https://wikimedia.org/api/rest_v1/media/math/render/svg/f356ae51988add41a7da343e6b6d48fa968da162
[q-1]: https://wikimedia.org/api/rest_v1/media/math/render/svg/9bfc49678846b112cde021e3cb52d9b3b15decaf
[2q]: https://wikimedia.org/api/rest_v1/media/math/render/svg/f55d51e4d55cdb8b9bd331806a8f49860597a7fe
[d_frac_1_3_ _times N_frac_1_4]: https://wikimedia.org/api/rest_v1/media/math/render/svg/4217593e18219c82d68e1025220a8624b7fc2fe4
[e_2]: https://wikimedia.org/api/rest_v1/media/math/render/svg/ec9392fe7f5c4248aacdaa60fcb8d22447aa6d48
[Link 21]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=9
[DES]: https://zh.wikipedia.org/wiki/DES
[Link 22]: https://zh.wikipedia.org/w/index.php?title=%E5%AF%B9%E7%A7%B0%E7%AE%97%E6%B3%95&action=edit&redlink=1
[Link 23]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=10
[Link 24]: https://zh.wikipedia.org/w/index.php?title=%E5%8F%AF%E9%9D%A0%E7%9A%84%E7%AC%AC%E4%B8%89%E6%96%B9%E6%A9%9F%E6%A7%8B%E7%B0%BD%E7%99%BC%E6%86%91%E8%AD%89&action=edit&redlink=1
[Link 25]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=11
[Link 26]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=12
[Link 27]: https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%97%E8%AF%81%E4%B9%A6%E8%AE%A4%E8%AF%81%E6%9C%BA%E6%9E%84
[Link 28]: https://zh.wikipedia.org/w/index.php?title=RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95&action=edit&section=13
[1]: https://zh.wikipedia.org/zh/RSA%E5%8A%A0%E5%AF%86%E6%BC%94%E7%AE%97%E6%B3%95#cite_note-1