系统梳理AI编程代理执行安全研究,揭示五大未解难题。
The Balkanization of Execution-Security Research for AI Coding Agents: Isolation, Access Control, and Time-of-Check-to-Time-of-Use Vulnerabilities
- 将39篇论文按17类归类,验证每项研究来源。
- 发现隔离架构缺乏统一评测,策略失效率高达98%。
- 指出跨领域漏洞共性,提出联合防御新方向。
AI编程代理在低人类监督下读取仓库、调用工具并执行命令,其执行层安全性日益受关注。现有研究分散于沙箱隔离、权限控制、策略执行、时间检查到时间使用(TOCTOU)竞争、模型上下文协议(MCP)威胁、身份委派、执行溯源、网络出口控制及代码静态分析等方向,独立发表且互引极少。本文系统化分析2023至2026年发表的39篇论文,划分为17个类别并逐项核对原始文献。验证过程确认4个已披露并修复的生产级代理相关CVE。跨类别分析揭示五个当前文献均未覆盖的共性缺口:(1) 隔离架构与能力模型缺乏共享基准对比;(2) 策略执行研究报告真实拒绝列表失败率达69%~98%,但无隔离研究在该对抗环境下重验自身防护;(3) TOCTOU与MCP威胁被分作不同研究,实为同一状态验证问题;(4) 所有机制假设策略作者诚实,未处理策略编写错误本身;(5) 在真实提示下,高达17.1%的良性但越界操作未被任何访问控制或能力论文涵盖。现有综述仅将沙箱作为众多防御之一,未聚焦执行安全。本文旨在填补此空白,提出针对五项缺口的研究议程。
原文摘要 · Abstract (English)
AI coding agents now read repositories, call tools, and execute shell commands with limited human oversight, and a fast-growing body of work studies whether the execution layer around them is actually safe. That literature is scattered. Papers on sandbox isolation, capability and access control, policy enforcement, time-of-check-to-time-of-use (TOCTOU) races, Model Context Protocol (MCP) threats, identity delegation, execution provenance, network egress control, and static analysis of agent-generated code are published independently and rarely cite one another. We systematize 39 papers published between 2023 and 2026 into 17 categories, each verified directly against its source. The same verification protocol also confirms four disclosed, patched CVEs directly affecting production agent harnesses. Reading across categories surfaces five cross-cutting gaps that no single paper addresses. (1) Isolation architectures and capability models are almost never evaluated against one another on a shared benchmark. (2) Policy-enforcement studies report failure rates from 69% to 98% of real denylists, yet no isolation paper re-evaluates its own defense under that adversarial setting. (3) TOCTOU and MCP threats are analyzed as separate literatures despite both being instances of the same state-validation problem. (4) Every enforcement mechanism assumes an honest policy author, leaving policy-authoring error itself unaddressed. (5) Benign but out-of-scope agent actions occurring at rates up to 17.1% under realistic prompting are addressed by no access-control or capability paper in the corpus. Existing broader surveys of agentic AI security discuss sandboxing only as one item among many defenses, leaving execution security without a dedicated systematization. This paper is written to fill that gap. We conclude with a research agenda directed at the five gaps.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。