1机密性、完整性与真实性
闭卷重建机密性、完整性与真实性的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2哈希、MAC与数字签名
闭卷重建哈希、MAC与数字签名的对象、状态、事件、不变量与一个失败反例。
3随机数、nonce与重放
闭卷重建随机数、nonce与重放的对象、状态、事件、不变量与一个失败反例。
4对称加密与认证加密
闭卷重建对称加密与认证加密的对象、状态、事件、不变量与一个失败反例。
5密钥交换与身份绑定
闭卷重建密钥交换与身份绑定的对象、状态、事件、不变量与一个失败反例。
6实验：消息完整性验证器
闭卷重建实验：消息完整性验证器的对象、状态、事件、不变量与一个失败反例。
7实验：nonce重放检测器
闭卷重建实验：nonce重放检测器的对象、状态、事件、不变量与一个失败反例。