1用户、权限与保护域
闭卷重建用户、权限与保护域的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2进程隔离与系统调用边界
闭卷重建进程隔离与系统调用边界的对象、状态、事件、不变量与一个失败反例。
3沙箱、能力与最小接口
闭卷重建沙箱、能力与最小接口的对象、状态、事件、不变量与一个失败反例。
4审计日志与不可抵赖边界
闭卷重建审计日志与不可抵赖边界的对象、状态、事件、不变量与一个失败反例。
5更新、启动与可信基线
闭卷重建更新、启动与可信基线的对象、状态、事件、不变量与一个失败反例。
6实验：Unix权限判定器
闭卷重建实验：Unix权限判定器的对象、状态、事件、不变量与一个失败反例。
7实验：沙箱策略静态检查
闭卷重建实验：沙箱策略静态检查的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：进程隔离与系统调用边界必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕进程隔离与系统调用边界构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：进程隔离与系统调用边界不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：用户、权限与保护域必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕用户、权限与保护域构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：用户、权限与保护域不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：审计日志与不可抵赖边界必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕审计日志与不可抵赖边界构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：审计日志与不可抵赖边界不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：沙箱、能力与最小接口必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕沙箱、能力与最小接口构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：沙箱、能力与最小接口不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：Unix权限判定器必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：Unix权限判定器构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：Unix权限判定器不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：更新、启动与可信基线必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕更新、启动与可信基线构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：更新、启动与可信基线不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：沙箱策略静态检查必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：沙箱策略静态检查构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：沙箱策略静态检查不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。