RSA加密、解密、签名、验签(验证签名)&RSA算法原理_rsa签名_冯小裁缝的博客-程序员宅基地

技术标签: 算法  

转载链接:https://www.jianshu.com/p/8dc4a5f64e06
https://www.cnblogs.com/pcheng/p/9629621.html
RSA原理:https://zhuanlan.zhihu.com/p/48249182
中国余数定理:https://blog.csdn.net/qq_43227036/article/details/99416149
首先,

加密:加密是为了防止信息被泄露;
签名:签名是为了防止信息被篡改,保证数据完整性和发送方角色的可靠性和不可抵赖性。

一、RSA加密简介

RSA加密是一种非对称加密。可以在不直接传递密钥的情况下,完成解密;是由一对密钥来进行加解密的过程,分别称为公钥和私钥。两者之间有数学相关,该加密算法的原理就是对一极大整数做因数分解的困难性来保证安全性。通常个人保存私钥,公钥是公开的(可能同时多人持有)。

二、RSA加密、签名区别

这里将A理解为客户端,B理解为服务端,A、B分别有一对公钥和私钥。

  1. 加解密过程简述
    A和B进行通信加密,B要先生成一对RSA密钥,B自己持有私钥,给A公钥 —>A使用B的公钥加密要发送的内容,然后B接收到密文后通过自己的私钥解密内容

  2. 签名验签过程简述
    A给B发送消息,A先计算出消息的消息摘要,然后使用自己的私钥加密消息摘要,被加密的消息摘要就是签名.(A用自己的私钥给消息摘要加密成为签名)
    B收到消息后,也会使用和A相同的方法提取消息摘要,然后用A的公钥解密签名,并与自己计算出来的消息摘要进行比较–>如果相同则说明消息是A发送给B的,同时,A也无法否认自己发送消息给B的事实.(B使用A的公钥解密签名文件的过程,叫做"验签").

三、对签名和验签过程详细理解:

签名过程:

  1. A计算消息m的消息摘要,记为 h(m)
  2. A使用私钥(n,d)对h(m)加密,生成签名s, s满足:s=(h(m))^d mod n;
    由于A是用自己的私钥对消息摘要加密,所以只用使用s的公钥才能解密该消息摘要,这样A就不可否认自己发送了该消息给B.
  3. A发送消息和签名(m,s)给B

验签过程:

  1. B计算消息m的消息摘要(计算方式和A相同),记为h(m)
  2. B使用A的公钥(n,e)解密s,得到 H(m), H(m) = s^e mod n
  3. B比较H(m)与h(m),相同才能证明验签成功

四、对加密/解密和签名/验签完整过程详细理解:
A->B:
1.A提取消息m的消息摘要h(m),并使用自己的私钥对摘要h(m)进行加密,生成签名s
2.A将签名s和消息m一起,使用B的公钥进行加密,生成密文c,发送给B

B:
1.B接收到密文c,使用自己的私钥解密c得到明文m和数字签名s
2.B使用A的公钥解密数字签名s解密得到H(m)
3.B使用相同的方法提取消息m的消息摘要h(m)
4.B比较两个消息摘要。相同则验证成功;不同则验证失败

一、RSA原理

RSA算法常用于非对称加密,非对称加密流程如下:

(1)乙方生成两把密钥(公钥和私钥)。公钥是公开的,任何人都可以获得,私钥则是保密的。
(2)甲方获取乙方的公钥,然后用它对信息加密。
(3)乙方得到加密后的信息,用私钥解密。

数论基础

一、素数
素数又称质数,指在一个大于1的自然数中,除了1和此整数自身外,不能被其他自然数整除的数。这个概念,我们在上初中,甚至小学的时候都学过了,这里就不再过多解释了。

二、模运算
模运算即求余运算。“模”是“Mod”的音译。和模运算紧密相关的一个概念是“同余”。数学上,当两个整数除以同一个正整数,若得相同余数,则二整数同余。

两个整数a,b,若它们除以正整数m所得的余数相等,则称a,b对于模m同余,记作: a ≡ b (mod m);读作:a同余于b模m,或者,a与b关于模m同余。例如:26 ≡ 14 (mod 12)。

对于正整数p和整数a,b,取模运算:a mod p 表示a除以p的余数。
如果两个数a、b满足a mod p = b mod p,则称他们模p相等,记做:a ≡ b (mod p) 。

