Module boot_chain 

Verified Boot Chain

Formal verification of the measured boot process, including PCR extension monotonicity, measurement log completeness, hash chain integrity, and boot policy decision coverage.

Structs

BootChainVerifier

Boot chain verifier that checks invariants

MeasurementEntry

A single measurement log entry

MeasurementLog

Measurement log tracking all boot measurements

PcrState

State of PCR registers

Enums

BootStage

Boot stages that must be measured

BootStatus

Boot status state machine

BootVerifyError

Errors from boot chain verification

MeasuredComponent

What component was measured

PolicyDecision

Policy decision for a boot measurement