FedRAMP Moderate agent permission and delegated access architecture for enterprise LLM — Reference Architecture

Reference architecture · published 2026-10-16 · regulated enterprise · FedRAMP Moderate · layout spec_first · implementation executed in CI before publish

Technical parameters

Every value below is a parameter you can hold a vendor or an internal team to. Adjectives are not acceptance criteria.

The control that resolves this is an Intersecting Delegated Authority, evaluated before the request reaches a model provider rather than audited afterwards. In regulated enterprise the binding constraint is FedRAMP Moderate, and the question it actually asks is which NIST 800-53 control does each component satisfy. The shape below holds p95 ≤ 600ms over REST over HTTPS, and ships with a standard-library implementation that runs as written.

The control gap

The agent is given a service account so it can complete its work, and it now acts with more authority than any human who invokes it. An intern's request and an administrator's request reach the same powerful identity.

What FedRAMP Moderate specifically requires

FedRAMP is control-by-control. Every component must map to a specific NIST 800-53 Rev 5 control identifier with an implementation statement, and anything crossing the authorisation boundary needs its own justification in the SSP.

The artifact that satisfies it is a control implementation summary mapped to control identifiers. The way teams most often fail it: a component outside the authorisation boundary that nobody documented, found during assessment.

Implementation artifact — Delegated authority as an intersection, with expiry

Standard-library Python, no external dependencies, runs as written. Executed by the publish gate: if it raises, this page does not ship. Wire it behind REST over HTTPS; the failure mode it guards against is a retried POST creating a duplicate record. The output you hand the assessor is the SSP control implementation summary.

"""Delegated authority: an agent never exceeds the user it acts for.

The failure: an agent is given a service account so it can "do its job", and it
then acts with more authority than any user who invokes it. Correct delegation
is an intersection — the agent may do only what BOTH its own grant and the
invoking user permit — and it must be time-boxed, because a standing delegation
is a standing privilege.
"""
from dataclasses import dataclass


@dataclass(frozen=True)
class Grant:
    subject: str
    permissions: frozenset
    expires_at: int

    def valid(self, now: int) -> bool:
        return now < self.expires_at


class DelegationError(PermissionError):
    pass


class DelegatedAuthority:
    """Effective permissions = user ∩ agent grant, never a union, and never
    the agent's own service identity."""

    def __init__(self):
        self.users: dict[str, frozenset] = {}
        self.grants: dict[str, Grant] = {}
        self.audit: list[dict] = []

    def define_user(self, user: str, permissions: set) -> None:
        self.users[user] = frozenset(permissions)

    def delegate(self, agent: str, permissions: set, expires_at: int) -> Grant:
        g = Grant(agent, frozenset(permissions), expires_at)
        self.grants[agent] = g
        return g

    def effective(self, agent: str, user: str, now: int) -> frozenset:
        g = self.grants.get(agent)
        if g is None:
            raise DelegationError(f"no grant for agent {agent!r}")
        if not g.valid(now):
            raise DelegationError(f"grant for {agent!r} expired")
        if user not in self.users:
            raise DelegationError(f"unknown principal {user!r}")
        return g.permissions & self.users[user]

    def authorise(self, agent: str, user: str, action: str, now: int) -> bool:
        try:
            allowed = self.effective(agent, user, now)
        except DelegationError as exc:
            self.audit.append({"agent": agent, "user": user, "action": action,
                               "allowed": False, "reason": str(exc)})
            return False
        ok = action in allowed
        self.audit.append({"agent": agent, "user": user, "action": action,
                           "allowed": ok,
                           "reason": "" if ok else "outside the intersection"})
        return ok

    def chain(self, agent_a: str, agent_b: str, user: str, now: int) -> frozenset:
        """A delegating to B cannot widen authority — chaining intersects
        again, which is what stops escalation through a hop."""
        return self.effective(agent_a, user, now) & self.grants[agent_b].permissions


