Skip to content

STPA-Sec: product-level hazards of warte as software - #61

Merged
avrabe merged 4 commits into
mainfrom
stpa/product-security
Oct 28, 2026
Merged

avrabe merged 4 commits into
mainfrom
stpa/product-security

Conversation

@avrabe

@avrabe avrabe commented Oct 28, 2026

Copy link
Copy Markdown
Contributor

What any deployment of warte has to defend, independent of where it runs:

  • Losses: agents steered into changes their maintainers didn't intend (SL-006/SL-008).

  • Hazards:

    • SH-010: content reaching agents' context is shaped by an attacker. It traces to the safety hazard H-006, which concerns the same control action.
    • SH-011: the fleet layout is readable without authentication, because of CORS *.
  • UCAs on warte:

    • attacker-shaped answers;
    • stale answers;
    • unauthenticated parsing of UDP and HTTP input;
    • cross-origin reads.

    Scenarios SS-003, SS-006 and SS-011 cover them.

  • Constraints: SC-SEC-004/005 name their enforcement points. SC-SEC-008..013 give the older hazards SH-001..006 their constraints for the first time. SC-SEC-008 records that agent identity isn't implemented yet (Remove the unmounted src/server/auth.rs placeholder; issue tokens so agents can register #60, Feature: agent registry (agents register themselves with warte) #12).

rivet validate PASS; sec-hazard V-closure 100% (8/8), up from 0/6.

🤖 Generated with Claude Code

avrabe and others added 3 commits October 28, 2026 10:04
What any deployment of warte has to defend, independent of where it
runs:
- SL-006/SL-008: agents steered into changes their maintainers did not
  intend.
- SH-010: content reaching agents' context is shaped by an attacker
  (traces to the safety hazard H-006, same control action); SH-011: the
  fleet layout is readable without authentication (CORS *).
- UCAs on warte (CTRL-001): attacker-shaped answers, stale answers,
  unauthenticated parsing of UDP/HTTP input, cross-origin reads; with
  scenarios SS-003, SS-006, SS-011.
- Constraints SC-SEC-004/005 name their enforcement points; SC-SEC-008..
  013 give the older hazards SH-001..006 their constraints (mirrors of
  CG-001..006; SC-SEC-008 records that agent identity is not implemented
  yet, #60/#12).

rivet: sec-hazard V-closure 100% (8/8), was 0/6 for
sec-hazard-has-constraint.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KEjmjacA37doyazDSdB8ez
@avrabe avrabe mentioned this pull request Oct 28, 2026
@avrabe
avrabe merged commit 10795d1 into main Oct 28, 2026
4 checks passed
@avrabe
avrabe deleted the stpa/product-security branch October 28, 2026 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant