1共享责任与云资产清单
闭卷重建共享责任与云资产清单的对象、状态、事件、不变量与一个失败反例。
计算机安全与安全实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2IAM策略与临时凭据
闭卷重建IAM策略与临时凭据的对象、状态、事件、不变量与一个失败反例。
3容器命名空间与资源限制
闭卷重建容器命名空间与资源限制的对象、状态、事件、不变量与一个失败反例。
4镜像、秘密与运行配置
闭卷重建镜像、秘密与运行配置的对象、状态、事件、不变量与一个失败反例。
5多租户隔离与元数据边界
闭卷重建多租户隔离与元数据边界的对象、状态、事件、不变量与一个失败反例。
6实验：IAM最小权限审计
闭卷重建实验：IAM最小权限审计的对象、状态、事件、不变量与一个失败反例。
7实验：容器配置基线检查
闭卷重建实验：容器配置基线检查的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：IAM策略与临时凭据必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕IAM策略与临时凭据构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：IAM策略与临时凭据不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：共享责任与云资产清单必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕共享责任与云资产清单构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：共享责任与云资产清单不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：镜像、秘密与运行配置必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕镜像、秘密与运行配置构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：镜像、秘密与运行配置不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：容器命名空间与资源限制必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕容器命名空间与资源限制构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：容器命名空间与资源限制不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：IAM最小权限审计必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：IAM最小权限审计构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：IAM最小权限审计不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：多租户隔离与元数据边界必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕多租户隔离与元数据边界构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：多租户隔离与元数据边界不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。
核心机制：实验：容器配置基线检查必须同时声明资产、信任边界、允许行为、拒绝规则、可观察证据与失效后的安全状态；实验入口：围绕实验：容器配置基线检查构造本地正常、边界、恶意格式和恢复四组输入，只验证防御性质，不连接或攻击外部系统；边界：实验：容器配置基线检查不能把一次成功或工具告警当作安全证明；授权范围、误报漏报、密钥与隐私副作用必须显式处理。