arXiv cs.AI· Anmol Pandey, Aditya Jain, Liang Chen, Carsten Maple·· 1 天前AI 评分52
研究证明 LLM 智能体的逐动作授权无法组合出全局授权
Local Allow, Global Deny: Why Per-Action Authorization Does Not Compose in LLM Agents
AI 导读
一篇 arXiv 论文提出组合式授权失败（CAF）概念，并证明关系性目的违规构成 2-safety 超属性，逐动作监控器在不误报的前提下无法检测任何此类违规，且与底层模型无关。作者用 SAT/SMT 合成器 AL-SYNTH 生成最小反例，在九个 LLM 评审中逐动作视角几乎全部放行，但看到两次执行后会标记；所调查的六个 guardrails 均未实现跨执行监控。
来源：arXiv cs.AI · arxiv.org