Agent 安全 · 论文

• 定位与核心问题：论文发布了 APort Vault 基准，旨在解决工具调用型智能体中越权支付风险仅依赖模型端拒答而缺乏工具边界确定性授权检查量化评估的问题。
• 评测方法与体系：基于银行 CTF 中 1,128 个会话的 4,371 次真实人类攻击，在 14 款模型、5 级策略配置和单/多轮轨道下，重放对比裸模型与接入 OAP 确定性策略引擎的双架构状态变更。
• 越权转账被有效阻断：在 Level 2 至 Level 4 中，裸模型在 76,842 次评估中产生 140 次非许可转账，而授权层在 69,297 次评估中为 0 次（按源会话聚类上限为 0.38%），在 68,970 组严格匹配三元组中为 105 对 0（Table 2、Section 4.5）。
• 正常支付未受抑制：授权层在 Levels 2 至 4 成功执行了 25,370 笔合规支付，评估的 25,640 次转账调用中仅拒绝了 187 次，两架构间的成对请求率差异仅为 +0.084 个百分点（Table 2、Table 4）。
• 失效高度集中且迁移性弱：140 次违规转账有 47.9%（67 次）源于单个会话，伪造凭证攻击主导了 Level 2 的 111 次多轮违规；多轮攻击无一攻破超过 5 款模型，模型端安全表现无法预测跨层级鲁棒性（Section 5.1、5.2、5.4）。
• 作者结论与启示：作者认为单靠选择最佳模型无法消除部署残留风险，而在工具边界实施确定性策略检查能够在维持智能体执行效用的同时为越权风险提供可验证的确定性保障。

本论文提出了面向 LLM 智能体滥用监视的统一形式化框架与包含约 6,200 条轨迹的评测基准。

• 研究定位：针对基于大语言模型、需要多步工具调用的长任务智能体系统，研究兼顾高隐蔽性与执行可控性的新型提示词注入攻击机制与评测基准。
• 核心解决问题：化解现有直接注入因意图过于显式易被安全审查拦截、而分布式间接注入因长序列累积误差导致执行脱轨的固有矛盾。
• 方法关键设计：提出 ECLIPSE 框架，在离线沙盒中利用影子智能体合成并双阶段验证工具链，渲染为自然的单轮隐蔽用户请求；在工具侧通过静态工作流编码（SWE）改写描述建立状态依赖，并利用动态轨迹校正（DTC）在执行偏离时注入残差修正信号。
• 关键定量成果：在自建的 120 项长任务基准 LASE-Bench 上，ECLIPSE 对 DeepSeek 的无防御 ASR 达 96.7%、在外部安全过滤下达 69.2%（高出最强基线 27.5 个百分点，Table 2）；在 Claude 4.8 Opus 带防御下达 62.4%（最强基线仅 0.8%，Table 2）；在最新闭源模型 GPT-5.6 Luna 和 Claude Sonnet 5 带防御下分别达 52.5% 与 60.0%（Table 3）。
• 迁移性与防御表现：在原生智能体系统 OpenClaw 与 Hermes 上，带防御 ASR 分别达到 61.7% 与 55.8%（Table 6、7）；而在面对输入审查、工具边界隔离与轨迹监控防御时，仍能维持 43.3%–85.8% 的 ASR（Figure 6）。
• 作者结论与启示：作者认为单点或局部的输入与工具过滤难以防范此类将恶意意图跨输入端、工具元数据与多步执行轨迹解耦的攻击，未来的智能体安全防御必须具备跨越多个信息源联合推理的能力。