AI图鉴

AI图鉴首页 › AI 资讯 › 一千条更少的根路

一千条更少的根路

来源:OpenAI官方 · 发布时间:11-04 · 由 AI图鉴每小时自动聚合

OpenAI在Linux内核中为948个本地特权升级弱点建造了一条自主的管道,发现,验证并生成补丁。

一千条更少的根路

我们开发了一个自主的脆弱性发现,开发,和补丁管道。 在使用我们的网络模型的一次运行中,它验证并生成了Linux948个地方特权升级弱点的补丁,花费120万美元的API.

安全研究一旦要求对每一项调查结果进行单独、持续调查,就可越来越多地作为一个系统的过程进行。 这份文件探讨了我们在这一领域的努力之一。

脆弱性的发现越来越容易扩大,但确定优先次序和鉴定仍然是业务瓶颈。 我们建造了一个原型,在受控制的研究环境中寻找Linux内核的安全缺陷。 我们的原型确定并分析了2 308个候选的Linux内核调查结果,动态地复制了1 724个弱点,并产生了948个地方特权升级(LPE)的利用,可以让一个没有特权的当地用户获得根基接入。

我们利用这些证据优先处理报告的脆弱性,并开发了供维护者审查的候选补丁。 在Linux内核社区的指导下,我们首先从严重的脆弱性着手,并正在与Patch the Path the Planet伙伴合作,编写进一步的报告和补丁。

6月,作为《星球补丁》倡议的一部分,我们分享说,GPT‐5.5 Cyber查明了Linux内核弱点,并开发了24个地方特权升级,以验证和报告这些弱点。 我们把这项工作扩展为一个管道,由即将到来的网络模型提供动力,包括脆弱性发现、动态验证、可开发性评估和补丁生成。 报告完成后,人类研究人员审查了产出,并报告发现除补丁之外还有弱点。

目录

方法

- 在高层次上,我们的管道工程如下:首先确定Linux内核中与安全有关的部分,静态扫描这些审计对象以获取候选结果,在孤立的环境中动态复制这些结果,建立概念证明(PoC)以证明可开发性,产生补丁,最后由人的安全研究人员审查结果。

- 输油管的产出包括:根源分析、最低限度的崩溃性概念证明、候选补丁和充分开发,以协助人类研究人员评估脆弱性的严重性和使修复措施上游。

调查结果

- 在2026年10月中旬的一次运行中,我们使用即将到来的网络模型的管道动态地复制了1 724个弱点,并为291个信息泄露弱点和948个正在工作的当地特权升级(LPE)开发了常用的Linux分销。 运行费用共计1 213 430美元(API信贷),或每LPE开采1 279美元。

- 目标虚拟机在网络安全竞赛(如Pwn2Own(在新窗口打开),TyponPWN(在新窗口打开))使用的相同威胁模型下运行一个股票桌面操作系统,而不是削弱的目标。 历史上,Pwn2Own和TyponPWN为Linux内核LPE开发提供2万美元和7万美元bug赏金。 将这些历史赏金应用于948项开采,产生了1,890万美元 -- -- 663万美元这一假设价值,大约16至55美元我们的管道成本。

- 在经过改造的内核CTF(在新窗口打开)环境中,这是Linux内核的版本,攻击表面减少,我们的管道获得了25个信息泄露PoC和21个LPE开发。 作为比较,在撰写本报告时,内核工作队在2026年接受了26项确认的零天LPE开发。

- 运动花费了大约32 936美元的API信贷。 如果这21种弱点被节目所接受,它将导致大约1.5M的赏金奖,~45x的扫描成本。

- 据我们所知,在这个输油管中agents发现了至少十种新型的Linux开发技术。

反思

- Linux维护者和安全界正在努力迅速发现和解决脆弱性。 在扫描运行的10天内,我们观察到超过100个Linux LPE被补丁或有来自其他贡献者的中继补丁,还有~300个被公开讨论。

- 鉴于前沿模型发现脆弱性的速度,我们认为自动补丁生成对于按所需速度保护软件和限制开发窗口至关重要。 有了人类专家引导的迭代,我们认为AI生成的补丁在功能上可以正确,与现有的编码风格一致,强力攻击变体。 这是进一步研究的一个重要领域。

- 更有能力的模型能够发现现有守则中的新弱点,其中往往包括时间较长且更复杂的模型。 我们使用更新的网络模型的分析管道在10月中旬发现,比GPT‐5.6 Sol在7月份运行时发现的LPE > 5x更多,尽管在扫描之间进行了三个月的硬化。

- 大型复杂软件项目可能需要多轮扫描和确定“从下到下”潜在错误的脆弱性。 理想的情况是,在以后的每一代前沿模型中都会重复这一过程。 这既适用于专有软件,也适用于开源软件。

- 在近期和中期,在操作系统上访问一个低保账户,但最新的补丁没有更新,这在功能上应等同于资源充足的威胁行为者的根接入。 深度防御,使用沙盒和隔离方法,如鞭炮和gvisor,对于限制被利用的脆弱性的爆炸半径十分重要。

- 在今后几年内,我们认为,如果某一软件项目存在弱点,前沿模型可能能够发现这些弱点,而且一旦披露,能力更差的模型可能能够开发利用。 在一个没有未知弱点的世界中,建设和维护高保证软件,特别是操作系统,浏览器,图像解析库,TCP/IP堆栈等核心软件,将是至关重要的。 投资培训模式以默认方式编写安全代码,通过去除不必要的特性来尽量减少攻击表面,以及正式的核查,是未来研究的有希望的领域,除了发现和固定现有的弱点外,还能够有效地扩大软件的安全范围。

