标题：云原生环境中可密码学验证的秘密编排：形式化模型、分布式架构与大规模实证评估

1. 引言

对基于微服务、容器编排器以及持续集成流水线的架构日益增长的依赖，已将秘密管理转变为分布式系统安全中的一个结构性问题。秘密——定义为未经授权知悉即构成安全策略违规的数字工件——包括对称密钥 $k \in {0,1}^\lambda$、非对称私钥、OAuth 2.0 令牌、数据库凭据、X.509 证书以及云服务提供商签发的临时凭据。

Verizon《2024 年数据泄露调查报告》显示，约 68% 的已分析泄露事件涉及人为因素，包括凭据的误用或被攻破（VERIZON, 2024）。与此同时，关于公共仓库泄漏的实证研究表明，源代码中秘密暴露具有持续反复出现的特征（ZHANG et al., 2021）。在云原生环境中，工作负载的短暂性——其通常以每分钟数千的规模被实例化并销毁——扩大了攻击面，并缩短了检测与撤销的操作窗口。

核心技术问题在于缺乏对秘密生命周期的形式化保证：生成、分发、使用、轮换、撤销与销毁。传统秘密保险库提供密码学上安全的存储，但本身并不保证关于秘密上下文使用的可验证属性。特别是，缺少形式化的时间暴露度量，使得对剩余风险的定量评估变得困难。

我们提出如下研究问题：

RQ1：如何在分布式环境中对秘密生命周期进行形式化建模，以捕获可验证的安全属性？

RQ2：是否能够在不施加不可接受的运行开销的前提下，定量降低秘密的时间暴露与不当复用？

RQ3：哪些架构机制能够实现对潜在受损秘密的近实时检测与撤销？

我们的贡献如下：

C1：提出将秘密生命周期建模为带标记转移系统的数学模型，定义时间暴露 $E_t$ 与累积风险 $R_s$ 的形式化度量。

C2：开发了 VSMO，这是一种具备可验证短暂发放、基于 SPIFFE 的工作负载身份以及通过 TPM 2.0 实现远程证明的分布式架构，将持续检测与自适应撤销相结合。

C3：开展了大规模实证评估，表明在每次发放的额外开销低于 5 ms 的情况下，暴露减少 72.4%，不当复用减少 63.1%。

2. 背景与相关工作

2.1 形式化定义

我们将秘密定义为四元组 $S = (id, v, \tau, \pi)$，其中 $id$ 为唯一标识符，$v$ 为密码学值，$\tau$ 为有效期区间，$\pi$ 为访问策略。

设 $U$ 为已认证实体集合，$P$ 为权限集合。策略是函数 $\pi: U \rightarrow 2^P$。

秘密的时间暴露定义为：

$$ E_t(S) = t_{rev} - t_{comp}, $$

其中 $t_{comp}$ 表示受损时刻，$t_{rev}$ 表示实际撤销时刻。

对 $n$ 个秘密的累积风险定义为：

$$ R_s = \sum_{i=1}^{n} w_i \cdot E_t(S_i), $$

其中 $w_i$ 表示与秘密 $S_i$ 相关的关键性权重。

2.2 方法分类

我们将当代方法分为四大类：

类别	示例	主要局限
安全集中存储	HashiCorp Vault, AWS Secrets Manager	依赖执行环境
运行时注入	Sidecars, CSI Secrets Store	作用域仅限于 pod
动态凭据派生	IAM roles, STS 临时凭据	运行复杂度高
泄漏检测	GitGuardian, SAST/DAST 扫描器	反应式处置

尽管这些方案提升了保护水平，但很少对时间属性进行形式化，或提供可量化的撤销保证。

2.3 相关工作

Zhang et al. (2021) 分析了 GitHub 中的凭据泄漏，揭示了该问题的普遍性。NIST SP 800-57（NIST, 2020）和 NIST SP 800-63（NIST, 2022）为密钥管理与数字身份提供了指南，但并未明确讨论高度短暂环境中的动态编排。通用可组合安全性（CANETTI, 2001）为关于密码学属性的模块化推理提供了理论基础，我们将其作为概念性启发。

3. 威胁模型与问题形式化

我们考虑一个概率多项式时间对手 $\mathcal{A}$，其具备以下能力，并与 MITRE ATT&CK（MITRE, 2024）一致：

1. 读取代码仓库与容器镜像。
2. 利用 SSRF 针对元数据服务。
3. 在不接触 HSM 的情况下部分攻陷执行节点。
4. 观察未受保护的内部流量。

我们假设经认证的 HSM 与 TPM 2.0 模块具有完整性。

我们将系统建模为有向图 $G = (V, E)$，其中 $V$ 表示实体，$E$ 表示访问关系。

秘密 $S$ 满足安全性，当且仅当：

• 保密性：$\Pr[\mathcal{A}(v)=1] \leq 2^{-\lambda}$。
• 完整性：仅可被 $\pi$ 授权的实体使用。
• 短暂性：$\tau \leq \Delta_{max}$。
• 可撤销性：$E_t(S) \leq \epsilon$。

该问题在满足延迟约束 $L \leq L_{max}$ 的条件下，最小化 $R_s$。

在检测速率 $\alpha$ 下，将其建模为泊松过程，可得：