if __name__ == "__main__":
    da = DelegatedAuthority()
    da.define_user("analyst", {"read_reports", "read_pii"})
    da.define_user("intern", {"read_reports"})
    da.delegate("summariser", {"read_reports", "read_pii", "delete_records"},
                expires_at=100)

    assert da.authorise("summariser", "analyst", "read_pii", now=1) is True
    # The intern cannot read PII, so neither can an agent acting for them.
    assert da.authorise("summariser", "intern", "read_pii", now=1) is False
    # Nobody granted delete to a user, so the agent's own grant cannot supply it.
    assert da.authorise("summariser", "analyst", "delete_records", now=1) is False

    eff = da.effective("summariser", "intern", now=1)
    assert eff == frozenset({"read_reports"}), eff

    # Expiry is enforced, not advisory.
    assert da.authorise("summariser", "analyst", "read_reports", now=101) is False
    assert "expired" in da.audit[-1]["reason"]

    # Chaining must not widen authority.
    da.delegate("exporter", {"read_reports", "export"}, expires_at=100)
    chained = da.chain("summariser", "exporter", "analyst", now=1)
    assert chained == frozenset({"read_reports"}), chained
    assert "export" not in chained, "chaining widened authority"

    assert da.authorise("unknown_agent", "analyst", "read_reports", now=1) is False

    print("Delegated authority intersection: OK")
    print(f"  audit entries {len(da.audit)}, "
          f"denials {sum(1 for a in da.audit if not a['allowed'])}")

The FedRAMP Moderate control, as code

NIST 800-53 control map with a boundary-crossing check. This is the artifact an assessor asks for under FedRAMP Moderate specifically — it is not the same control as the one above, and a system that implements one does not thereby implement the other. It executes under the same publish gate.

"""NIST 800-53 control satisfaction map with an authorisation-boundary check.

FedRAMP reviewers do not ask whether the system is secure. They ask which
control, by identifier, each component satisfies, and what crosses the
authorisation boundary. An external model endpoint is a boundary crossing, and
an undeclared crossing is the finding that stalls an ATO.
"""

MODERATE_BASELINE = {
    "AC-4": "Information flow enforcement",
    "AU-2": "Event logging",
    "AU-9": "Protection of audit information",
    "CA-3": "Information exchange / external connections",
    "SC-7": "Boundary protection",
    "SC-8": "Transmission confidentiality and integrity",
    "SC-28": "Protection of information at rest",
    "SI-4": "System monitoring",
}


class AuthorisationBoundary:
    def __init__(self, name: str):
        self.name = name
        self.components: dict[str, dict] = {}
        self.crossings: list[dict] = []

    def declare(self, component: str, inside: bool, controls: list[str]) -> None:
        unknown = [c for c in controls if c not in MODERATE_BASELINE]
        if unknown:
            raise KeyError(f"not in the Moderate baseline: {unknown}")
        self.components[component] = {"inside": inside, "controls": set(controls)}

    def connect(self, src: str, dst: str, declared: bool) -> None:
        for end in (src, dst):
            if end not in self.components:
                raise KeyError(f"undeclared component: {end}")
        crossing = self.components[src]["inside"] != self.components[dst]["inside"]
        self.crossings.append({"src": src, "dst": dst,
                               "boundary_crossing": crossing, "declared": declared})

    def undeclared_crossings(self) -> list[dict]:
        return [c for c in self.crossings if c["boundary_crossing"] and not c["declared"]]

    def coverage(self) -> dict:
        covered = set()
        for meta in self.components.values():
            covered |= meta["controls"]
        gaps = sorted(set(MODERATE_BASELINE) - covered)
        return {"covered": sorted(covered), "gaps": gaps,
                "ato_ready": not gaps and not self.undeclared_crossings()}


