# BadgeApp Security Assurance Case

This document presents the security assurance case for the BadgeApp system,
arguing that it is adequately secure against moderate threats.

## Packages

<!-- verocase sacm/mermaid * -->
stale content
<!-- end verocase -->

## Context Details

Additional context and evidence packages supporting the argument.

<!-- verocase element Security -->
<!-- end verocase -->

This is the top-level claim for the entire assurance case.

<!-- verocase element Requirements -->
<!-- end verocase -->

The security requirements are documented and verified against the implementation.

<!-- verocase element Design -->
<!-- end verocase -->

The system design incorporates security from the ground up.

<!-- verocase element ReqSpec -->
<!-- end verocase -->

See the full requirements document for details.

<!-- verocase element TestCoverage -->
<!-- end verocase -->

All security tests pass with full coverage of requirements.

<!-- verocase element DesignDoc -->
<!-- end verocase -->

The architecture has been reviewed by the security team.

<!-- verocase element ThreatModel -->
<!-- end verocase -->

Threats are systematically identified and mitigated.

<!-- verocase element ReqScope -->
<!-- end verocase -->

Defines the scope of the requirements coverage.
