1资产、主体与安全目标
闭卷重建资产、主体与安全目标的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2信任边界与数据流图
闭卷重建信任边界与数据流图的对象、状态、事件、不变量与一个失败反例。
3攻击面与滥用案例
闭卷重建攻击面与滥用案例的对象、状态、事件、不变量与一个失败反例。
4STRIDE分类与证据
闭卷重建STRIDE分类与证据的对象、状态、事件、不变量与一个失败反例。
5风险可能性与影响
闭卷重建风险可能性与影响的对象、状态、事件、不变量与一个失败反例。
6实验：威胁模型一致性检查
闭卷重建实验：威胁模型一致性检查的对象、状态、事件、不变量与一个失败反例。
7实验：最小权限矩阵验证
闭卷重建实验：最小权限矩阵验证的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：信任边界与数据流图必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕信任边界与数据流图构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：信任边界与数据流图不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：资产、主体与安全目标必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕资产、主体与安全目标构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：资产、主体与安全目标不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：STRIDE分类与证据必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕STRIDE分类与证据构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：STRIDE分类与证据不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：攻击面与滥用案例必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕攻击面与滥用案例构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：攻击面与滥用案例不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：威胁模型一致性检查必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：威胁模型一致性检查构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：威胁模型一致性检查不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：风险可能性与影响必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕风险可能性与影响构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：风险可能性与影响不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：最小权限矩阵验证必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：最小权限矩阵验证构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：最小权限矩阵验证不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。