镜像签名与SBOM安全实践

可视化演示

供应链安全威胁

你收到一双限量球鞋，打开后却发现是莆田货。从品牌工厂到你手上，包裹要经过干线运输、中转仓、快递网点，任何一个环节都能偷梁换柱。现实世界的对策很简单：封条加验货。但在软件世界，这个"包裹"的可怕之处在于——里面装的是几万个零件拼出的操作系统：基础镜像、C库、Python包、NVIDIA驱动，任何一个零件被换成恶意版本，整个应用都会跟着中毒。

供应链攻击早已不是科幻。2024年著名的 XZ Utils 后门事件，攻击者潜伏三年，在压缩库的源码里植入后门，险些波及全球所有 Linux 服务器。容器镜像作为软件交付的主要载体，自然成为重点目标：往公共镜像仓库上传带后门的镜像，诱导工程师 pull 下来跑训练；或者攻破某个小型开源项目，把挖矿程序混进依赖包，再被 CI 流水线自动吸收。这就是容器供应链安全必须回答的三个核心问题：

1. 来源可信：这个镜像到底是谁构建的？是官方组织还是冒牌货？

2. 内容完整：镜像在传输和存储过程中有没有被篡改？

3. 依赖透明：镜像里每一个组件是什么版本、来自哪里、有没有已知漏洞？

这"安全三问"正对应本文的三板斧：镜像签名、SBOM 生成、策略准入验证。三者缺一不可——只做访问控制而不做完整性校验，就像相信门锁而不管窗户有没有关。所以，验包裹这件事不能靠"看运气"，要在快递链路里设立三道关卡：封条（签名）、清单（SBOM）、门卫（准入）。好消息是，这三道关卡都有现成的开源兵器库——接下来登场的，就是 Sigstore 与 Cosign。

镜像签名原理

要识破掉包，快递封口处一定要贴一张防伪贴纸。但贴纸本身防不住高手——真正起作用的是贴纸上那枚无法仿冒的印章。数字世界里，"无法仿冒的印章"叫私钥签名。签名者用自己的私钥给镜像内容盖"电子章"，验证者用对应的公钥验章。公钥可以公开张贴，谁都能验；私钥只有签名者自己持有，别人就算拿到镜像也伪造不出同样的章。这个"公私钥匙"配对使用的机制，就是非对称加密。

设镜像内容为 $M$，签名过程分三步：先对镜像做 SHA-256 摘要，得到一个固定长度的"指纹"；再用私钥对指纹加密；把加密结果 $S$ 作为签名附加到镜像上。整个过程可写成：

通俗说明：先给包裹称重取一个"体重指纹"（哈希），再用私人印章按在指纹上方（私钥加密），封条就完成了。任何人想伪造，不仅要复刻你的章，还得真正掌握你的私钥。

Sigstore生态

自己保管印章总让人提心吊胆：丢了怎么办？被偷了怎么办？现实中的快递公司早有更好的方案——不需要你随身带印章，凭身份证在快递柜"刷脸"就能取件。Sigstore 的"无密钥签名"就是这个思路。Sigstore 是 Linux 基金会下的开源工具链，由三大组件配合：Fulcio 证书中心、Rekor 透明日志、Cosign 签名工具。

用户用 GitHub、Google、邮箱等 OAuth 身份登录后，Fulcio 会签发一张有效期极短的证书（通常 10 分钟），证书里绑定用户身份与一次性公钥。Cosign 用这把临时私钥完成签名，同时把签名记录广播到 Rekor——一个任何人都可查询的公开账本。这套设计妙在两处：

• 私钥短命：临时私钥只在证书有效期内存在，泄露了也无所谓，10 分钟后自动作废；
• 行为留痕：所有签名行为都记录在 Rekor 里，攻击者想"签个恶意镜像再销声匿迹"几乎不可能，因为账本上的身份、时间、证书一旦对不上，立刻会被审计发现。

业内把这种特性称为透明日志审计——它不阻止坏人进门，但保证每一次进门都留下不可删除的录像。从此，你的团队不用再战战兢兢地保管私钥文件，就像人脸识别取件一样，刷个脸就能完成签名，账本上还清清楚楚地记着"谁、什么时候、签了哪个包裹"。

Cosign工具实战

设备再好，快递员手里还得有一把扫码枪。Sigstore 生态里的"扫码枪"就是 Cosign——一个命令行工具，负责给镜像盖章（sign）和验章（verify）。用 Cosign 签名的典型流程是：本地生成密钥对（或接入 Sigstore 无密钥模式）→ 为镜像签名 → 签名作为独立 OCI 制品推送到镜像仓库，原镜像内容丝毫不动。

关键点在于：签名和镜像一起存在仓库里，但签名不是"改写了镜像"。镜像出厂时的 Digest 不变，签名只是附加的"封条记录"。验证时，Cosign 拉取当前镜像重新计算摘要，并与签名里解出的原始摘要比对：

通俗说明：重新给包裹称重（重算哈希），再用手里的铜印（公钥）对照封条上的数字解密（签名解密）。重量对不上，说明中途被掉包。

cosign sign --key cosign.key my-registry/app:tag     # 签名cosign verify --key cosign.pub my-registry/app:tag   # 验证

SBOM生成方法

买电器时，包装里一定有一张物品清单——遥控器×1、说明书×1、挂架×1。没有清单，你只能拆开箱子盲目翻；有清单，拿手机对一眼就能核对齐全。SBOM 就是软件镜像的"装箱清单"。SBOM 全称 Software Bill of Materials（软件物料清单），列出镜像中每一个组件：基础镜像的每一层、系统包、语言依赖、二进制文件，以及它们的名称、版本、供应商与许可证信息。

