{"name":"供应链安全","id":"计算机网络-网络安全-供应链安全","content":"# 软件供应链安全\n\n## 本质定义\n\n### 核心目标\n\n现代软件已从\"代码生产\"演化为\"依赖组装\"，系统安全不再取决于单点代码质量，而取决于：\n\n```text\n整个供应链中每一个中间产物是否可信\n```\n\n**核心问题转化为：**\n\n> 如何构建一个\"信任不可传递，但可以逐跳验证\"的系统？\n\n### 第一性原理\n\n#### 原理一：信任不可传递\n\n* 上游可信 ≠ 下游可信\n* 每一个阶段都必须**独立证明自身正确性**\n\n#### 原理二：信任必须可计算\n\n信任不是主观判断，而必须具备：\n\n* 可证明（Proof）\n* 可验证（Verification）\n* 可追溯（Traceability）\n\n#### 原理三：安全必须嵌入系统\n\n安全不是外挂能力，而必须成为：\n\n```text\n构建过程的固有属性（Built-in Property）\n```\n\n### 核心矛盾\n\n```text\n交付效率 ↑  vs  可验证性 ↑\n```\n\n约束：\n\n* 安全机制必须\"流水线内生化\"\n* 不允许显著增加开发/交付成本\n\n## 统一抽象：供应链安全元模型\n\n### 元模型定义\n\n```text\n供应链安全 = 信任建立 + 信任传递 + 信任验证\n```\n\n### 三大抽象层\n\n| 抽象层  | 本质问题   | 对应机制              |\n| ---- | ------ | ----------------- |\n| 信任建立 | 谁可以被信任 | 身份（Identity）/ 签名  |\n| 信任传递 | 信任如何流动 | SBOM / Provenance |\n| 信任验证 | 如何判定可信 | Policy / SLSA     |\n\n## 核心机制：信任流模型\n\n### 信任流定义\n\n```text\n开发者 → 代码 → 构建 → 工件 → 分发 → 部署 → 运行\n```\n\n### 信任流分解\n\n| 阶段 | 信任对象     | 风险   | 验证机制                         |\n| -- | -------- | ---- | ---------------------------- |\n| 开发 | 开发者身份    | 账号劫持 | 代码签名 / OIDC                  |\n| 提交 | 源代码      | 恶意注入 | Code Review / Commit Signing |\n| 构建 | 构建环境     | 构建污染 | Hermetic Build               |\n| 产物 | Artifact | 篡改   | Attestation                  |\n| 分发 | Registry | 替换攻击 | 签名验证                         |\n| 部署 | 集群       | 非法镜像 | Admission Control            |\n| 运行 | Runtime  | 漏洞利用 | Runtime Policy               |\n\n### 信任断点\n\n> 每一个阶段都是一个\"信任断点（Trust Boundary）\"\n\n系统安全的本质：\n\n```text\n消除隐式信任，构建显式验证链\n```\n\n## 攻击模型\n\n### 攻击面分类\n\n#### 依赖层攻击\n\n* Typosquatting\n* Dependency Confusion\n* 恶意开源组件\n\n#### 构建层攻击\n\n* CI/CD 注入\n* 构建脚本污染\n* 构建环境后门\n\n#### 身份攻击\n\n* Token 泄露\n* CI 凭证滥用\n* 维护者劫持\n\n#### 分发层攻击\n\n* 镜像篡改\n* Registry 污染\n* CDN 替换\n\n### 攻击路径\n\n```text\n投毒 → 混入 → 构建 → 分发 → 执行\n```\n\n### 攻防映射\n\n| 攻击阶段 | 防御能力                       |\n| ---- | -------------------------- |\n| 投毒   | SBOM / SCA                 |\n| 混入   | Code Review / Signing      |\n| 构建   | Hermetic Build             |\n| 分发   | Artifact Signing           |\n| 执行   | Admission / Runtime Policy |\n\n## 能力体系\n\n### 四大能力域\n\n| 能力域   | 本质   | 对应机制             |\n| ----- | ---- | ---------------- |\n| 可见性   | 看见依赖 | SBOM             |\n| 可检测性  | 发现风险 | SCA / SAST       |\n| 完整性   | 防篡改  | 签名 / Attestation |\n| 可执行策略 | 做决策  | Policy / VEX     |\n\n### 工程模式\n\n#### 模式一：可证明构建\n\n* 所有构建必须生成 Attestation\n\n#### 模式二：不可变构建\n\n* 构建过程无外部依赖\n\n#### 模式三：最小信任凭证\n\n* 使用短期 OIDC Token\n\n#### 模式四：依赖隔离\n\n* 私有代理仓库 / 缓存\n\n#### 模式五：策略驱动部署\n\n* 部署前强制校验\n\n## 治理与度量\n\n### 核心指标\n\n| 指标        | 含义   |\n| --------- | ---- |\n| SBOM 覆盖率  | 可见性  |\n| 可验证构建比例   | 完整性  |\n| 未签名工件比例   | 风险暴露 |\n| 高危漏洞 MTTR | 响应能力 |\n\n### 治理闭环\n\n```text\n检测 → 度量 → 策略 → 执行 → 反馈\n```\n\n## 成熟度模型\n\nSLSA 本质：\n\n```text\n信任验证能力的成熟度分级\n```\n\n| 等级 | 本质能力 |\n| -- | ---- |\n| L1 | 可追溯  |\n| L2 | 可签名  |\n| L3 | 可隔离  |\n| L4 | 可复现  |\n\n## 演进趋势\n\n### 从\"工具\"到\"系统\"\n\n* SCA → ASPM（统一风险管理）\n\n### 从\"代码\"到\"生成系统\"\n\n* SBOM → AIBOM（AI 代码溯源）\n\n### 从\"验证\"到\"持续证明\"\n\n* 静态验证 → Runtime Attestation\n\n## 总结\n\n软件供应链安全的本质不是\"保护代码\"，而是：\n\n```text\n构建一个信任可计算、可传递、可验证的系统\n```\n\n其演进路径：\n\n```text\n隐式信任 → 显式信任 → 信任流系统\n```\n\n最终目标：\n\n> **让\"信任\"成为一种可以被构建、度量和验证的工程能力，而非经验判断。**\n\n## 关联内容\n\n- [/计算机网络/网络安全/安全性.md](/计算机网络/网络安全/安全性.md) 安全体系整体框架与供应链安全的CIA三要素目标一致，均追求系统可信性\n- [/计算机网络/网络安全/安全架构.md](/计算机网络/网络安全/安全架构.md) 零信任架构与安全框架的访问控制理念为供应链信任验证提供设计参考\n- [/计算机网络/网络安全/认证与授权.md](/计算机网络/网络安全/认证与授权.md) 身份认证与OIDC体系是供应链信任建立的核心机制\n- [/软件工程/DevOps.md](/软件工程/DevOps.md) CI/CD安全与构建完整性是供应链安全的关键工程实践\n- [/计算机网络/网络安全/密码学/密码学.md](/计算机网络/网络安全/密码学/密码学.md) 签名与完整性验证机制是供应链信任传递的技术基础\n","metadata":"tags: ['安全', '供应链安全', '完整性', '认证', '软件工程']","hasMoreCommit":false,"totalCommits":1,"commitList":[{"date":"2026-04-14T10:34:56+08:00","author":"MY","message":"docs(SUMMARY): 添加供应链安全文档链接","hash":"a2b72d231ab9bf6d11628d725219e7d4666eccd5"}],"createTime":"2026-04-14T10:34:56+08:00"}