TPM-Free Post-Quantum Attestation for Legacy Industrial Control Devices Using Commodity-Hardware Trusted Execution

あなたは、自分の秘密の日記を、すでに部屋の鍵を盗んでしまったずる賢いルームメイトから守ろうとしていると想像してください。コンピュータセキュリティの世界において、これは究極の悪夢です。オペレーティングシステム（部屋）が侵害されており、「ガードマン」（セキュリティソフトウェア）がその同じ部屋の中にいて、壁がまだ立っているかどうかを確認しようとしている状態です。通常、信頼できるチェックを行う唯一の方法は、家の中に、ルームメイトが触れることのできない特別な強化された金庫（専用のセキュリティチップ）を設置することです。しかし、ここで問題が発生します。何百万もの古い産業用機械――例えば、電力網や水処理施設を制御しているようなもの――は、数十年前に作られました。それらは頑丈で信頼性が高く、しっかりと密閉されていますが、こうした新しい豪華な金庫を設置するためのスペースがありません。

ここで、将来の「量子」コンピュータが解錠できてしまうかもしれない、新しい種類の鍵を想像してみてください。私たちは、これらの古い機械を、この新しい、解読不可能な鍵を使用するようにアップグレードする必要がありますが、新しいハードウェアをインストールするために中を開けることはできません。ここで、論文が登場します。この論文は、「リモート・アテステーション（遠隔検証）」と呼ばれる、コンピュータサイエンスのトリッキーな領域に取り組んでいます。これは、簡単に言えば、「自分のコンピュータが正しいソフトウェアを実行しており、ハッキングされていないことを、遠くにいる誰かにどのように証明するか？」という問題です。論文は、大胆な問いを投げかけます。「ハックされたコンピュータに、自分自身でチェックを行わせることなく、その健康状態をチェックできるだろうか？」その答えは、「ハイバネーション（休止状態）」という機能を使った巧妙なトリックの中にあります。ハイバネーションは通常、コンピュータの電源を切って作業を再開できるように、作業内容を保存するためだけのものですが、ここではそれが鍵となります。

「眠れる美女」のセキュリティ・チェック

この論文は、古い産業用コンピュータが、たとえすでにハッキングされていたとしても、安全であることを確認するための、ハードウェアに頼らない巧妙な方法を提示しています。著者であるTejasva Jadhavは、コンピュータの「ハイバネーション」モードを、超強力なセキュリティ・チェックポイントに変える手法を提案しています。

その魔法がどのように機能するかを、簡単な比喩で説明します。コンピュータを、忙しく混沌としたキッチンだと想像してください。「OS（オペレーティングシステム）」は総料理長です。もしハッカーが侵入した場合、彼らは変装したシェフとなり、盗んだ食材（マルウェア）をパントリーの中に隠し、スタッフ（セキュリティ・ガード）に対して「すべて順調だ」と嘘をつくかもしれません。通常、スタッフは偽のシェフの命令に従っているため、彼らを信頼することはできません。

論文の解決策は、キッチンに**ハイバネーション（休止）**するように命じることです。コンピュータの用語で、ハイバネーションとは、マシンがメモリ全体の完璧に凍結されたスナップショット（キッチン全体の状態）をハードドライブに保存し、その後、自身をシャットダウンすることです。

トリックの内容:

1. 凍結: コンピュータがハイバネーションに入ると、「偽のシェフ」（ハッカー）と彼らのあらゆるトリックは動きを止めます。彼らはハードドライブ上の静止した、凍結された画像になります。彼らは動くことも、嘘をつくことも、何かを変更することもできません。なぜなら、彼らはもう「生きて」いないからです。
2. クリーンルーム: マシンがオフになると、コンピュータのファームウェア（UEFI、つまりコンピュータのBIOSや基本脳のようなもの）に住む、非常に小さな、超セキュアなプログラムが目覚めます。このプログラムは「クリーンルーム」の検査官のようなものです。それはキッチンの中で動くのではなく、キッチンの「外」で、ハードドライブ上の凍結された画像を見つめています。
3. チェック: 検査官は凍結された画像を読み取ります。ハッカーは今や単なる凍結された画像に過ぎないため、盗んだ食材を隠すことはできません。検査官は凍結されたキッチンの「指紋」（ハッシュ）を取り、それを新しい、非常に強力な「ポスト量子（耐量子）」署名（将来の量子コンピュータでも破れないデジタル印）で署名します。
4. 目覚め: 検査官はこの署名されたレポートをリモート・ベリファイア（上司）に送り、その後、コンピュータは目覚め、以前と全く同じ状態でキッチンを復元します。シェフもスタッフも、自分がチェックされたことさえ気づかず、ただ料理を続けます。

