土法炼钢兴趣小组的算法知识备份

【密码学百科】对称密码的可证明安全：PRP/PRF 范式与工作模式证明

2026-04-11 | cryptography | #PRF #PRP #switching-lemma #CBC-security #CTR-security #GCM-proof #AEAD-security #Luby-Rackoff #Feistel

对称密码学同样有严格的安全性证明——本文讲解伪随机函数（PRF）和伪随机置换（PRP）的形式化定义、PRP/PRF 切换引理、分组密码工作模式（CBC、CTR、GCM）的安全性证明思路，以及 AEAD 的可证明安全框架