arXiv:2609.08062cs.AIcs.CR2026-09

语言代理权限撤销时需保留残余授权状态,否则会误判。

ResidualAuth: What Authorization State Must Language Agents Preserve under Revocable Delegation?

  • 提出残余授权状态概念,解决权限撤销后的判断歧义
  • 实验显示256 token摘要可正确处理15/16个权限对
  • 适用于高安全要求的工具调用型语言代理系统

使用外部服务的语言代理在执行过程中可进行权限委托与撤销。我们发现,两个授权历史可能具有相同的当前权限和全对可达性,但在同一直接边撤销后却需要相反决策。为此,我们形式化了维持此类差异所需的残余授权状态。证明了在固定传递闭包下,指数级多的未来不同状态仍可共享同一闭包,并给出了精确或紧致的渐近界,说明在不同委托冗余度下精确监控所需的状态量。ResidualAuth将这些构造编译为成对的语言代理任务。在四个开源大模型上,固定256词元摘要解决了0-2/16对,虚假读取解决0/16,认证当前查询读取解决15-16/16。在独立在线记忆诊断中,精确账本序列化在768和1024词元容量下均成功处理全部128个四坐标对。在任一容量下,事实支持的模型生成记忆仅能解决每模型最多1/128对。一个硬门控将八次观察到的未授权行为减少至零,而未改变前序尝试。这些结果区分了必需的授权状态、可用决策信息、在线状态维护和效果调解。

原文摘要 · Abstract (English)

Tool-using language agents can delegate and revoke permissions while acting through external services. We show that two authorization histories can have identical current permissions and identical all-pairs reachability yet require opposite decisions after the same direct-edge revocation. We formalize the information needed to preserve such distinctions as a residual authorization state. We prove that exponentially many future-distinct states can share one fixed transitive closure, and give exact or tight asymptotic bounds on the state required by an exact monitor as delegation redundancy varies. ResidualAuth compiles these constructions into paired language-agent episodes. Across four open-weight models, a fixed 256-token summary solved 0-2/16 pairs, sham reads solved 0/16, and authenticated current-query reads solved 15-16/16. In a separate held-out online-memory diagnostic, exact ledger serializations fit all 128 four-coordinate pairs at both 768 and 1,024 tokens. At either cap, factually supported model-written memories sufficient for every prespecified continuation solved at most 1/128 pairs per model. A hard gate reduced eight observed unauthorized effects to zero without changing the preceding attempts. These results distinguish required authorization state, usable decision information, online state maintenance, and effect mediation.

语言代理权限管理安全机制

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。