1机密性、完整性与真实性
闭卷重建机密性、完整性与真实性的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2哈希、MAC与数字签名
闭卷重建哈希、MAC与数字签名的对象、状态、事件、不变量与一个失败反例。
3随机数、nonce与重放
闭卷重建随机数、nonce与重放的对象、状态、事件、不变量与一个失败反例。
4对称加密与认证加密
闭卷重建对称加密与认证加密的对象、状态、事件、不变量与一个失败反例。
5密钥交换与身份绑定
闭卷重建密钥交换与身份绑定的对象、状态、事件、不变量与一个失败反例。
6实验：消息完整性验证器
闭卷重建实验：消息完整性验证器的对象、状态、事件、不变量与一个失败反例。
7实验：nonce重放检测器
闭卷重建实验：nonce重放检测器的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：哈希、MAC与数字签名必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕哈希、MAC与数字签名构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：哈希、MAC与数字签名不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：机密性、完整性与真实性必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕机密性、完整性与真实性构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：机密性、完整性与真实性不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：对称加密与认证加密必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕对称加密与认证加密构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：对称加密与认证加密不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：随机数、nonce与重放必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕随机数、nonce与重放构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：随机数、nonce与重放不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：消息完整性验证器必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：消息完整性验证器构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：消息完整性验证器不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：密钥交换与身份绑定必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕密钥交换与身份绑定构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：密钥交换与身份绑定不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：nonce重放检测器必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：nonce重放检测器构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：nonce重放检测器不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。