Linux内核支撑着Android设备,云基础设施,超级计算机,以及数十亿人使用的其他系统。 拥有超过4000万行的代码,内核通过系统调用,联网,文件系统,以及设备驱动程序,暴露出广泛的攻击表面。 我们选择了Linux来研究前沿模型如何能够有效地发现弱点,并在这种规模和重要性的代码库中显示其安全影响。

最初的脆弱性发现阶段产生了数千项候选结果,安全研究人员无法手动审查和分解。 我们的脆弱性发现管道的业务挑战不是发现,而是确定哪些调查结果可以复制,哪些安全边界可以跨越,哪些需要尽早得到维护者的注意。

OpenAI网络团队的使命是帮助保障世界所依赖的软件的安全。 我们报告每个阶段的API费用,以帮助研究人员评估复制和扩大这项工作所需的资源。 这些费用反映了本评价所使用的模型、目标配置和工作流程。 我们更广泛的目标是帮助维权者发现和解决脆弱性,减少攻击者的机会,提高他们利用软件的成本。

最后,我们注意到,我们侧重于研究的方法和衡量模型能力,而不是成本。 我们期望,充分的利用工程可以在每一阶段切实降低成本;因此,我们所报告的成本更具上限。

我们的脆弱性研究原型是五个阶段的管道,其核心是使用即将出现的网络模型:

- 脆弱性发现:Agents确定密码库中与安全有关的部分,并进行扫描,以了解候选结果。

- 动态验证:Agents试图在孤立的环境中复制每个候选人并保存运行时间证据。 这一步骤产生了复制和验证的弱点。

- 利用性评估:Agents测试经验证的脆弱性是否能够促成信息披露或当地特权升级。

- 补丁生成:Agents生成补丁,处理每一个已查明的脆弱性。

- 人文审查:安全研究者在向维护者报告之前审查开发、补丁和提议的严重程度。

在输油管的尽头,系统将一个根源分析,一个最小的崩溃性概念证明,一个候选补丁,以及一个充分的利用来帮助人类研究人员评估脆弱性的严重程度和使修复方法上游。

并非Linux内核中的每一行代码都与安全相关。 我们的管道利用一个Scout agents小组来确定高价值的审计目标,然后交给分析员agents进行脆弱性扫描。

Scout agents通过每个文件夹和文件阅读,并根据其可达到性(低保用户可达到)和安全相关性确定审计目标。

这一阶段确定了5,034项审计目标,约280万行代码,约占整个Linux内核代码基数的7%,与完整的代码基数分析相比,安全审计成本大幅降低。 这一步骤花费了API信贷3 426美元。

接下来,分析师agents对每个审计目标进行了分析,并利用类似于Codex安全插件(在新窗口打开)的工作流程得出了候选结果。 在高水平上,分析师agents阅读了指定审计目标的代码,以了解它是如何工作的,识别其威胁模型,并寻找其中的弱点。

在12小时之内,分析师agents在分解后产生了2,308个候选结果。 这一阶段的API信贷费用为316 549美元。

候选人的发现与经核实的脆弱程度不同。 在这个规模上,人工调查每份报告对我们的研究团队来说是不切实际的。

因此,我们侧重于验证以下结论:(a) 低保用户能够达到;(b) 不需要特殊能力;(c) 产生了记忆腐败的可衡量证据。

对于每个候选人,一个三进制的agent生成了一个概念的证明,并在一个单独的虚拟机中运行着Linux内核,使用Kenel地址Sanitizer(KASAN)运行。 agent观察了程序输出和系统控制台,然后迭代地完善了概念的证明,直到它复制了报告的行为或者用尽了触发它的潜在方法。

在30小时内,我们的系统重复了1724个弱点,占2 308个候选人调查结果的74.7%。 仅静态代码审查可能容易出现假阳性,因此我们对分析师agents的准确性以及三分法agents在为近四分之三的候选结果自主创建概念工作证明的有效性印象深刻。

剩余的大多数调查结果要么要求提高特权,要么由于困难的种族条件,具体的触发条件(如特定线上所要求的分配失败),或耗时的验证(如重新计算包),未能在时间预算范围内复制。 只有3.1%反映了模型所作的不正确分析,而所报告的脆弱性是不可能发生的。

鉴定阶段总共花费了73 330美元的API信贷。 我们注意到,在我们验证过程中,需要提出概念证明,以确认候选人是否真正脆弱,这一过程比仅仅根据静态分析提出建议更为昂贵,试图验证一个真实的正反正的和虚假的正反正的花费是类似的。 因此,在早期的管道中消除虚假的阳性,使这一过程更具有有意义的成本效益。

瓦尔

本文由 AI图鉴自动抓取并翻译,版权归原作者所有;如需查看原文请点下方链接。

相关 AI 工具

相关免费羊毛

同源资讯

阅读原文(openai.com)

标题、摘要与正文均来自该信源的公开页面,版权归原作者所有;本站自动聚合与翻译,仅作出处跳转。

← 返回 AI 资讯列表AI工具图鉴首页

返回 AI图鉴首页 · 提交工具 · 商务合作 · 关于本站 · 611 款 AI 工具分类导航 · 每日 AI 热门项目与动态