对称加密算法原理简介_3、对称加密的原理是什么?并给出其对应的简化模型。

转自：https://zhuanlan.zhihu.com/p/104070888

移位密码示例：
选择密钥k,0<k<26
k=23
E(x)=x+23(mod 26)
Plain:    ABCDEFGHIJKLMNOPQRSTUVWXYZ
Cipher:   XYZABCDEFGHIJKLMNOPQRSTUVW
1
2
3
4
5
6

Plaintext: THE QUICK BROWN FOX JUMPS OVER THE LAZY DOG
Ciphertext: QEB NRFZH YOLTK CLU GRJMP LSBO QEB IXWV ALD

仿射密码(Affine Cipher)

可以认为是移位密码的改进版，加密函数变成E(x)=ax+b(mod m)，多了一个参数，密钥空间虽略有提升，但还是容易被破解。

置换密码(Permutation Cipher)

通过对明文进行置换操作(重新排序)来达到加密的目的。不过由于密文和明文位于相同的空间，所以不太适合单独使用，但可以作为加密算法的中间步骤用来强化加密效果。

简单置换密码的示例：

明文为：Hello everyone!

密文为：Hoene reley!lvo

列置换密码示例：

6 3 2 4 1 5

W E A R E D

I S C O V E

R E D F L E

E A T O N C

E Q K J E U

从上面的表中，按照列的序号逐列输出，就得到列置换的编码：

EVLNE ACDTK ESEAQ ROFOJ DEECU WIREE
1
2
3
4
5
6
7
8
9
10
11

替代密码(Substitution Cipher)

预先建立好一张替换表，然后通过查表，将明文逐一替换为相应的密文，从而实现加密的目的，而这张替换表就是密钥。

按照使用的替换表的数量，替代密码可以分为单表替代密码和多表替代密码。单张替换表会使得明文和明文有相同的分布规律，因此容易被破解。使用多张替换表可以隐藏这种规律，使得破解密码更加困难。Vigenere密码和Hill密码等都是多表替代密码。

替代密码的灵活度比较高，广义的说，前面的几种密码都可以归为(单表)替代密码。虽然替代密码中明文和密文的对应关系导致它容易被破解，但由于其非线性的特点，一般被用来实现现代加密算法中最核心的S-Box。非线性是指密文不是明文和密钥的简单线性组合，而是自由度更高的进行变换。这种特性对于抵抗密码分析非常重要。

替换表：

明文字母表: ABCDEFGHIJKLMNOPQRSTUVWXYZ

密文字母表: ZEBRASCDFGHIJKLMNOPQTUVWXY
1
2
3

明文消息: flee at once. we are discovered!
密文消息: SIAA ZQ LKBA. VA ZOA RFPBLUAOAR!

流密码(Stream Cipher)

在前面的密码中，每个明文字符都是用的相同的密钥来进行加密。实际应用时我们会使用相同的密钥对一组固定大小的连续明文进行加密，这就是分组密码。

流密码是根据密钥产生一个密钥流，然后跟明文进行一对一的异或运算，达到加密的效果。由于明文只是跟密钥流进行简单的异或运算，所以加密强度完全取决于密钥流的随机性。

曾经被用的比较多的RC4就是一种流密码，在Wi-Fi Protected Access(WPA)中使用，后来被发现有漏洞，WPA被使用AES的WPA2代替。现在使用较多的流密码是ChaCha20，是Libra里用到的noise protocol framework的默认加密方式，也是WireGuard VPN使用的加密算法。

密码分析

密码分析专门研究破解信息系统漏洞、获取秘密信息的方法，简单的说，就是研究如何破解加密算法和密钥。下面先简单介绍一下相关的基本术语。

攻击模型

按照攻击者所拥有信息的差别，密码分析可以分为以下几种类别：

唯密文攻击(Ciphertext Only Attack)

攻击者只能获取到一些密文，通过分析密文的规律，进而推测加密算法和密钥的规律。这是最常见的情况，也是攻击难度最高的情况。

已知明文攻击(Known Plaintext Attack)

攻击者能截获到部分明文和使用相同密钥加密得到的密文。这种情况下，攻击者可以根据明文和密文之间的联系，来分析算法和密钥的可能性。

选择明文攻击(Chosen Plaintext Attack)

攻击者能够选择或构造特定的明文，并获取相应的密文，也就是说攻击者能访问加密机。这种情况下，攻击者可以更方便的操纵和分析加密过程，也就更容易破解算法或密钥。

即使攻击者不能直接访问加密机，如果攻击者能够收集足够多的明文和明文对，并从中筛选出符合要求的明文，也能达到选择明文攻击的效果。

选择密文攻击(Chosen Ciphertext Attack)

攻击者能够选择或构造特定的密文，并获取相应的明文，也就是说攻击者能访问解密机。这种情况下，攻击者还可以操纵和分析解密过程，以视图获取解密密钥。