なぜこれが重要なのか

この論文は、この手法が「レガシー（旧式）」な産業用デバイスにおける巨大な問題を解決すると主張しています。これらのデバイスは、発電所や水道システムなどの重要なインフラを動かしています。これらは、専用のセキュリティチップ（TPMなど）を備えるには古すぎ、かつ、長時間停止させるには重要すぎるデバイスです。

• 新しいハードウェアが不要: 著者は、新しいチップを購入したり、マシンのケースを開けたりする必要はないことを示しています。これは、特別なセキュリティ機能を持たない標準的な市販のコンピュータ（コモディティ・ハードウェア）上で動作します。
• 「その後」ではなく「今」をチェックする: ほとんどのセキュリティ・チェックは、コンピュータが最初に起動した時の状態（ブート時）のみを確認します。しかし、ハッカーはコンピュータが動作し始めてから攻撃を開始することがよくあります。この手法は、コンピュータが動作している「間」（まず凍結させることで）にチェックを行うため、現在活動中のハッカーを捕まえることができます。
• 量子耐性: 使用されているデジタル署名は、将来存在する可能性のある強力な量子コンピュータに対しても安全なように設計された新しい標準である「CRYSTALS-Dilithium」に基づいています。

論文が実際に発見したこと（および発見できなかったこと）

著者らは、このアイデアをテストするために、標準的なノートパソコンを用いて動作するプロトタイプを構築しました。そこで以下のことが判明しました。

• 動作する: 彼らは、コンピュータがハイバネーションに入り、ファームウェアが凍結されたメモリをチェックし、レポートに量子耐性アルゴリズムで署名し、その後コンピュータを復帰させるというサイクルを成功裏に作成しました。
• スピード: セキュリティ・チェック自体（署名とハッシュ化）は非常に高速で、1秒未満でした。しかし、プロセス全体には約14秒から27秒かかりました。これは、コンピュータが大きなメモリ・イメージ（彼らのテストでは24GB）をハードドライブに書き込み、読み出す必要があるためです。これがこの手法の「コスト」です。チェックを行うために、マシンを短時間停止させる必要があります。
• 限界: 論文は、自分たちが「できないこと」についても非常に正直に述べています。
  • コンピュータのファームウェア（OSが始まる前の「脳」）にすでに感染しているハッカーに対しては、保護できません。もし脳が汚染されていれば、検査官は嘘をついていることになります。
  • 常に変化するデータ（実行中のカウンターなど）のみを操作するハッカーを捕まえることはできません。なぜなら、チェックは「凍結」された、変わるはずのない部分のみを見るからです。
  • あらゆるデバイスのための魔法の杖ではありません。この手法には、デバイスがハイバネーションをサポートしており、かつ、停止によって災害（心拍モニターや原子炉の停止など）を引き起こすことなく、数秒間一時停止できる能力が必要です。

結論

この論文は、困難な問題に対する素晴らしい回避策を提案しています。古い機械の中に新しく高価なセキュリティの要塞を築こうとする代わりに、機械自身の「睡眠」モードを利用して、悪党をその場に凍結させ、検査できるようにするのです。これは、ハードウェアを交換することなく、古い重要な産業用デバイスに量子安全なセキュリティ・アップグレードを提供できることを証明しています。ただし、それには、メモリの「自撮り（セルフィー）」を撮るために、一瞬だけ停止することを許容できることが条件となります。これは、コンピュータが今日よりもはるかに強力になる未来において、私たちの電力網や水道システムを安全に保つための、巧妙で低コストな方法なのです。