三、互质关系
如果两个正整数,除了1以外,没有其他公因子,我们就称这两个数是互质关系(coprime)。比如,15和32没有公因子,所以它们是互质关系。这说明,不是质数也可以构成互质关系。

关于互质关系,不难得到以下结论:
任意两个质数构成互质关系,比如13和61。
一个数是质数,另一个数只要不是前者的倍数,两者就构成互质关系,比如3和10。
如果两个数之中,较大的那个数是质数,则两者构成互质关系,比如97和57。
1和任意一个自然数是都是互质关系,比如1和99。
p是大于1的整数,则p和p-1构成互质关系,比如57和56。
p是大于1的奇数,则p和p-2构成互质关系,比如17和15。

四、欧拉函数
请思考以下问题:

任意给定正整数n,请问在小于等于n的正整数之中,有多少个与n构成互质关系?
(比如,在18之中,有多少个数与8构成互质关系?)
计算这个值的方法就叫做欧拉函数,以φ(n)表示。在18之中,与8形成互质关系的是1357,所以 φ(n) = 4

φ(n)的计算方法并不复杂,但是为了得到最后那个公式,需要一步步讨论。

第一种情况
如果n=1,则 φ(1) = 1 。因为1与任何数(包括自身)都构成互质关系。

第二种情况
如果n是质数,则 φ(n)=n-1 。因为质数与小于它的每一个数,都构成互质关系。比如5与1、2、3、4都构成互质关系。

第三种情况
如果n是质数的某一个次方,即 n = p^k (p为质数,k为大于等于1的整数),则
比如 φ(8) = φ(2^3) =2^3 - 2^2 = 8 -4 = 4。
这是因为只有当一个数不包含质数p,才可能与n互质。而包含质数p的数一共有p(k-1)个,即1×p、2×p、3×p、…、p(k-1)×p,把它们去除,剩下的就是与n互质的数。
在这里插入图片描述
上面的式子还可以写成下面的形式:
在这里插入图片描述
可以看出,上面的第二种情况是 k=1 时的特例。

第四种情况
如果n可以分解成两个互质的整数之积,n = p1 × p2,
则:φ(n) = φ(p1p2) = φ(p1)φ(p2)

即积的欧拉函数等于各个因子的欧拉函数之积。比如,φ(56)=φ(8×7)=φ(8)×φ(7)=4×6=24。

这一条的证明要用到“中国剩余定理”,这里就不展开了,只简单说一下思路:如果a与p1互质(a < p1),b与p2互质(b < p2),c与p1p2互质(c < p1p2),则c与数对 (a,b) 是一一对应关系。由于a的值有φ(p1)种可能,b的值有φ(p2)种可能,则数对 (a,b) 有φ(p1)φ(p2)种可能,而c的值有φ(p1p2)种可能,所以φ(p1p2)就等于φ(p1)φ(p2)。

孙子定理是中国古代求解一次同余式组(见同余)的方法。是数论中一个重要定理。又称中国余数定理。
一元线性同余方程组问题最早可见于中国南北朝时期(公元5世纪)的数学著作《孙子算经》卷下第二十六题,
叫做“物不知数”问题,原文如下:

有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?即,一个整数除以三余二,除以五余三,
除以七余二,求这个整数。《孙子算经》中首次提到了同余方程组问题,以及以上具体问题的解法,
因此在中文数学文献中也会将中国剩余定理称为孙子定理。

翻译过来就是有一个数除以三余二,除以五余三,除以七余二,问这个数是多少。

《孙子算经》解这道题目的“术文”和答案是:
“三三数之剩二,置一百四十;
五五数之剩三,置六十三;
七七数之剩二,置三十。
并之,得二百三十三,以二百十减之,即得。”“答曰:二十三。”
这些话是什么意思呢?用通俗的话来说,就是:
先求被3除余2,并能同时被57整除的数,这样的数最小是35;
再求被5除余3,并能同时被37整除的数,这样的数最小是63; 然后求被7除余2,并能同时被35整除的数,这样的数最小是30。
于是,由35+63+30=128,得到的128就是一个所要求得的数。但这个数并不是最小的。
再用求得的“128”减去或者加上357的最小公倍数“105”的倍数,就得到许许多多这样的数:
{
    23128233338443,…}
从而可知,23128233338443、…都是这一道题目的解,而其中最小的解是23

第五种情况
因为任意一个大于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

在这里插入图片描述
这时,b就叫做a的**“模反元素”**。

比如,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算法

密钥生成的步骤:

我们通过一个例子,来理解RSA算法。假设爱丽丝要与鲍勃进行加密通信,她该怎么生成公钥和私钥呢?

第一步,随机选择两个不相等的质数p和q。

爱丽丝选择了61和53。(实际应用中,这两个质数越大,就越难破解。)

第二步,计算p和q的乘积n。

爱丽丝就把61和53相乘。

n = 61×53 = 3233

n的长度就是密钥长度。3233写成二进制是110010100001,一共有12位,所以这个密钥就是12位。实际应用中,RSA密钥一般是1024位,重要场合则为2048位。

第三步,计算n的欧拉函数φ(n)。

n是质数,则 φ(n)=n-1
n = p1 × p2
φ(n) = φ(p1p2) = φ(p1)φ(p2)
=> φ(n) = (p-1)(q-1)
爱丽丝算出φ(3233)等于60×52,即3120

第四步,随机选择一个整数e,条件是1< e < φ(n),且e与φ(n) 互质。

爱丽丝就在1到3120之间,随机选择了17。(实际应用中,常常选择65537)

第五步,计算e对于φ(n)的模反元素d。

所谓”模反元素”就是指有一个整数d,可以使得ed被φ(n)除的余数为1。

ed ≡ 1 (mod φ(n))

这个式子等价于

ed - 1 =(n)

于是,找到模反元素d,实质上就是对下面这个二元一次方程求解。(-k = y)

ex + φ(n)y = 1

已知 e=17, φ(n)=3120,

17x + 3120y = 1

这个方程可以用“**扩展欧几里得算法”(又叫辗转相除法)**求解,此处省略具体过程。
总之,爱丽丝算出一组整数解为 (x,y)=(2753,-15),即 d=2753。

至此所有计算完成。

第六步,将n和e封装成公钥,n和d封装成私钥。

在爱丽丝的例子中,n=3233,e=17,d=2753,所以公钥就是 (3233,17),私钥就是(3233, 2753)。

实际应用中,公钥和私钥的数据都采用ASN.1格式(TLV)表达。

RSA算法的可靠性
回顾上面的密钥生成步骤,一共出现六个数字:

p:随机选择的质数
q:随机选择的质数(不等于q)
n:密钥长度
φ(n):欧拉函数
e:随机整数
d:私钥的关键值

这六个数字之中,公钥用到了两个(n和e),其余四个数字都是不公开的。其中最关键的是d,因为n和d组成了私钥,一旦d泄漏,就等于私钥泄漏。

那么,有无可能在已知n和e的情况下,推导出d?

1)ed≡1 (mod φ(n))。只有知道e和φ(n),才能算出d。
(2)φ(n)=(p-1)(q-1)。只有知道p和q,才能算出φ(n)。
(3)n=pq。只有将n因数分解,才能算出p和q。

结论:如果n可以被因数分解,d就可以算出,也就意味着私钥被破解。

可是,大整数的因数分解,是一件非常困难的事情。目前,除了暴力破解,还没有发现别的有效方法。维基百科这样写道:

“对极大整数做因数分解的难度决定了RSA算法的可靠性。换言之,对一极大整数做因数分解愈困难,RSA算法愈可靠。
假如有人找到一种快速因数分解的算法,那么RSA的可靠性就会极度下降。但找到这样的算法的可能性是非常小的。今天只有短的RSA密钥才可能被暴力破解。到2008年为止,世界上还没有任何可靠的攻击RSA算法的方式。
只要密钥长度足够长,用RSA加密的信息实际上是不能被解破的。”

举例来说,你可以对3233进行因数分解(61×53),但是你没法对下面这个整数进行因数分解。

12301866845301177551304949   58384962720772853569595334   
79219732245215172640050726   36575187452021997864693899   
56474942774063845925192557   32630345373154826850791702   
61221429134616704292143116   02221240479274737794080665   
351419597459856902143413

它等于这样两个质数的乘积:

33478071698956898786044169
84821269081770479498371376
85689124313889828837938780
02287614711652531743087737
814467999489
   ×
36746043666799590428244633
79962795263227915816434308
76426760322838157396665112
79233373417143396810270092
798736308917

事实上,这大概是人类已经分解的最大整数(232个十进制位,768个二进制位)。比它更大的因数分解,还没有被报道过,因此目前被破解的最长RSA密钥就是768位。

三、RSA算法的加密和解密

有了公钥和密钥,就能进行加密和解密了。