传统密码分析

暴力破解

破解密码的最原始方法是暴力破解，也就是尝试所有可能的密钥。不过这种方式效率很低，只适合密钥空间很小的情况，例如前面讲到的移位密码和仿射密码。

频率分析

对一般的密码，需要分析密文的规律和明文跟密文的关联。这时可以用频率分析之类的统计分析方法。例如，在简单的置换密码和替代密码中，明文字符和密文字符是一一对应的，所以明文的分布规律（英文里不同字母和字母组合出现的概率是不一样的）也会传导给密文，只要分析密文的分布规律，就可以反推得到明文，从而破解密码。

英文字母频率:

E .127

T .091

A .082

O .075

I .070

N .067

S .063

H .061

R .060

…
1
2
3
4
5
6
7
8
9
10
11

最常见的两字母组合:
TH,HE,IN,ER,AN,RE,ED,ON,ES,ST,
EN,AT,TO,NT,HA,ND,OU,EA,NG,AS,
OR,TI,IS,ET,IT,AR,TE,SE,HI,OF.

最常见的三字母组合:
THE, ING, AND, HER, ERE, ENT,
THA, NTH, WAS, ETH, FOR, DTH.

频率分析的过程一般是这样，先找到频率最高的密文字母，如果它的频率显著高于其他字母，就可以假定它对应的明文字母是E，然后继续分析剩余字母。对不确定的情况，可以结合两个或三个字母的组合的频率来进行分析。

信息论

对于更复杂的密码，需要对明文和密文的规律做更深入的分析，这就需要更强有力的分析工具，信息论和香农（第一）定理开始派上用场了。信息论的核心是把不确定性作为度量信息的基础，使得“信息”这个原本比较抽象的概念变成可以定量分析的因素。通过分析加密过程中信息量的变化，我们可以在更本质的层次上去理解加密算法所做的各种变换，从而对密码分析和算法设计提供思想和方法上的指导。

现代分析方法

用信息论的话来说，只要密文有任何的规律，就相当于存在一些信息没有被隐藏好，留下了破解的入口。要想提高破解的难度，就需要尽可能的隐藏信息，减少密文的规律，也就是提高密文的随机程度。所以，好的加密算法需要在满足其它条件的前提下，使密文尽可能显得随机。而密码分析就是要从看上去随机的密文中寻找不够随机的规律和因素，现代分析方法更多的是使用相应的数学工具来分析密文分布的偏差。

在算法层面上最重要的有两种：差分分析和线性分析。

差分分析(Differential Cryptanalysis)

Differential在数学里是指微分，在这里一般翻译成"差分"，不过意思都差不多，是指对明文做小的变化（用XOR来衡量），然后分析密文变化和明文变化的关联规律，从而计算密钥每一位的概率分布，逐步缩小范围，直到最终找到密钥。例如，如果明文中的一个字节发生变化，只会影响到密文的一个字节，那就能用频率分析来破解密码。

差分分析属于选择明文攻击，但如果能收集充分多的明文，可以从中选择满足差分分析要求的明文，这时也适用于已知明文攻击。

差分分析是上世纪80年代提出的，论文作者发现DES算法能够有效抵抗差分分析，而算法经过细微调整后就容易分析得多，说明DES算法在设计时很可能就已经考虑到差分分析。后来IBM公司原DES团队的成员发表论文称IBM早在1974就发现了差分分析，抵抗差分分析也是DES的设计目标之一，不过美国政府为了保持密码分析方面的技术优势，要求IBM对外保密，所以一直没有公开。

线性分析(Linear Cryptanalysis)

线性分析的原理跟线性回归有点像。线性回归是利用统计方法从一堆数据找出两个或多个变量可能存在的线性关系，对两个变量的情况来说，就是用一条平面上的直线去拟合给定的数据集，找到拟合度最理想的线性系数。线性分析则是根据加密算法的实现，选择中间一些步骤的输入位和输出位来定义一个随机变量，然后从收集到的明文和密文数据中来分析这个随机变量的分布，看是否存在统计学意义上的偏差。存在偏差，则说明算法在某些步骤上存在线性因素，从中就可以逐步推测密钥的各个位的值。

另一方面，线性分析跟差分分析本质上差不多，只是分别从宏观和微观的角度入手去解决问题。

对密码设计的影响

从前面差分分析和DES算法的关联可以看出，密码分析跟密码设计就是矛和盾、一体两面的关系。密码分析会针对密码设计中的特点，而密码设计也必须考虑到已知的密码分析方法。例如DES在设计时就考虑到了要抵抗住差分分析。简单的说，新设计的密码算法，必须至少能抵抗足够强度的差分分析和线性分析。

现代加密算法

基本设计思想：混淆(Confusion)、扩散(Diffusion)、随机

