容器镜像签名与验证：基于 Cosign 的供应链安全防护实践

在云原生生态中，容器镜像的完整性和来源可信性是供应链安全的核心。Cosign（由 sigstore 项目开发）作为标准化签名工具，通过密钥对实现镜像的密码学签名与验证，有效防御中间人攻击和供应链篡改风险。以下是关键实践步骤：

1. 签名原理

设镜像摘要为 $H$，私钥为 $K_{priv}$，签名过程可表示为： $$ \sigma = \text{Sign}(H, K_{priv}) $$ 其中 $\sigma$ 为签名数据，满足验证方程： $$ \text{Verify}(H, \sigma, K_{pub}) = \text{True} $$ $K_{pub}$ 为公钥，用于验证签名与镜像的绑定关系。

2. 核心操作流程

a. 生成密钥对

cosign generate-key-pair

生成 cosign.key（私钥）和 cosign.pub（公钥），私钥需安全存储。

b. 签名镜像

cosign sign --key cosign.key your-registry/image:v1

将签名关联到镜像的 OCI 存储层，生成不可变记录。

c. 验证签名

cosign verify --key cosign.pub your-registry/image:v1

输出包含签名者、时间戳和摘要信息，验证失败则中断部署流程。

3. 集成供应链防护

graph LR
A[CI构建镜像] --> B[Cosign签名]
B --> C[镜像仓库存储]
C --> D[CD部署前验证]
D --> E{验证通过?}
E -->|是| F[部署集群]
E -->|否| G[告警并阻断]

4. 进阶实践

• 密钥管理：集成 HashiCorp Vault 或 KMS 系统轮换私钥
• 策略强制：通过 Kyverno/OPA 在集群准入层强制验证签名
• 透明日志：将签名记录到 Rekor 服务器实现审计溯源

安全建议：公钥应通过可信渠道分发（如 GitOps 仓库），避免验证环节的公钥替换攻击。结合 SBOM（软件物料清单）签名，实现从构建到部署的全链路可信验证。

通过上述实践，可建立数学可验证的镜像信任链： $$ \text{可信构建} \rightarrow \text{签名} \xrightarrow{\text{公钥验证}} \text{安全部署} $$ 显著提升容器供应链的防御纵深。