Anthropic 推出 Project Glasswing：用形式化验证为 AI 供应链构建“数学级”安全防线
AI 安全公司 Anthropic 正式启动“Project Glasswing”计划，旨在解决 AI 时代最薄弱的环节——软件供应链安全。随着 AI 模型日益成为关键基础设施，其底层依赖的操作系统、编译器和库的安全性至关重要。该项目通过引...
标签索引
软件供应链
这个标签下有 6 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
开源不是“施舍罐”：呼吁巨头为访问付费，建立可持续的商业机制
当前开源生态面临严重的资金危机，尽管科技巨头依靠开源代码获取了万亿美元级利润，但绝大多数维护者仍处于无偿或低收入状态。文章指出，仅靠捐赠无法维持生态运转，尤其是面对AI生成垃圾报告带来的额外负担和巨大的流量成本。作者强烈建议转型为“付费访问...
警惕“隐形”的包管理器：CI/CD 与 IaC 工具的供应链安全盲区
本文深度剖析了 GitHub Actions、Ansible、Terraform 和 Helm 等 DevOps 工具在演进过程中普遍面临的“包管理器困境”。尽管这些工具已具备递归依赖下载和执行能力，形成复杂的传递依赖树，但它们大多缺乏锁文...
【深度讽刺】当软件工程规范应用于午餐：一份严肃的《三明治物料清单(SBOM)1.0》
这篇发表于 Hacker News 的“技术规范”以极其严谨的软件工程口吻，将复杂的供应链管理概念移植到了三明治制作中。作者提出了 SBOM（三明治物料清单）标准，要求通过 PURL 追踪食材版本（如“面包@陈旧版”），解决“酸黄瓜许可证”...
FIPS合规并非万能：预编译二进制文件破坏安全边界
本文讲述了一次在启用FIPS合规的容器中运行Rails应用时的调试经历。尽管OpenSSL配置正确，应用仍因ActiveRecord操作而崩溃。调查发现，原因在于`pg` gem引入了链接到不同加密库的预编译原生依赖，绕过了FIPS边界。通...
开源演变新论：当“大教堂”变成了“巨型教会”
本文通过“巨型教会”这一新隐喻，重新审视了现代开源生态的结构性演变。作者指出，许多大型开源项目已从自由开放的“集市”演变为拥有严密规则、依赖企业“什一税”的“巨型教会”。然而，由个人维护者构成的、混乱而真实的“集市”依然是现代数字基础设施的...