[論文レビュー] Secure Cloud Computing through Homomorphic Encryption

Maha Tebaa, Saïd El Hajji|arXiv (Cornell University)|Sep 2, 2014

Cryptography and Data Security参考文献 12被引用数 75

ひとこと要約

本論文は、完全準同型暗号（FHE）を用いた安全なクラウドコンピューティングフレームワークを提案し、暗号化されたデータに対して復号せずに計算を可能にすることで、マルチテナントのクラウド環境におけるプライバシーを確保する。このアプローチにより、信頼できないクラウドプロバイダーに機密計算をアウトソーシング可能でありながら、データ機密性を維持できる。同種の演算を暗号文そのものに対して直接実行するという、コアメカニズムが中心となる。

ABSTRACT

Go to the cloud, has always been the dream of man. Cloud Computing offers a number of benefits and services to its customers who pay the use of hardware and software resources (servers hosted in data centers, applications, software...) on demand which they can access via internet without the need of expensive computers or a large storage system capacity and without paying any equipment maintenance fees. But these cloud providers must provide guarantees on the protection of privacy and sensitive data stored in their data centers shared between multiple clients using the concept of virtualization.

研究の動機と目的

• 信頼できないインフラ上でデータが保存および処理される共有クラウドコンピューティング環境における、データプライバシーの重要な課題に取り組む。
• クラウドコンピューティングにおいて、処理のためにデータを復号する必要がある従来の暗号化手法の限界を克服する。
• クラウドプロバイダーですら機密情報を漏洩させない状態で、計算のアウトソーシングを安全に可能にする。
• 実世界のクラウドシナリオにおいて、暗号化されたデータ上で意味のある計算を実行できる同型暗号の実用的妥当性を示す。
• データ処理中の機密性を保護するため、同型暗号をクラウドコンピューティングアーキテクチャに統合する実用的なフレームワークを提供する。

提案手法

• 完全準同型暗号（FHE）を活用し、復号せずに暗号化されたデータ上で任意の計算を可能にする。
• 加法や乗法といった演算を暗号文そのものに対して直接実行する、同型評価の概念を適用する。
• 理想格子と学習誤差（LWE）問題の数学的性質を活用し、安全かつ効率的なFHE方式を構築する。
• 暗号化データの提出、リモートでの計算、安全な結果取得をサポートするクラウドアーキテクチャを設計する。
• クラウドプロバイダーが計算のいかなる段階においても平文データにアクセスできないように保証し、エンドツーエンドの機密性を維持する。
• クライアントがデータをアップロードする前に暗号化し、計算後に結果を復号するクライアント・サーバーモデルにFHE方式を統合する。

実験結果

リサーチクエスチョン

• RQ1 同型暗号は、クラウド環境における暗号化されたデータ上で安全な計算を実現するために効果的に適用可能だろうか？
• RQ2 信頼できないクラウドプロバイダーに処理をアウトソーシングする際、どのようにしてデータプライバシーを維持できるだろうか？
• RQ3 実用的なクラウドコンピューティングワークロードにおいて、完全準同型暗号を使用する際のパフォーマンスとスケーラビリティのトレードオフは何か？
• RQ4 同型暗号は、実世界のクラウドアプリケーションで求められる汎用計算をどの程度サポートできるだろうか？
• RQ5 ユーザビリティを損なわせることなく、同型暗号を統合できる安全で効率的なクラウドアーキテクチャをどのように設計できるだろうか？

主な発見

• 提案されたフレームワークは、完全準同型暗号を用いて暗号化されたデータ上で計算を実行できることを成功裏に実証し、クラウドプロバイダーが平文データにアクセスすることはない。
• 加法や乗法といった同型演算が暗号文そのものに対して直接実行され、計算プロセス中もデータ機密性が維持される。
• 理想格子と学習誤差（LWE）問題の使用により、既知の暗号解析攻撃に対して強固なセキュリティ基盤が提供される。
• マルチテナント環境ですら、エンドツーエンドのプライバシー保証を伴う安全なクラウドコンピューティングの実現可能性が、アーキテクチャによって示された。
• パフォーマンスのオーバーヘッドは依然として課題ではあるが、データ機密性が最重要視されるワークロードにおいて、本アプローチは実用的であることが立証された。
• システムは、データ暗号化、リモート処理、結果の復号というクラウドコンピューティングのライフサイクルをすべてカバーし、強固なセキュリティ保証を維持している。