Skip to content

fix: security spec updates — PolicyGrant signing, cumulative budget, hash binding, revocation#7

Merged
naory merged 1 commit intomainfrom
fix/security-spec-updates
Mar 14, 2026
Merged

fix: security spec updates — PolicyGrant signing, cumulative budget, hash binding, revocation#7
naory merged 1 commit intomainfrom
fix/security-spec-updates

Conversation

@naory
Copy link
Copy Markdown
Contributor

@naory naory commented Mar 14, 2026

Summary

  • PolicyGrant.md — Expanded signing section into full "Signing Requirements" with domain hash formula (SHA256("MPCP:PolicyGrant:1.0:" || canonicalJson(grant))), env vars table, opt-in enforcement rules, and key resolution reference
  • full-profile.md — Added "Full Profile Security Requirements": PolicyGrant signing required, policyHash must be SHA-256 (64 hex chars), SPA nonce SHOULD be present
  • lite-profile.md — Added hashBindingChecked: false note in VerificationReport; added Security Considerations (backend substitution risk, memo/metadata gap)
  • mpcp.md — Added "Cumulative Budget Overspend" to threat model (stateless verifier + session authority + cumulativeSpentMinor interface); added "Known Limitations" section (revocation gap, short-lived grant mitigation, future revocationEndpoint extension)
  • SignedBudgetAuthorization.md — Added "Cumulative Enforcement" section with the cumulativeSpentMinor contract, session authority responsibility, and offline trust assumption
  • actors.md — Added vehicleId self-reported note with device key binding recommendation for production

Test plan

🤖 Generated with Claude Code

…hash binding, revocation

- PolicyGrant.md: expand Signing section into full Signing Requirements with domain hash formula,
  env vars table, enforcement rules (opt-in when public key configured), and key resolution ref
- full-profile.md: add Full Profile Security Requirements section covering PolicyGrant signing
  requirement, policyHash SHA-256 enforcement, and SPA nonce guidance
- lite-profile.md: add hashBindingChecked note (appears as false in VerificationReport) and
  Security Considerations section (backend substitution risk, memo/metadata gap)
- mpcp.md: add Cumulative Budget Overspend to threat model (stateless verifier + session authority
  responsibility + cumulativeSpentMinor interface); add Known Limitations section (revocation gap,
  short-lived grants mitigation, future revocationEndpoint extension)
- SignedBudgetAuthorization.md: add Cumulative Enforcement section with interface, responsibility
  model, and offline trust assumption
- actors.md: add vehicleId self-reported note with device key binding recommendation

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@naory naory merged commit e663def into main Mar 14, 2026
@naory naory deleted the fix/security-spec-updates branch March 14, 2026 09:33
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