Datalog

深度分析

PCAS：以依賴圖與 Datalog 宣告式政策實現確定性授權編譯器

面對以大型語言模型驅動的多代理系統在授權與資訊流追蹤上的脆弱性，PCAS提出以依賴圖建模因果關係，並用衍生自Datalog的宣告式規則執行授權檢查，透過執行前的參考監控器確保決策確定性。實驗顯示在客服任務上，大幅提升合規率並阻止違規行為，且具可審計性。