arXiv AI
Sep 23

ActGov: Governing LLM Agent Actions via Policy-Constrained Validation

ActGov is a runtime enforcement framework that validates each action proposed by a large language model (LLM) agent before it interacts with external tools, ensuring that actions stay within task‑scoped authorization boundaries and comply with dynamically constructed policies. It builds policies from tool specifications, benign tasks, and failure traces, verifying updates via SMT‑based counterexample checking. In evaluations on AgentDojo and AgentDyn benchmarks, ActGov consistently reduces indirect prompt‑injection attack success while maintaining task utility, outperforming existing defenses.

By Kaiyuan Zhang, Yuke Peng, Ke Jiang, Yinqian Zhang
arXiv Machine Learning
6d ago

SecureGARD: Dynamic Ontology-Guided Governance for Secure Tool-Using LLM Agents

SecureGARD is a dynamic ontology‑guided governance framework designed to secure tool‑using large language model agents. It grounds heterogeneous tool calls in a shared semantic representation, using an executable ontology combined with episode‑level task state to make deterministic ready, waiting, and forbidden decisions. The system evolves its ontology offline from verified training executions, ensuring logical consistency and protecting entailments, and achieves a 0% attack success rate across multiple benchmarks while improving task utility under attack.

By Guoqin Xiong, Shengtao Wen, Xiang Chen, Xinyi Zeng, Zhaoxin Fan, Wei Ye, Xiaofeng Cao, Sheng-Jun Huang