if __name__ == "__main__":
    b = AuthorisationBoundary("agency-llm-enclave")
    b.declare("gateway", True, ["AC-4", "SC-7", "SC-8"])
    b.declare("audit_store", True, ["AU-2", "AU-9", "SC-28"])
    b.declare("monitor", True, ["SI-4"])
    b.declare("external_model_api", False, ["CA-3"])

    b.connect("gateway", "audit_store", declared=True)
    b.connect("gateway", "external_model_api", declared=True)
    cov = b.coverage()
    assert cov["ato_ready"], cov
    assert cov["gaps"] == [], cov

    # The finding this exists to catch: a crossing nobody declared.
    b2 = AuthorisationBoundary("agency-llm-enclave")
    b2.declare("gateway", True, list(MODERATE_BASELINE))
    b2.declare("telemetry_sidecar", False, ["CA-3"])
    b2.connect("gateway", "telemetry_sidecar", declared=False)
    assert not b2.coverage()["ato_ready"], b2.coverage()
    assert len(b2.undeclared_crossings()) == 1, b2.undeclared_crossings()

    try:
        b2.declare("rogue", True, ["XX-1"])
        raise AssertionError("accepted a control outside the baseline")
    except KeyError:
        pass

    print("FedRAMP Moderate boundary + control map: OK")
    print(f"  controls covered {len(cov['covered'])}/{len(MODERATE_BASELINE)}, "
          f"undeclared crossings {len(b2.undeclared_crossings())}")

System architecture

Intersecting Delegated Authority — the request path, with the decision points that must exist before the first model call:

flowchart LR
    USER[Invoking user<br/>entitlements] --> INT{Intersect}
    GRANT[Agent grant<br/>time-boxed] --> INT
    INT --> EFF[Effective permissions]
    EFF --> ACT{Action in effective set?}
    ACT -->|no| DENY[Deny + audit reason]
    ACT -->|yes| DO[Execute as the user, not the agent]
    EFF --> HOP[Delegate to agent B] --> INT2{Intersect again} --> EFF2[Narrower still]

Modular implementation framework

1. Principal entitlements — What the human may do, from the system of record.
2. Agent grant — What the agent may ever do, scoped per task.
3. Intersection at call time — Effective = user ∩ grant, computed per request.
4. Time-boxed grants — Expiry enforced, so delegation is not standing authority.
5. Chain intersection — Agent-to-agent delegation intersects again; a hop cannot widen.
6. Denial audit — Every denial recorded with the reason — the escalation signal.

Risk mitigation matrix

Each row carries an acceptance parameter rather than an adjective, because "low latency" cannot be signed off. Retention here is bound by per the data class retention schedule, enforced automatically.

Review questions and answers

• Which NIST 800-53 control does each component satisfy, and which components sit outside the authorisation boundary?
  Each component carries its control identifiers in configuration, and the boundary diagram is generated from that configuration so it cannot drift from reality.
• If an intern invokes the agent, can it read data only an analyst may see?
  No. Effective permissions are the intersection of the agent's grant and the intern's entitlements, so anything the intern lacks is unavailable regardless of the agent's own grant.
• What authority does the agent have when nobody has invoked it?
  None that matters. The grant is time-boxed and only becomes effective when intersected with an invoking principal, so there is no standing authority to borrow.
• Can agent A delegate to agent B and end up with more permissions than A had?
  No. Chaining intersects again, so each hop can only narrow the set. Widening through a hop is the escalation path this design exists to close.
• How quickly does a revoked entitlement take effect for an in-flight agent?
  Within the entitlement cache TTL, which is bounded by the revocation SLO. The stale-grant window is documented rather than assumed to be zero.
• What is recorded when an agent attempts something outside its effective set?
  The agent, the invoking user, the attempted action and the reason for denial. Repeated denials are the signal that something is probing for authority it does not have.

See also

• Part of enterprise ai compliance architecture.
• The same control appears in fedRAMP Moderate reference architecture for enterprise LLM deployment.
• For the related constraint, see fedRAMP Moderate prompt injection defence architecture for enterprise LLM.
• fedRAMP Moderate retrieval architecture with citation integrity covers the adjacent case.
• A different failure mode of the same component: fedRAMP Moderate legacy integration patterns for enterprise AI agents.
• If this is the blocker in front of you: enterprise AI infrastructure review.