1分层信任与网络边界
闭卷重建分层信任与网络边界的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2TLS身份与证书验证
闭卷重建TLS身份与证书验证的对象、状态、事件、不变量与一个失败反例。
3防火墙状态与默认拒绝
闭卷重建防火墙状态与默认拒绝的对象、状态、事件、不变量与一个失败反例。
4DNS、路由与名称风险
闭卷重建DNS、路由与名称风险的对象、状态、事件、不变量与一个失败反例。
5分段、零信任与服务身份
闭卷重建分段、零信任与服务身份的对象、状态、事件、不变量与一个失败反例。
6实验：有状态连接跟踪
闭卷重建实验：有状态连接跟踪的对象、状态、事件、不变量与一个失败反例。
7实验：CIDR策略匹配器
闭卷重建实验：CIDR策略匹配器的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：TLS身份与证书验证必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕TLS身份与证书验证构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：TLS身份与证书验证不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：分层信任与网络边界必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕分层信任与网络边界构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：分层信任与网络边界不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：DNS、路由与名称风险必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕DNS、路由与名称风险构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：DNS、路由与名称风险不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：防火墙状态与默认拒绝必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕防火墙状态与默认拒绝构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：防火墙状态与默认拒绝不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：有状态连接跟踪必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：有状态连接跟踪构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：有状态连接跟踪不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：分段、零信任与服务身份必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕分段、零信任与服务身份构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：分段、零信任与服务身份不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：CIDR策略匹配器必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：CIDR策略匹配器构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：CIDR策略匹配器不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。