Enforcing Attestable Workflows across Untrusted Networks
JANUSは、分割された信頼できるコンピューティング基盤（TCB）設計を用いて、信頼できないネットワークを介して信頼実行環境（TEE）を連邦化する高性能アーキテクチャであり、ハードウェア測定に鍵の放出を紐付け、カーネル内で強制実行を行うことで、最小限のレイテンシオーバーヘッドでネイティブスピードの暗号化ルーティングを実現する。
原論文は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
現代のデジタル世界において、最も価値のある仕事のいくつかはクラウド上で行われています。医療画像を分析する科学者、人工知能を訓練する研究者、そして気候パターンをシミュレーションするエンジニアは、多くの場合、異なる組織が所有する多くのコンピュータからデータを組み合わせる必要があります。この作業のプライバシーを維持するために、彼らはコンピュータのプロセッサ内に安全で鍵のかかった部屋を作る特殊なハードウェアに頼っています。信頼実行環境（TEE）として知られるこの技術は、たとえコンピュータのオペレーティングシステムが侵害されたとしても、この鍵のかかった部屋の中のデータが隠されたままであることを保証します。しかし、これらの鍵のかかった部屋がインターネットを介して互いに通信する必要があるとき、新たな問題が生じます。従来の通信セキュリティ手法は、ステップごとにデータの復号と再暗号化を強制するため、すべてを低速化させてしまうか、あるいは特定のセキュリティモデルに適合させるためにソフトウェア全体を書き直す必要がありました。課題は、科学者が大量の情報を移動させる際に必要なスピードを落とすことなく、データがこれらの安全な部屋間を移動している間も、データをロックしたままにすることです。
研究チームは、この特定の問題を解決するために「Janus」と呼ばれる新しいシステムを開発しました。このシステムは、安全なコンピュータがフルスピードで通信しながら、自身が正当な存在であり、かつルールに従っていることを証明できるように設計されています。研究者たちは、仮想マシン全体に対してこれらの鍵のかかった部屋を作成するIntelのTDXテクノロジー、特に最新世代のセキュアハードウェアで動作するようにこのシステムを構築しました。Janusの核心となるアイデアは、セキュリティの役割を二つに分割することです。一方のパートは、アイデンティティの証明と秘密鍵の交換という重い作業を担当し、もう一方のパートは、実際のデータ移動を担当します。データ処理をコンピュータのコアの深部へと移動させることで、ハードウェア自体の速度で動作させることが可能になり、セキュリティソフトウェアがオペレーティングシステムの上で動作する際に発生する、遅くて使いにくいステップを回避しています。
この仕組みがどの程度うまく機能するかをテストするために、研究者たちはクラウド上の32台の強力なコンピュータを使用して大規模な実験を設定しました。彼らは、コンピュータが機密データを共有する必要がある、まるで共有プロジェクトに取り組む科学者のチームのようなシミュレーション環境を作成しました。システムは、まずコンピュータ同士が特別なハンドシェイクを用いて互いのアイデンティティを証明することによって機能しました。このハンドシェイクには、ハードウェアによる現在の状態のユニークで偽造不可能なレポートの生成が含まれていました。もしレポートが期待されるルールと一致していれば、コンピュータは会話をロックするための秘密鍵を交換します。この初期設定が完了すると、データの流れが始まります。研究者たちは、このシステムが暗号化されたトラフィックをほとんど減速させることなく処理できることを見出しました。ネットワークを通過するデータパケットごとに、システムが加える遅延はわずか6マイクロ秒でした。これは驚異的に小さな時間であり、コンピュータが暗号化なしでデータを送信している時とほぼ同じ速度でデータを処理できることを意味します。
結果は、この新しいアプローチと従来のメソッドとの間に明確な差があることを示しました。ユーザー空間で動作するソフトウェアに依存する既存のシステムと比較した際、従来のシステムは大幅に低速でした。それらの伝統的な手法は、パケットごとに137から147マイクロ秒の遅延を加えており、これは新しいシステムよりも20倍以上遅い数値です。1ギガバイト以上のデータを移動させる必要がある複雑な機械学習タスクを用いた実世界のテストにおいて、新しいシステムがプロセス全体を遅らせたのはわずか6.1パーセントでした。対照的に、古い手法では同じタスクを62パーセントも遅延させました。この効率性は、科学的なワークフローのように数時間または数日間実行されるものにとって極めて重要です。なぜなら、わずかな遅延であっても、積み重なれば計算能力の著しい損失につながるからです。
このシステムは、開始時のスピードにおいても非常に高速であることを証明しました。100台のコンピュータからなるシミュレーションネットワークにおいて、グループ全体は1.5秒足らずで安全な接続を確立し、作業を開始することができました。このスピードは、各コンピュータが順番に待つのではなく、異なるマシン間でアイデンティティチェックを並列に実行することで達成されました。また、研究者たちはシステムがミスやネットワークの変化をどのように扱うかをテストしました。もしコンピュータが誤ったソフトウェアで接続しようとしたり、セキュリティルールが変更されたりした場合、システムはクラッシュしたりデータを漏洩したりすることなく、即座に接続をブロックしました。システムはレジリエント（回復力がある）に設計されており、つまり、あるコンピュータが故障したりネットワークに一時的な不具合が生じたりしても、システム内の他の部分は動作を継続でき、問題が解決次第、失敗した接続を迅速に再確立できる仕組みになっています。
この研究の最も重要な側面の一つは、このシステムが「行わない」ことです。研究者たちは、彼らのアプローチが科学者にソフトウェアプログラムの書き換えを要求しないことを明確に示しました。システムは透過的に動作します。つまり、コンピュータ上で実行されているアプリケーションは、自身が保護されていることを知る必要はありません。セキュリティはネットワーク層の下部で行われ、ユーザーからは見えない形で実行されます。これは、開発者に特定のセキュリティモデルに適合するようにコードの変更を強いる他のセキュリティフレームワークとは大きく異なります。アプリケーションを変更せずに済むため、このシステムは既存の科学的ツールを修正なしでセキュアな環境で使用することを可能にします。
また、本研究は現在のテクノロジーの限界についても強調しました。このシステムは、コンピュータが少数の他者と接続するネットワークでは非常によく機能しますが、すべてのコンピュータが同時に他のすべてのコンピュータに接続しようとすると、初期設定が大幅に遅くなることが研究者によって発見されました。これは、アイデンティティレポートを生成するためのハードウェアが、一度に処理できる数に制限を持っているためです。研究者が想定していた大規模な科学的パイプライン（データが混沌とした網目状ではなく、特定の経路に沿って流れるもの）においては、この制限は問題になりません。システムは、こうした長期にわたる構造化されたワークフローに最適化されており、セキュリティがボトルネックにならないよう設計されています。
結局のところ、この研究は、パフォーマンスを犠牲にすることなく、高速で安全なコンフィデンシャル・コンピューティングのためのネットワークを構築することが可能であることを実証しています。研究者たちは、セキュリティチェックとデータ移動の相互作用を注意深く設計することで、これまで困難だと考えられていたバランスを実現できることを示しました。このシステムは、組織が機密データを信頼できないネットワークを介して共有する際に、データの暗号化と参加者の検証を確実に行いつつ、現代のハイパフォーマンス・コンピューティングに必要な速度を維持できる道を開きます。これは、機関がデータのプライバシーや業務の効率性を損なうことなく、共にデリケートな問題に取り組めるような、より高度な共同研究への扉を開くものです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。