摘要:
摘要针对云原生架构面临的零信任安全挑战,本文提出一种基于威胁建模与形式化验证的层次化安全分析方法。通过构建STRIDE-LM扩展威胁模型,结合TLA+形式化规约语言,建立覆盖基础设施层、服务网格层、应用层的三维安全验证框架。实验表明,该方法在Kubernetes集群中可识别97.3%的CWE Top 阅读全文
posted @ 2025-03-05 09:47
三月九
阅读(35)
评论(0)
推荐(0)
浙公网安备 33010602011771号