01 / 导读
导读
适合谁
适合高年级本科首次严格密码学课程。困难主要在概念精确性：需要让攻击者权限、安全实验与主张一致，而不是依靠高等微积分完成阅读。
需要的基础
需离散概率、组合、模运算和读证明能力，并理解伪代码、作用域、数组与子程序。附录用于复习，不能替代第一次系统学习离散数学。
覆盖内容
从一次一密、秘密共享到伪随机生成器、函数、置换、对称加密、哈希、密钥交换和签名，再延伸消息协议、认证、零知识和后量子主题。安全通过游戏与程序变换表达。
如何使用
证明前先写攻击者能看到的接口；每一步混合变换都指出改了哪行代码、依据何种等价或假设。给不安全变体构造区分器，检查直觉论证遗漏的量词和概率界限。用习题及动画核对结构，不用玩具程序运行成功代替安全证明。
版本与来源
当前授权在线全文属于MIT Press版本，许可CC BY-NC-ND 4.0，与早期流传草稿区分。非商业分发需保留署名，不能分发修改版；此处不推测纸本出版日或载体编号。
