arXiv · AI· Anmol Pandey, Aditya Jain, Liang Chen, Carsten Maple·· 4 小时前AI 评分37
为什么LLM智能体中的逐动作授权无法组合：局部许可与全局拒绝
Local Allow, Global Deny: Why Per-Action Authorization Does Not Compose in LLM Agents
AI 导读
研究发现LLM智能体的逐动作授权无法组合成全局授权，局部许可的执行可能违反跨意图、目的等全局策略。作者提出组合式授权失败（CAF）概念，证明关系性目的违规是二阶安全超性质，无单轨迹归因点，现有六种护栏均未实现跨执行监控。 提出基于SAT/SMT综合器AL-SYNTH生成最小CAF见证，九种LLM评审在单轨迹视角下几乎全部误许合成见证，但在双执行共同展示时能识别违规。
来源：arXiv · AI · arxiv.org