Security Boundaries

Kind: invariant

Record: reasoning:invariant-security-boundaries

Canonical: Reasoning

Security boundaries hold

Listed in Reasoning records, after Numerical Validity and before Protocol Compliance.

Surfaces

• security-correctness

Linked from

• The test surfaces