[論文レビュー] A Survey of Secure Computation Using Trusted Execution Environments

Xiaoguo Li, Bowen Zhao+4 more|arXiv (Cornell University)|Feb 23, 2023

Cryptography and Data Security被引用数 7

ひとこと要約

本調査では、信頼実行環境（TEE）に基づくセキュアコンピューティングプロトコルの包括的な分類と体系的評価を提示し、セキュアアウトソーシング、分散型、マルチパーティ計算の3つに分類する。設定、手法、セキュリティ、パフォーマンスの4つの次元にわたる標準化された評価基準を導入し、プライバシー保護機械学習や暗号化データベースなど、一般および特殊用途の最先端プロトコルの比較分析を提供することで、プロトコル選定の実用的ガイドラインを提示するとともに、主な研究課題を特定する。

ABSTRACT

As an essential technology underpinning trusted computing, the trusted execution environment (TEE) allows one to launch computation tasks on both on- and off-premises data while assuring confidentiality and integrity. This article provides a systematic review and comparison of TEE-based secure computation protocols. We first propose a taxonomy that classifies secure computation protocols into three major categories, namely secure outsourced computation, secure distributed computation and secure multi-party computation. To enable a fair comparison of these protocols, we also present comprehensive assessment criteria with respect to four aspects: setting, methodology, security and performance. Based on these criteria, we review, discuss and compare the state-of-the-art TEE-based secure computation protocols for both general-purpose computation functions and special-purpose ones, such as privacy-preserving machine learning and encrypted database queries. To the best of our knowledge, this article is the first survey to review TEE-based secure computation protocols and the comprehensive comparison can serve as a guideline for selecting suitable protocols for deployment in practice. Finally, we also discuss several future research directions and challenges.

研究の動機と目的

• TEEベースのセキュアコンピューティングプロトコルの導入における体系的比較とガイドラインの欠如に対処すること。
• 既存のTEEベースのセキュアコンピューティングプロトコルを、セキュアアウトソーシング、分散型、マルチパーティ計算の3つの主要なカテゴリに分類すること。
• 公平なプロトコル比較を可能にするために、設定、手法、セキュリティ、パフォーマンスの4次元にわたる標準化された評価基準を確立すること。
• 一般用途計算およびプライバシー保護機械学習や暗号化データベースクエリなどの特殊用途アプリケーションに対する最先端のTEEベースプロトコルの分析と比較すること。
• TEEベースのセキュアコンピューティングにおける未解決の課題と今後の研究方向性を特定すること。具体的には、スケーラビリティ、リアルタイム処理、モバイル互換性、信頼管理の分野を含む。

提案手法

• セキュアアウトソーシング計算、セキュア分散計算、セキュアマルチパーティ計算の3カテゴリに分類する分類法を提案する。
• 計算設定、プロトコル手法、セキュリティモデル、パフォーマンス指標（例：実行時間、通信コスト）の4基準を含む包括的な評価フレームワークを定義する。
• 学術論文から抽出した40件以上の代表的なTEEベースのセキュアコンピューティングプロトコルを調査・分析し、一般用途および特殊用途の関数に焦点を当てる。
• 標準化されたメトリクスを用いてプロトコルを評価し、プレーンテキスト実行や完全にインケージ内での実行といったベースラインと比較する。
• 利用可能な場合、形式的なセキュリティ分析を実施し、サイドチャネル攻撃およびリプレイ攻撃に対する耐性を評価する。
• 既存研究における不足を特定し、特に信頼できないコードやモバイルデプロイメントに対する保護の分野で課題を指摘し、今後の研究方向性を提案する。

(a) Outsourced Framework

実験結果

リサーチクエスチョン

• RQ1 TEEベースのセキュアコンピューティングプロトコルは、どのように異なるアプリケーション設定において体系的に分類・比較できるか？
• RQ2 TEEベースのセキュアコンピューティングにおいて、セキュリティの保証、パフォーマンス効率、デプロイの可能性の間で、どのような主要なトレードオフが生じるか？
• RQ3 既存のTEEベースのプロトコルは、大規模データ処理、リアルタイム計算、モバイルデプロイメントをどの程度サポートしているか？
• RQ4 TEEを悪意あるまたは信頼できないコードから保護する点で、現在の制限は何か。信頼仮定を最小限に抑えるにはどうすればよいか？
• RQ5 実用性とパフォーマンスの観点から、TEEベースのプロトコルは、同型暗号や秘密分散といった従来の暗号技術ソリューションと比べてどの程度優れているか？

主な発見

• 本調査では、文献において、セキュリティ、パフォーマンス、デプロイ設定の3つの側面にわたるTEEベースのセキュアコンピューティングプロトコルの包括的かつ体系的な比較がなされていないという重要なギャップを特定した。
• 大多数のTEEベースのプロトコルは悪意ある攻撃者に対して耐性を持つように設計されているが、サイドチャネル攻撃やリプレイ攻撃に対する保護はまだ十分に発展しておらず、これらの脅威に対処している研究は少数にとどまっている。
• パフォーマンス評価の結果、TEEベースのプロトコルは、完全同型暗号や秘密分散フレームワークに比べて実行時間で優れていることが示されたが、分散環境では通信オーバーヘッドが依然としてボトルネックとなっている。
• プライバシー保護機械学習の分野では、小規模から中規模のデータセットでは推論および学習に十分な時間で処理が可能であるが、大規模データへのスケーラビリティは依然として大きな課題である。
• 既存のプロトコルは、通常、プレーンテキストまたはインケージ内ベースラインと比較するが、プロトコル間の公平な比較を可能にする標準化されたベンチマークが不足しており、再現性や公平な評価が制限されている。
• 今後の研究は、段階的計算、モバイルフレンドリーなデプロイメント、TEEハードウェアへの信頼を低減する方向に注力すべきであり、これにより産業分野への広範な採用が可能になる。

(b) Distributed Framework