(1)加密要用公钥(n,e)

假设鲍勃要向爱丽丝发送加密信息m,他就要用爱丽丝的公钥 (n,e) 对m进行加密。这里需要注意,m必须是整数(字符串可以取ascii值或unicode值),且m必须小于n。

所谓”加密”,就是算出下式的c:

me ≡ c (mod n)

爱丽丝的公钥是 (3233, 17),鲍勃的m假设是65,那么可以算出下面的等式:

65^172790 (mod 3233)

于是,c等于2790,鲍勃就把2790发给了爱丽丝。

(2)解密要用私钥(n,d)

爱丽丝拿到鲍勃发来的2790以后,就用自己的私钥(3233, 2753) 进行解密。可以证明,下面的等式一定成立:

cd ≡ m (mod n)

也就是说,c的d次方除以n的余数为m。现在,c等于2790,私钥是(3233, 2753),那么,爱丽丝算出

2790^275365 (mod 3233)

因此,爱丽丝知道了鲍勃加密前的原文就是65。

至此,”加密–解密”的整个过程全部完成。

我们可以看到,如果不知道d,就没有办法从c求出m。而前面已经说过,要知道d就必须分解n,这是极难做到的,所以RSA算法保证了通信安全。

你可能会问,公钥(n,e) 只能加密小于n的整数m,那么如果要加密大于n的整数,该怎么办?有两种解决方法:一种是把长信息分割成若干段短消息,每段分别加密;另一种是先选择一种”对称性加密算法”(比如DES),用这种算法的密钥加密信息,再用RSA公钥加密DES密钥。

四、私钥解密的证明(可跳过)

最后,我们来证明,为什么用私钥解密,一定可以正确地得到m。也就是证明下面这个式子:
在这里插入图片描述
因为,根据加密规则
在这里插入图片描述
由于于是,c可以写成下面的形式:
在这里插入图片描述
将c代入要我们要证明的那个解密规则:
在这里插入图片描述
观察可知,等式左边的多项式拆开以后,只要是有kn的项都能被n整除,所以可以去掉所有含有kn的项,即等同于求证
在这里插入图片描述
由于
在这里插入图片描述
所以
在这里插入图片描述
将ed代入:
在这里插入图片描述
接下来,分成两种情况证明上面这个式子。

m与n互质
根据欧拉定理,此时
在这里插入图片描述
根据加密规则我们有m < n,所以给等式同时乘m,得到
在这里插入图片描述
原式得到证明。

m与n不是互质关系
当m与n不互质时(m < n),由于n=p * q, 那么 gcd(m,n) = p 或者 gcd(m,n)=q,跟阮老师在这里假设的一样
在这里插入图片描述
此时,m必然与q互质.

(1)根据费马小定理,当m与q互质时,我们可以得到
在这里插入图片描述
(2)类似之前的式子,我们可以推导出
在这里插入图片描述
(3)根据之前的式子我们可以进行如下推倒
在这里插入图片描述
(4)改写这个等式到
在这里插入图片描述
两边乘上 m,得到
在这里插入图片描述
(5)最后一步
在这里插入图片描述
原式得证!

五、应用

取质数13和7.它们的结果给我们的最大值为91.我们取5为公钥。然后用我们已知的事实7和13是91的因子并且运用拓展欧几里得算法(辗转相除法),我们得到私钥是29。

这些参数 (max:91,pub:5,priv:29) 定义一个充分实用型RSA系统。你能取一个数字并且用它乘以它自己5次来加密它,然后取那个数字并且用它乘以它自己29次然后你得回了原来的数字。所以 公钥就是 (91, 5),私钥就是(91, 29)

用这些标准来加密信息“CLOUD”。

为了用数字表示这个信息,我们要把字母转换成数字。拉丁字母表的通常代表是UTF-8.每个字母相当于一个数字。

在这次编码下,CLOUD是67,76,79,85,68。每个这些数字小于我们的最大值91,所以我们可以单独地加密它们。让我们开始第一个字母。
在这里插入图片描述
这意味着67(或C)的加密值是58.

对每个字母重复这个过程,我们得到加密信息CLOUD变成:58,20,53,50,87

根据公式解密
在这里插入图片描述

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_44750892/article/details/120075922

智能推荐

最终还是看基础,contains和matches的区别_matches和contains_xiyangyang8110的博客-程序员宅基地