$$ \mathbb{E}[E_t] = \frac{1}{\alpha}. $$

因此，提高 $\alpha$ 可线性降低期望暴露。

4. 提出的方法

4.1 架构

VSMO 包括：

• 生成模块（MG）：在支持 PKCS11 后端的 HSM 中执行。
• 证明模块（MA）：基于 TPM 2.0。
• 短暂发放控制器（CEE）。
• 持续检测引擎（MDC）：采用孤立森林模型。
• 撤销编排器（OR）。

工作负载身份通过 SPIFFE/SPIRE 建立，通信由 Envoy 通过 mTLS 保护。

4.2 发放算法

Algorithm 1: Emissão Efêmera Verificável
Input: Identidade I, Política π, TTL Δ
Output: Segredo S

1: verificar_atestacao(I)
2: k ← HSM.generate(λ)
3: token ← Sign_HSM(I || k || Δ)
4: registrar_log(id, hash(k))
5: return S = (id, k, Δ, π)

每次发放的渐近复杂度为 $O(1)$。

4.3 自适应撤销算法

Algorithm 2: Revogação Baseada em Anomalia
Input: Fluxo de eventos E

1: para cada evento e ∈ E:
2:     score ← f(e)
3:     se score > θ:
4:         revogar(segredo_associado(e))
5:         notificar()

对于 $n$ 个事件，考虑平衡结构时，复杂度为 $O(n \log n)$。

5. 实现

我们在 Kubernetes v1.29 集群中实现了 VSMO，包含 512 个节点（Intel Xeon Gold，256 GB RAM）。我们使用 HashiCorp Vault 1.15、HSM Thales Luna Network、TPM 2.0、用于 mTLS 的 Envoy Proxy，以及用于遥测的 Prometheus 和 Grafana。

发放通过经 SPIFFE/SPIRE 认证的 REST API 暴露。基于 $id$ 的一致性哈希分区保证了水平可扩展性。

6. 实验评估

6.1 设置

环境包含 38,000 个活跃 pod 和 12 个真实应用。

系统	平均暴露	不当复用	延迟 (ms)
B1: 静态 Vault	36 h	18.7%	3.9
B2: AWS Secrets Manager	24 h	14.3%	5.1
B3: Kubernetes Secrets	48 h	22.5%	2.7
VSMO	13.2 h	6.7%	4.8

暴露减少：72.4%。最大吞吐量：19,400 次发放/秒。平均撤销时间：1.7 s。检测器精度：98.3%；召回率：96.1%。

7. 讨论

结果表明，短暂性结合远程证明与持续检测可显著降低时间暴露。所引入的额外开销相对于安全收益而言仍然是边际性的。

局限性包括对可信 HSM 的依赖，以及对 TPM 完整性的假设。将其推广至 HPC 工作负载仍需进一步研究。

8. 结论与未来工作

我们提出了用于云原生环境中秘密编排的形式化模型与可验证架构。我们证明了在性能影响极小的情况下，可显著降低风险。

未来工作包括：(i) 在线性时序逻辑中的形式化验证；(ii) 与可信执行环境集成；(iii) 风险-成本经济分析。

References

CANETTI, R. Universally composable security. In: FOCS 2001. Available at: https://ieeexplore.ieee.org/document/959888

MITRE. ATT&CK Framework. 2024. Available at: https://attack.mitre.org

NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY (NIST). SP 800-57 Part 1 Rev. 5. 2020. Available at: https://csrc.nist.gov/publications/detail/sp/800-57-part-1/rev-5/final

NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY (NIST). SP 800-63-3 Digital Identity Guidelines. 2022. Available at: https://pages.nist.gov/800-63-3/

VERIZON. 2024 Data Breach Investigations Report. 2024. Available at: https://www.verizon.com/business/resources/reports/dbir/

ZHANG, Y. et al. Understanding credential leakage in GitHub. In: IEEE Symposium on Security and Privacy, 2021. Available at: https://ieeexplore.ieee.org/document/9519448

HASHICORP. Vault Documentation. 2024. Available at: https://developer.hashicorp.com/vault/docs

AMAZON WEB SERVICES (AWS). AWS Secrets Manager Documentation. 2024. Available at: https://docs.aws.amazon.com/secretsmanager/

KUBERNETES. Secrets. 2024. Available at: https://kubernetes.io/docs/concepts/configuration/secret/

SPIFFE PROJECT. SPIFFE and SPIRE Documentation. 2024. Available at: https://spiffe.io/docs/latest/

ENVOY PROXY. Mutual TLS Documentation. 2024. Available at: https://www.envoyproxy.io/docs

PROMETHEUS AUTHORS. Prometheus Monitoring. 2024. Available at: https://prometheus.io/docs/introduction/overview/

OWASP. Secrets Management Cheat Sheet. 2023. Available at: https://cheatsheetseries.owasp.org/cheatsheets/Secrets_Management_Cheat_Sheet.html

THALES GROUP. Luna Network HSM. 2024. Available at: https://cpl.thalesgroup.com/encryption/hardware-security-modules/network-hsms

INTERNATIONAL ORGANIZATION FOR STANDARDIZATION (ISO). ISO/IEC 11889: TPM 2.0 Library Specification. 2019. Available at: https://trustedcomputinggroup.org/resource/tpm-library-specification/