Agentic systems exhibit emergent behavior arising from interactions among multiple agents operating over shared and evolving state. While individual actions may be authorized according to policy, their composition—under non-deterministic execution, partial failures, and concurrency—can lead to unsafe or inconsistent system states. This paper introduces a state-driven access control model that treats system state as a first-class security object and enforces workflow integrity as a core security objective. The proposed model extends traditional authorization semantics to an outcome-complete form, requiring that all possible execution outcomes, including both successful and failure-induced transitions, satisfy validity, safety, and consistency constraints. We formalize safety and liveness properties and show that all reachable states remain invariant-preserving across both successful and failure-induced execution paths, even under concurrent interactions. By integrating transition validation, failure-aware recovery, and commit-time consistency into the authorization process, the model prevents policy-compliant actions from inducing emergent unsafe behavior. This establishes control of emergent behavior under non-deterministic execution as a fundamental requirement for access control in agentic systems.
Building similarity graph...
Analyzing shared references across papers
Loading...
Anandadip Mandal
Building similarity graph...
Analyzing shared references across papers
Loading...
Anandadip Mandal (Tue,) studied this question.
www.synapsesocial.com/papers/69df2c2fe4eeef8a2a6b138f — DOI: https://doi.org/10.5281/zenodo.19560397