原子标签索引:[概念×12 | 机制×5 | 流程×4 | 决策×1 | 分类×8 | 判据×5 | 案例×2 | 数据×3] 上游:第4章(信息安全技术基础) 下游:第14章(云原生安全)、第20章(论文写作,WPDRRC/安全模型为高频素材)

标准表述

蒸馏笔记

概念

机制

流程

  1. 状态机模型工作 6 步:变量默认值安全 → 用户使用默认值 → 系统验证主体身份 → 确保变更不破坏安全 → 允许变更(STATE CHANGE)→ 循环重复。
  2. 抗抵赖 4 阶段:证据生成(证据实体/可信第三方)→ 证据传输、存储及恢复 → 证据验证(证据使用者请求验证者验证)→ 解决纠纷(仲裁者裁定)。
  3. 访问控制判决流:发起者发访问请求 → AEF 通知 ADF 需判决 → ADF 依据发起者/目标/访问请求三类 ADI + 策略规则 + 上下文 → 判决交 AEF 执行。
  4. 软件脆弱性生命周期:引入(输入验证错误、权限检查错误、操作序列化错误、边界检出错误、设计缺陷等)→ 产生破坏效果(非法执行代码、非法修改目标、访问数据对象、拒绝服务)→ 修补 → 消失。

决策

选项 适用条件 代价
BLP 模型 需要机密性分级保护(军事/多级安全) 不保障完整性
Biba 模型 应用程序数据完整性保护 不管机密性
CWM 银行等事务处理系统 需审计能力支撑
Chinese Wall 存在利益冲突的多客户服务(投资银行等) 需行政规定+监控配套

分类体系

判据

案例

数据

易错点 / 边界情况