最近要实现一个升级的功能,细化升级版本,比如说我要控制1.0.0;1.0.1范围内的升级,服务器返回的是”forceUpdateVersions”: “1.0.0;1.0.1”,我的版本是1.0.1怎么判断呢? 使用contains判断1.0.1是否是服务器要求的范围;而不是用matches,这个是判断是否匹配。_matches和contains

AJAX与JSON结合实现省市下拉框联动_weixin_34307464的博客-程序员宅基地

1.jsp注册页面:register.jsp<%@pagepageEncoding="GBK"contentType="text/html;charset=GBK"%><html><head><metahttp-equiv="Content-Type"content="text/html;charset=GB..._ajax和json年月日下拉框

一次向vector中插入多个元素_vector一次增加多个值_Leo(zxy)的博客-程序员宅基地

1、用数组初始化vector int a[] = { 0 , 1 , 2 , -1 , 4 }; vector&lt;int&gt; sum(a,a+sizeof(a)/sizeof(a[0]));2、直接向vector中插入多组元素 vector&lt; vector&lt;int&gt; &gt; r; r.push_back({num[i],num[j],num[k]})..._vector一次增加多个值

Verilog基础语法--运算符【常用的几种】_verilog 不等于_小勇study的博客-程序员宅基地

Verilog基础语法中的几种常用的运算符回顾_verilog 不等于

mac版搭建vue开发环境_mac vue搭建项目_攻城狮YanGo的博客-程序员宅基地

记一次macbook搭建vue开发环境步骤:(五步走)Homebrew (mac系统下的包管理器) node.js (javascript运行环境-runtime) npm (nodejs下的管理器) webpack (构建工具) vue-cli (用于生成模板的vue工程)开始准备工作:打开终端1.安..._mac vue搭建项目

随便推点

java中的fail-fast(快速失败)机制_java开发规范fast_Howard_14的博客-程序员宅基地

引入在前面介绍ArrayList的扩容问题时对于modCount的操作没有详细说明,该变量的操作在add,remove等操作中都会发生改变。那么该变量到底有什么作用呢?简介fail-fast 机制,即快速失败机制,是java集合(Collection)中的一种错误检测机制。当在迭代集合的过程中该集合在结构上发生改变的时候,就有可能会发生fail-fast,即抛出ConcurrentMo_java开发规范fast

802.1QCC TSN配置模型_Idwosp的博客-程序员宅基地

*本文章翻译自802.1Qcc-2018 - IEEE Standard for Local and Metropolitan Area Networks–Bridges and Bridged Networks – Amendment 31: Stream Reservation Protocol (SRP) Enhancements and Performance Improvements *..._802.1qcc

BZOJ 2260 商店购物(最小树形图)-程序员宅基地

不会最小树形图的出门左转其实如果确定每种商品第一件的购买顺序,那么剩下的商品肯定是以最优惠价格购买的。如何确定各种商品第一件购买时的最小价值呢?考虑如果购买了\(a_i\)这种商品,那么就能以\(c_i\)的价格购买\(b_i\)这种商品,考虑从\(a_i\)往\(b_i\)连权值为\(c_i\)的有向边。初始建一个额外的\(S\)点往所有点i连权值为\(v_i\)的有向边。然..._商店购物问题编写一个程序计算每个顾客所购商品应付的费用要充分利用优惠价以使顾客付款最小源代码

mysql建表如果存在删除吗_创建表之前判断表是否存在,如果存在则删除已有表..._青亭网的博客-程序员宅基地

创建表之前判断表是否存在,如果存在则删除已有表在sqlserver中,创建表之前判断表是否存在,如果存在则删除已有表Sql代码 www.2cto.com----SQL-Serverif exists (select 1from sysobjectswhere id = object_id('EMP')and type = 'U')drop table S_Evaluatego--CR..._数据库建表,如果表存在了

jquery 换一批_weixin_38169562的博客-程序员宅基地

<!doctype html><html><head><meta charset="utf-8"><title>jQuery换一批(原创)-jq22.com</title><script src="https://libs.baidu.com/jquery/1.11.3/jquery.m..._jquery 换一批

前端 整屏滚动_前端官网滚动一屏_某某某的洛先生的博客-程序员宅基地

&lt;!DOCTYPE html&gt;&lt;html lang="en"&gt;&lt;head&gt; &lt;meta charset="UTF-8"&gt; &lt;title&gt;整屏滚动&lt;/title&gt; &lt;link rel="stylesheet" type="text/css" _前端官网滚动一屏