Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution
面向長時執行 AI 智能體的授權撤銷:委派與非同步執行下的根作用域靜止性
停止程序並不等於撤銷其授權。根作用域靜止性會核驗每一條可能比長時執行智能體存續更久的已登記路徑。
研究概覽
長時執行智能體會把授權留在發起程序之外:憑證、委派任務、佇列、回呼、預留與服務商側操作,都可能在取消任務或撤銷憑證後繼續存在。同時,一些共享工作可能仍擁有獨立於已撤銷根授權的有效支撐。
該協定首先線性化一次根切斷,對舊根授權的繼續擴張設置圍欄,並為每條已登記路徑收集服務商前沿證據。舊根效果會被終止;只有能夠證明擁有目前且獨立充分授權的工作,才可以精確重新綁定並繼續。
核心貢獻
- 01
根作用域靜止性
將撤銷定義為覆蓋全部切斷相關接受事件的 manifest 綁定憑證,而不是簡單取消程序,也不把它誤述為全域閒置。
- 02
感知委派的授權表示
使用最小充分根集合的反鏈表示替代性與合取性授權,使共享工作能夠在不混淆授權來源的前提下被終止或保留。
- 03
可組合證據
將服務商前沿憑證組合為覆蓋舊根路徑的割集,並透過精確通道令牌核算對非同步轉移進行對帳;證據缺失或衝突時保持不確定狀態。
- 04
可執行撤銷檢查
透過已登記軌跡和獨立實作的檢查器,覆蓋延遲效果、切斷、圍欄、重新啟動、陳舊程序、重播行為與語義迴歸。
授權撤銷如何補全執行階段授權生命週期
執行階段授權管理新取得資源何時可以成為可用授權。根作用域靜止性處理相反的轉移:授權已經透過委派與非同步執行擴散後,應當如何被可靠撤銷。
已撤銷的根授權無法在本地圍欄之後繼續擴張或觸達受保護接收端。精確重新綁定只會保留能夠證明擁有目前、獨立且充分授權的工作。
- 01長時執行授權根
- 02線性化切斷
- 03封堵舊根路徑
- 04靜止性憑證
證據與適用範圍
本文目前是 arXiv 預印本。其憑證只在綁定的 manifest 與設定範圍內證明相對於特定根授權的靜止性,並不證明全域閒置、狀態回復或業務完成。相關保證依賴完整登記舊根路徑、精確通道守恆、可靠的服務商前沿證據,以及論文聲明的圍欄與線性化條件。目前評估以無服務商依賴的軌跡實驗為主,並非生產部署研究。
英文摘要
Long-running AI agents outlive initiating processes through credentials, delegated tasks, queues, callbacks, reservations, and provider-side operations. Cancellation, process exit, and credential revocation neither close every pre-cut carrier nor distinguish independently authorized shared work. We define root-scoped authorization quiescence: for each manifested sink, a certificate accounts for every cut-relevant acceptance under the retired root-epoch atom that precedes its local fence and excludes protected acceptance under that atom after the fence, while permitting exact rebind to a current, independently sufficient support. The root-scoped quiescence protocol linearizes a root cut, fences old-root expansion and protected sinks, represents alternative and conjunctive authority as antichains of minimal sufficient root sets, and composes provider-frontier certificates into a cutset over registered old-root paths. Exact channel-token accounting reconciles transfers; missing or conflicting evidence remains indeterminate. Under stated assumptions, we prove post-cut issuer non-expansion, support-sound projection, compositional soundness under exact channel conservation, independent-support preservation, merge-order independence, and crash/replay stability. A provider-free late-effect test suite matches 17/17 registered outcomes. Two cancellation-only and one cut-only execution accept the same class of already scheduled late effect; two cut-plus-fence executions, one restart, and one stale-process execution reject it. A separately implemented checker verifies 17/17 traces and rejects 44/44 consistently rehashed semantic regressions. The certificate establishes root-relative authorization quiescence within its bound manifest and configuration, not global idleness, rollback, or business completion.
引用本文
請透過 DOI 記錄取得穩定的書目資訊和引用格式。