它对安全的价值在于：当某个开源库爆出 CVE 高危漏洞时，你能在几分钟内定位"哪些生产镜像受了影响"，而不是把几百个镜像逐个拉下来盲查。主流标准格式有 SPDX（ISO/IEC 5962，字段丰富、强调许可证合规）和 CycloneDX（轻量、组件依赖关系建模更强，专门面向应用安全）。生成工具方面，开源社区常用 Syft、Trivy、Docker SBOM 插件等。

生成时机最好选在 CI 构建阶段——镜像刚构建完成就立即生成 SBOM，做到"封箱前就贴清单"；然后随镜像一起推送归档，保证清单与镜像版本严格对应。对要求高的企业，还会把 SBOM 导入漏洞管理平台，持续监控新披露的漏洞，实现"清单自动更新，风险持续追踪"。有了这张清单，安全团队不再需要"拆箱盲赌"——每个生产镜像吃了哪些组件、用了什么版本，一目了然，清清楚楚。

策略准入验证

包裹到了小区门口，负责任的门卫不会直接放行，而是先看三样东西：封条完整吗？寄件人可追溯吗？箱内清单对得上吗？Kubernetes 集群门口，也有这么一个尽职的门卫——准入控制器。准入控制器在 Kubernetes API 收到创建 Pod 请求之后、真正生效之前执行校验，日常你写的 Deployment、Job、CronJob 最终都会经过这一关。

Kyverno 或 OPA/Gatekeeper 这类策略引擎，让你用几行配置表达"必须带有效签名""必须带 SBOM"等规则，不需要修改一行 Kubernetes 源码。一条典型的 Kyverno 准入策略，会在镜像拉取前调用 Cosign 校验签名，同时解析 SBOM 字段。若镜像未签名或清单缺失，Pod 创建请求直接被拒绝并返回错误信息。这套逻辑可以用一个布尔表达式概括：

通俗说明：把"封条有效"和"清单齐全"两个条件用逻辑与连接——两个都满足才放行，任何一个不满足都拒绝，没有讨价还价的余地。

CI/CD集成实践

依赖保安的自觉是不够的，要把"验快递"变成小区管理制度。在云原生世界里，这个制度就是 CI/CD 流水线——把签名、生成 SBOM、准入校验固化成流水线的标准环节，每一次发布都自动执行同样的安检流程。所谓"安全左移"，就是把安全动作从部署时前移到构建时：镜像一构建完成，流水线立即执行签名和 SBOM 生成，相当于产品出厂前就贴好封条和清单；部署阶段，集群再从准入端做最后一道核验，形成"构建—签名—清单—准入"的完整闭环。

在 GitHub Actions 中，可以这样搭建流水线：

1. 用 actions/checkout 拉取代码，构建并推送镜像；

2. 用 sigstore/cosign-installer 安装 Cosign，基于 OIDC 身份直接签名——私钥根本不写进流水线；

3. 用 anchore/sbom-action 生成 SPDX 格式的 SBOM，随镜像上传；

4. 部署到集群后，由 Kyverno 准入策略复核签名与 SBOM，任一缺失即拒绝。

审计上，Rekor 里的签名记录 + 流水线日志 + SBOM 归档，构成完整的合规证据链，可以回答"谁在什么时间、用什么身份、签发了哪个镜像"。至此，从厂商（构建机）到门卫（集群准入），快递包裹全程带着封条、清单和录像。软件供应链安全不再是"防君子"，而是"制度化地防小人"。

AI 应用场景

Python 演示

import hashlibimport hmacimport datetime  def calc_digest(content: str) -> str:    # 对镜像内容做 SHA-256 哈希，得到唯一指纹    return hashlib.sha256(content.encode()).hexdigest()  SECRET_KEY = "supply-chain-demo-key"  def sign(digest: str) -> str:    # 用密钥（模拟私钥）对摘要签名    return hmac.new(SECRET_KEY.encode(), digest.encode(), hashlib.sha256).hexdigest()  def generate_sbom(packages):    # 生成简易 SPDX 格式的 SBOM 清单    return {        "spdxVersion": "SPDX-2.3",        "name": "example-image-sbom",        "creationInfo": {"created": datetime.date.today().isoformat()},        "packages": [            {"name": p["name"], "versionInfo": p["version"]} for p in packages        ],    }  def verify(digest, sig, packages):    # 用同样的密钥重算签名，与传入签名比对    expected = hmac.new(        SECRET_KEY.encode(), digest.encode(), hashlib.sha256    ).hexdigest()    sig_ok = hmac.compare_digest(expected, sig)    sbom_ok = len(packages) > 0  # SBOM 非空即通过    return sig_ok and sbom_ok  def main():    image_content = (        "FROM python:3.12\n"        "COPY model.pt /app/model.pt\n"        "RUN pip install numpy==1.26.4 torch==2.2.0"    )    digest = calc_digest(image_content)    signature = sign(digest)     packages = [        {"name": "numpy", "version": "1.26.4"},        {"name": "torch", "version": "2.2.0"},    ]    sbom = generate_sbom(packages)     print("Image digest:", digest)    print("Signature:", signature[:16], "……")    print("SBOM packages:", len(sbom["packages"]))     admitted = verify(digest, signature, sbom["packages"])    print("Admission result:", "PASS" if admitted else "REJECT")    assert admitted, "valid image should be admitted"  if name == "main":    main()

常见误区

面试题