[論文レビュー] A Distributed Secure Outsourcing Scheme for Solving Linear Algebraic Equations in Ad Hoc Clouds

Wenlong Shen, Bo Yin+2 more|arXiv (Cornell University)|Apr 4, 2015

Cryptography and Data Security被引用数 5

ひとこと要約

本稿では、ホモモルフィック暗号と秘密分散を活用して、データの機微性と計算の整合性を保証する、アドホッククラウドにおける線形代数方程式の分散型セキュアな外部委託スキームを提案する。このスキームにより、リソース制約のあるデバイスは周辺のエージェントに行列計算を外部委託可能であり、機微性と正しさを維持したまま、動的で分散型の環境において効率的かつスケーラブルな解決策を実現する。

ABSTRACT

The emerging ad hoc clouds form a new cloud computing paradigm by leveraging untapped local computation and storage resources. An important application application over ad hoc clouds is outsourcing computationally intensive problems to nearby cloud agents to solve in a distributed manner.

研究の動機と目的

• 分散型で動的なアドホッククラウド環境において、計算負荷の高い線形代数方程式の解決を安全に外部委託する課題に対処すること。
• 信頼できないクラウドエージェントが行列演算を実行する際、データの機微性と計算の整合性を維持すること。
• 機微なデータを暴露せずに、リソース制約のあるデバイスが周辺のエージェントに線形方程式の解決を効率的に委ねられること。
• 動的な参加者による参加・退出をサポートするスケーラブルでレジリエントなフレームワークを設計すること。

提案手法

• 加法的ホモモルフィック暗号を用いることで、復号を行わずに暗号化された行列演算を可能にし、計算中におけるデータの機微性を保証する。
• 機微なデータを複数のエージェントに分散配布する秘密分散を適用し、単一の障害点を防ぐ。
• クライアントは、外部委託の前に、ホモモルフィック暗号方式を用いて、連立一次方程式の係数行列と右辺ベクトルを暗号化する。
• 複数の近接エージェントが、暗号化されたデータ上でホモモルフィック演算を用いて協働的に解を計算し、暗号化された結果を返却する。
• クライアントは、結果を組み合わせて自身の秘密鍵を用いて復号することで、解を再構築する。
• 不正な計算や悪意ある行動を検出・拒否するための検証プロトコルを統合する。

実験結果

リサーチクエスチョン

• RQ1 信頼できないエージェントに暴露せずに、アドホッククラウドにおいて線形代数方程式を安全に外部委託する方法は何か？
• RQ2 分散型で動的な環境において、データの機微性と計算の正しさの両方を保証する暗号技術は何か？
• RQ3 エージェントがネットワーク内で動的に参加・退出する場合でも、このスキームが効率的かつスケーラブルに保たれる方法は何か？
• RQ4 分散計算中に悪意ある行動を検出し、防止するためのメカニズムは何か？

主な発見

• 提案されたスキームは、ホモモルフィック暗号と秘密分散によるデータの機微性保護を通じて、エンドツーエンドのセキュリティを実現する。
• クライアントの計算オーバーヘッドは顕著に低減され、重い行列演算が周辺エージェントに外部委託される。
• このスキームは動的な参加者管理をサポートしており、エージェントの参加・退出が計算を中断させない。
• 検証メカニズムにより、悪意あるエージェントによる誤った結果を高い確率で検出し、拒否できる。