从前面的各种密码分析方法可以看出，要想抵抗住分析，从宏观上，密文必须体现出随机性，从微观上，明文的一处微小的局部变化必须体现为密文的全局变化，否则明文和密文就存在一对一的线性关系，容易被破解。也就是说，要把明文打散混淆，不仅屏蔽密文跟明文的关联，还要将变化尽可能扩散。扩散的结果就是达到高耦合的目的，打破加密算法中的线性关系。

所以，加密算法的设计思想跟软件开发的原则正好相反。软件开发强调模块化，模块之间低耦合，模块内部高内聚，模块和代码结构清晰。而加密则是要把各个部分混为一体，使它们高度耦合，牵一发而动全身，让破解者找不到线索。

流密码则是通过生成随机密钥流的方式来达到同样的目的。

柯克霍夫原则(Kerckhoffs’s Principle)

就算被所有人知道系统的运作步骤，密码系统应该仍然是安全的。

简单的说，就是加密算法应该公开，让大家充分的去研究和分析。如果全世界的密码学专家花了很长时间都找不到漏洞，那么这个算法基本上可以被认为是安全的。

这个规则是从实践经验中总结出来的。由于对称加密算法的安全性并不能用数学的方式证明，只能看实际应用中是否能抵抗各种分析和破解，所以对算法保密虽然可以提高破解的难度，但也降低了算法漏洞的透明度，导致漏洞被发现和利用后自己还不知道，后果更严重。

现在不只是算法会公开，而且基本上已经形成了公开选拔密码算法的机制，例如AES/RSA/SHA-3。未来的抗量子计算的加密算法也正在进行公开选拔。

SPN(Substitution-Permutation-Network)

SPN是一种特殊的迭代密码。迭代密码是通过多轮的迭代加密操作来提高混淆和扩散的程度，从而提高加密的强度。SPN中每一轮迭代操作都包括多个Substituion操作(S-Box)和一次Permutation操作(P-Box)。S-Box主要负责实现数据的混淆，它的非线性特性是加密算法的关键，是抵抗线性分析等方法的核心要素。P-Box主要负责变化的扩散，将局部的变化扩散到整个分组，提高抵抗破解的能力。每一轮迭代使用不同的轮密钥，轮密钥都是从加密操作的主密钥衍生得到的。

DES

DES算法是IBM设计的，然后被美国政府选为标准加密算法。它采用的是一种叫做Feistel的迭代分组密码结构，特点是每一轮的迭代操作是相同的，都是将数据块按位重新组合，然后分为左右两部分，计算后将左右两部分交换，作为下一轮计算的输入。

DES的缺点是密钥较短，只有56位，抵抗破解的能力较弱，因此有了3DES，可以使用更长的密钥。不过3DES的计算量较大，效率较低。而且在密钥长度、迭代次数等方面难以扩展，所以有了AES。

AES

AES是美国国家标准与技术研究院（NIST）通过公开选拔挑选出作为国家标准的加密算法。AES的优点有：

1. 足够安全，能很好的抵抗差分分析和线性分析
2. 运算速度快，易于实现，而且适合用硬件电路实现
3. 对内存要求低
4. 密码长度和迭代次数可以扩展

加密模式

加密模式在分组加密中用来对每个分组的数据进行调整，包括填充以提高数据整体的安全性，常用的模式有以下一些：

Electronic Codebook Mode(ECB)

ECB是最简单和最基本的模式，对每个分组使用相同的方式加密，相同的明文数据块会被加密成相同的密文，降低了破解的难度，所以实际应用中很少使用。

Cipher Block Chaining Mode(CBC)

CBC模式中，每个数据块加密时直接使用明文跟上个数据块加密后产生的密文或初始向量进行异或，再与密钥进行加密，得到密文。它的缺点是不利于并行、传递误差、需要初始化向量。

Output Feedback Mode(OFB)

每个数据块加密过程中的中间输出会反馈到下个数据块的加密过程中。缺点跟CBC类似。

Cipher Feedback Mode(CFB)

每个数据块加密产生的密文会反馈到下个数据块的加密过程中。缺点跟CBC类似。

Counter Mode(CTR)

用密钥对输入的计数器加密，然后跟明文异或得到密文。优点是可以并行，避免误差传递问题。缺点是可以针对单个数据块进行攻击。

Counter with CBC-MAC Mode(CCM)

CCM是在CBC和CTR的基础上增加CMAC算法校验，主要是通过MAC校验来解决CTR容易被攻击的问题。

Galois/Counter Mode(GCM)

GCM是在CCM的基础上改用GMAC算法代替CMAC算法，增加了并行化设计，可以提高加密性能，降低时延。

小结

虽然加密模式有很多种，但现在有实用价值的还是CCM和GCM两种。这两种也是TLS 1.3唯二使用的AES加密算法。