【密码学百科】MAC 与 HMAC：消息认证的正确姿势
加密保证机密性，但不保证完整性——消息认证码（MAC）是防止篡改的关键工具。本文深入 HMAC 的构造与安全性证明，对比 CBC-MAC、GMAC、Poly1305 等方案
EUF-CMA 标签归档
共 2 篇文章 · 返回首页
【密码学百科】可证明安全：安全定义、博弈与模拟范式
可证明安全是现代密码学的方法论基石——本文系统讲解 IND-CPA/IND-CCA 等安全定义的形式化、基于博弈的安全证明方法、模拟范式，以及从安全定义到实际方案设计的完整推导思路