Lecture 10: Cryptography
MIT 6.1200J Mathematics for Computer Science, Spring 2024
1. 密码学基础概念
密码学(cryptography):保护信息的艺术与科学。核心目标:加密(encrypt)消息,使得只有指定接收方能解密(decrypt)。
角色约定:
- Alice:发送方
- Bob:接收方
- Eve:窃听者(eavesdropper),能看到所有传输内容
密码方案(cryptographic scheme)= 加密算法 + 解密算法。
2. 历史演进(概览)
2.1 Caesar 密码 → Caesar 移位
- Caesar 密码: 每个字母固定向后移 3 位(
视为 - ,加 )。"Security by Obscurity",已知方案即可破解。 - Caesar 移位: 引入秘密密钥
,加密 ,解密 。但密钥空间仅 26,暴力破解(brute force attack)可轻松穷举。
2.2 代换密码 (Substitution Cipher)
密钥是一张字母映射表(
2.3 德国 Enigma 机
机械式变位设备,约
2.4 一次性密码本 (One-Time Pad)
将消息视为大整数
优点:
致命缺点——密钥不可复用:
- 已知明密文对
可还原 (已知明文攻击)。 - 两条密文之差 $= $ 两条明文之差(模
),信息泄露。
根本矛盾: 安全地传送新密钥,本身就需要一个已有的安全信道——循环依赖。
3. Diffie-Hellman 密钥交换
目标: Alice 和 Bob 在公开信道上协商出共同秘密
依赖的困难问题: 离散对数问题(discrete logarithm problem)——已知
协议:
- 公开大质数
和随机基 ( ); - Alice 选随机私钥
,计算并发送 ; - Bob 选随机私钥
,计算并发送 ; - Alice 计算
; - Bob 计算
; - 共同秘密
。
Eve 知道
实现细节: 计算
4. RSA 公钥密码系统
背景: Rivest、Shamir、Adleman 三人于 MIT 发明,2002 年获图灵奖。现代互联网安全基石。
公钥密码(public-key cryptosystem)的惊人之处:加密密钥可以公开,但只有持有私钥的人才能解密。
4.1 密钥生成
- 选取两个大质数
(保密),令 (公开); - 选取与
互质的整数 (公开); - 用 Pulverizer 计算
(保密),即 ; - 公钥
,私钥 。
4.2 加解密
4.3 正确性证明
需证
设
(最后一步用了 Fermat 小定理:
同理
4.4 安全性
- 公开:
, 。 - 保密:
, , 。 - 安全假设: 分解大整数
计算上不可行(大整数分解困难假设)。 - 额外假设:RSA 假设(计算
次方根模 困难)和扩展黎曼假设(ERH)。 - 量子计算机可高效分解大整数(Shor 算法),RSA 届时将不安全。
4.5 寻找大质数
- 用 Miller-Rabin 算法高效检验一个数是否为质数。
- 质数定理(Prime Number Theorem):
,即在 附近,约每 个数中有一个质数,随机试验期望约 700 次即可找到。
5. 中国剩余定理 (Chinese Remainder Theorem, CRT)
Theorem (CRT). 设
互质, 。则在模 意义下,方程组 存在唯一解
( )。
构造解(存在性):
定义:
: 模 的逆元; ,则 , ; : 模 的逆元; ,则 , ; 。
验证:
唯一性:
设
Example.
6. 关键术语速查
| 英文 | 中文 |
|---|---|
| Cryptography | 密码学 |
| Encrypt / Decrypt | 加密 / 解密 |
| Eavesdropper | 窃听者 |
| Cryptographic scheme | 密码方案 |
| Brute force attack | 暴力破解 |
| Frequency analysis | 频率分析 |
| Known plaintext attack | 已知明文攻击 |
| One-time pad | 一次性密码本 |
| Discrete logarithm problem | 离散对数问题 |
| Diffie-Hellman key exchange | Diffie-Hellman 密钥交换 |
| Repeated squaring | 快速幂 / 反复平方法 |
| Public-key cryptosystem | 公钥密码系统 |
| RSA | RSA 加密算法 |
| Public key / Secret key | 公钥 / 私钥 |
| Prime Number Theorem | 质数定理 |
| Miller-Rabin | Miller-Rabin 素性检验 |
| Chinese Remainder Theorem (CRT) | 中国剩余定理 |