車載エッジにおける TPM 2.0 リモート構成証明:イグニッション許可前の起動整合性検証

無人ロボタクシーや大型電気トラックのような極めて重要な商用車において、車両ローカル内だけで完全性を検証するアプローチには重大な死角があります。高度な物理攻撃者は、外付けハードウェアを用いてディスプレイに偽の「正常」を表示させつつ、裏で改ざんされた危険なコードを動かすことが可能です。TPM 2.0 リモート構成証明は、高圧バッテリーのリレーを閉じる前に、車両の真のソフトウェア状態を独立したクラウド検証サーバーへ数学的に証明することを義務付けます。

暗号学的 Nonce を用いたチャレンジ・レスポンス構成証明プロトコル

昨日記録した正常時の署名付き Quote を使い回して現在の不正起動を偽装する「リプレイ攻撃」を防ぐため、クラウド検証サーバーは 256 ビットの暗号学的乱数(Nonce)を生成して車両へ送信します。車両はこの Nonce を TPM 2.0 の `TPM2_Quote()` コマンドへ入力。TPM は現在の PCR レジスタ群と Nonce を結合したダイジェストに、半導体固有の AIK で署名を発行します。クラウドは署名と Nonce の最新性を検証し、今まさにこの瞬間に車両が健全な状態で起動したことを完全に保証します。

ドメインポートフォリオを見る