Knowledge is Power

Sitewide Search

Search Bare Metal Cyber

Search exact control and technique identifiers, Cyber Wiki articles, framework records, playbooks, books, podcasts, Academy courses, individual lessons, and BMC Cyber Challenge activities.

System assurance conceptAdvanced

High-Assurance Systems

A high-assurance system is engineered to provide unusually strong confidence that critical security and safety properties hold in its intended environment.

What it means

That confidence may rely on rigorous requirements, formal methods, controlled development, strong isolation, verified components, independent assessment, and disciplined operations.

Why it matters

Systems with catastrophic, national-security, safety, or large-scale economic consequences need evidence proportionate to the harm that failure could cause.

Practical focus

  • Define the critical properties and unacceptable loss
  • Reduce complexity and trusted computing dependencies
  • Select assurance methods based on consequence and uncertainty
  • Preserve assurance through configuration and lifecycle control

Common mistakes

  • Calling a system high assurance because it uses encryption
  • Adding documentation without reducing uncertainty
  • Ignoring supply-chain and operational trust
  • Allowing unreviewed changes to invalidate the evidence base

Certification relevance

This subject appears in or supports the following certification bodies of knowledge:

ISC2 ISSEPISC2 ISSAPISC2 CISSP

Authoritative sources