1用户、权限与保护域
闭卷重建用户、权限与保护域的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2进程隔离与系统调用边界
闭卷重建进程隔离与系统调用边界的对象、状态、事件、不变量与一个失败反例。
3沙箱、能力与最小接口
闭卷重建沙箱、能力与最小接口的对象、状态、事件、不变量与一个失败反例。
4审计日志与不可抵赖边界
闭卷重建审计日志与不可抵赖边界的对象、状态、事件、不变量与一个失败反例。
5更新、启动与可信基线
闭卷重建更新、启动与可信基线的对象、状态、事件、不变量与一个失败反例。
6实验：Unix权限判定器
闭卷重建实验：Unix权限判定器的对象、状态、事件、不变量与一个失败反例。
7实验：沙箱策略静态检查
闭卷重建实验：沙箱策略静态检查的对象、状态、事件、不变量与一个失败反例。