1身份声明与认证因素
闭卷重建身份声明与认证因素的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2密码存储与速率限制
闭卷重建密码存储与速率限制的对象、状态、事件、不变量与一个失败反例。
3会话生命周期与撤销
闭卷重建会话生命周期与撤销的对象、状态、事件、不变量与一个失败反例。
4RBAC、ABAC与能力模型
闭卷重建RBAC、ABAC与能力模型的对象、状态、事件、不变量与一个失败反例。
5最小权限与职责分离
闭卷重建最小权限与职责分离的对象、状态、事件、不变量与一个失败反例。
6实验：恒定规则认证状态机
闭卷重建实验：恒定规则认证状态机的对象、状态、事件、不变量与一个失败反例。
7实验：授权策略判定器
闭卷重建实验：授权策略判定器的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：密码存储与速率限制必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕密码存储与速率限制构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：密码存储与速率限制不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：身份声明与认证因素必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕身份声明与认证因素构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：身份声明与认证因素不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：RBAC、ABAC与能力模型必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕RBAC、ABAC与能力模型构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：RBAC、ABAC与能力模型不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：会话生命周期与撤销必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕会话生命周期与撤销构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：会话生命周期与撤销不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：恒定规则认证状态机必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：恒定规则认证状态机构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：恒定规则认证状态机不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：最小权限与职责分离必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕最小权限与职责分离构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：最小权限与职责分离不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：授权策略判定器必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：授权策略判定器构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：授权策略判定器不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。