今年早些时候,Anthropic 推出了Project Glasswing,这是一个有限访问计划,旨在让全球关键基础设施的防御者能够抢先保护其代码库。本周,我们推出了Cyber Verification Program (CVP)的全新扩展版本,向符合条件的安全专业人员提供高级网络能力和减少拦截的分类器。

作为Project Glasswing的一部分,保护关键基础设施的组织已将 Claude Mythos 模型应用于他们所防御的系统。在这些组织中,一个共同主题浮现出来:现有的网络安全工具可以在孤立环境中识别单个漏洞,但利用链——攻击者将若干各自轻微的弱点串联成通往严重问题的路径——则难以追踪得多。像 Claude Mythos 这样的模型有助于拼合代码、配置和实时应用行为,使组织既能发现普通的单文件漏洞,也能发现只有在组件交互时才会出现的复杂跨系统漏洞。

我们与参与该计划的 Comcast 和 Booz Allen 的安全负责人进行了交谈,了解 Claude Mythos 级模型在其环境中发现了什么,以及它如何改变其团队防御攻击的方式。

Comcast:将发现结果与可利用漏洞区分开来

Comcast 是一家全球媒体和技术公司,在一次覆盖 258 个业务关键系统和约 1.7 亿行代码的评估中,使用 Claude Mythos Preview 识别出一个面向公众平台中的关键身份验证漏洞。该问题可能允许攻击者绕过身份验证控制,并在观察到任何利用证据之前已得到修复。

“发现正变得越来越快,”Comcast 执行副总裁、首席信息安全与产品隐私官 Noopur Davis 表示。“发现正变得越来越容易。发现结果的数量极其庞大。验证这些数量的发现结果才是新的瓶颈。”

这一发现源于 Claude Mythos Preview 能够跨复杂的软件生态系统进行推理,而非孤立地评估单个文件或组件。该漏洞并非由单个缺陷组件引起。相反,它源于多个系统与假设之间的交互,而这些系统与假设在单独审查时看起来都是正确的。通过在代码、配置和应用行为之间保持上下文,Claude Mythos Preview 识别出了一个跨多个相互交互组件浮现的安全缺口,使其难以通过传统方法检测。

“前沿 AI 模型让大规模生成发现变得容易得多,”Davis 说。“但只有在验证确认了底层问题之后,一个发现才会成为漏洞;而只有当它确实能在目标环境中被利用时,一个漏洞才具有可利用性。”

Comcast 的工程师针对正在运行的应用验证了该发现,并确认底层的安全问题在实践中确实可以被触达。随后,团队追溯了根本原因,实施了修复,并验证了该漏洞在被修复之前未被利用过。该发现代表了所观察到的一种更广泛模式:Claude Mythos 级模型识别出的一些影响最大的问题,并非源于单个编码错误,而是源于复杂软件环境中微妙的交互。

“早期访问大概让我们对前沿 AI 模型安全能力的理解提前了约一年,”Davis 说。“我们非常感谢 Anthropic 围绕这一计划所建立的社区——它让参与者能够分享经验教训,从而帮助更广泛的生态系统。”

Booz Allen:拼凑漏洞利用链

Booz Allen 为国防、民用、国家安全和商业任务构建并部署技术,其网络业务致力于弥合 AI 驱动的对手与传统网络防御之间的速度差距。这包括开展红队演练,并为面临 AI 赋能对手的客户构建防御。

Booz Allen 的安全评估有固定期限,工程师在评估结束前能阅读的源代码、配置和编译软件数量有限。仅靠扩大覆盖范围无法弥合这一差距,因为真实攻击通常是通过将代码、配置、身份和部署设置中的小弱点串联起来实现的,而即使在大型软件组合中手动追踪这些关联,对熟练的操作人员来说也很慢。

Booz Allen 使用 Claude Mythos Preview 审查了远超短期参与窗口通常允许的软件数量,并识别出可被串联成利用链的弱点。

“Mythos 在跨边界推理方面的能力令人惊讶,而不仅仅是识别孤立的代码问题,”Booz Allen 人工智能工程副总裁 Sahil Sanghvi 表示。“它帮助将应用程序行为、配置、身份、权限和部署上下文连接成连贯的安全假设。”这项工作从发现到修复的速度也超出了其团队的预期,该模型帮助起草修复方案,并为负责受影响系统的工程师汇集证据。

在一个案例中,一个 Claude Mythos 级模型在设备首次开机、操作系统加载之前运行的代码中发现了一个缺陷。该代码决定设备应锁定自身还是擦除数据,并利用存储在机器上的安全密钥做出这一判断。该密钥未受保护,因此本应受其约束的操作系统可以替换为攻击者控制的密钥,然后向机器输入它会信任的指令。攻击者可以无限期推迟锁定或擦除步骤,使丢失、被盗或已遭入侵的设备在本应自行关闭时仍完全可访问。

系统有几次机会锁定密钥,但每一次都被错过了。密钥最初被保存时,本可保护它的设置被关闭了。将其写入硬件的代码原样传递了该设置,没有进行纠正。另一项本可以在之后锁定密钥的独立防护措施从未被启用。Claude 通过追踪这一个设置,跨越两个用不同语言编写的不同程序,然后确认没有任何东西锁定过该密钥,从而发现了这个漏洞。

“Mythos 可以快速生成大量候选结果,但团队仍需验证发现、对系统性模式去重,并将问题分派给正确的负责人,”Booz Allen 国家网络安全总裁 Brad Medairy 表示。“一名分析师在十二天内审查了 138 个代码仓库中的八个生产系统。如果没有 Mythos,这种规模的组合审查将需要我们投入更大的团队、花费数月时间。”

对 Booz Allen 而言,这指向了一种不同的安全审查运行方式:由操作人员保留判断决策,而模型则扩展他们能够持续监控的组合范围。

“我们的研究表明,前沿模型有能力自主执行完整的网络杀伤链,”Medairy 表示。“各组织必须持续运行网络安全审查和防御,以跟上步伐。”

下一步

随着具备 Claude Mythos 能力的模型成为日常安全工作的一部分,各组织可以像熟练的攻击者那样审视自己的系统,追踪代码、配置和遗留组件如何相互作用,并在其他人找到突破口之前弥合它们之间的缺口。我们构建 Project Glasswing,正是为了让防御者率先获得这种能力,我们将继续通过新的 Cyber Verification Program (CVP) 扩大访问范围,让更多运行关键软件的组织能够将其投入使用。

了解更多关于 Cyber Verification Program (CVP) 的信息。