Introduction to Modern Cryptography

这是一本把'安全'二字真正落到数学证明上的密码学教材。与市面上多数照搬算法、只讲'怎么用'的书不同，它坚持用形式化定义、精确假设与严格证明来重构整个学科：先讲清'完美保密'的致命局限，再引入计算安全的现代范式，随后系统展开私钥加密与消息认证。读者能清晰看到每个安全结论'为何成立'，而非记住'如何使用'。其代价也显而易见——理论性极强、习题艰深，对'理论有什么用'缺乏耐心的读者可能会痛苦。因此它更适合密码学方向的研究生打基础，或已掌握基础、想进一步理解安全本质的人；若只为应付工程实现，或许另有所选。