検証済みソフトウェア状態への車両鍵の暗号学的シーリング

PCR（プラットフォーム構成レジスタ）をブートステージごとの暗号学的ハッシュで拡張し、すべてのソフトウェアコンポーネントが未改変である場合にのみ復号鍵が解放されることを保証します。

PCR 拡張のメカニズム

PCR = Hash(PCR || 新ステージハッシュ) の実行により、悪意あるソフトウェアが後で実行権を得たとしても、それ以前の改ざんされていない状態を偽装することはできません。