[論文レビュー] A Survey on Hardware Approaches for Remote Attestation in Network Infrastructures

Ioannis Sfyrakis, Thomas Groß|arXiv (Cornell University)|May 25, 2020

Security and Verification in Computing被引用数 9

ひとこと要約

本調査では、ネットワークインfraストラクチャにおけるハードウェアベースのリモートアトリビューション方式について、暗号的プリミティブおよび信頼できるハードウェアを用いてノードの整合性を検証することを焦点として、包括的な分析を提供する。アトリビューションアーキテクチャと方式を分類し、集団的アトリビューションにおけるプライバシーおよび機密性の課題を特定し、匿名証明書とゼロ知識証明を用いた解決策を提案することで、機密性の高いネットワーク情報の保護を図る。

ABSTRACT

Remote attestation schemes have been utilized for assuring the integrity of a network node to a remote verifier. In recent years, a number of remote attestation schemes have been proposed for various contexts such as cloud computing, Internet of Things (IoTs) and critical network infrastructures. These attestation schemes provide a different perspective in terms of security objectives, scalability and efficiency. In this report, we focus on remote attestation schemes that use a hardware device and cryptographic primitives to assist with the attestation of nodes in a network infrastructure. We also point towards the open research challenges that await the research community and propose possible avenues of addressing these challenges.

研究の動機と目的

• クラウドコンピューティングやクリティカルシステムを含むネットワークインfraストラクチャにおけるノードの整合性を保証するハードウェアベースのリモートアトリビューション方式を分析すること。
• 大規模ネットワーク向けの既存のアトリビューションアプローチにおけるスケーラビリティ、プライバシー、機密性の制限を特定すること。
• 匿名証明書やゼロ知識証明といった暗号技術を活用し、ネットワーク構造を露呈せずにプライバシーを強化する方法を検討すること。
• 研究者および実務家向けに、アトリビューションアーキテクチャ、方式、およびその暗号的基盤の構造的概要を提供すること。
• ネットワーキングシステムにおけるプライバシー保護型でスケーラブルなアトリビューションを向上させるためのオープンな研究課題と今後の方向性を強調すること。

提案手法

• TPM、HSM、セキュアエナclaveを含む信頼できるハードウェアコンponentsに基づくハードウェアベースのアトリビューションアーキテクチャの分類。
• 検証フローと使用される暗号的プリミティブに基づき、直接的、間接的、ハイブリッドのタイプに分類するアトリビューション方式の分類。
• ハッシュ関数、デジタル署名、グループ署名（例：DAA）などの暗号的プリミティブを用いて、安全で検証可能なアトリビューションを実現する。
• 匿名証明書スキームと知識のゼロ知識証明を活用し、アトリビューション結果およびネットワークトポロジーのプライバシーと機密性を保護する。
• 検証者（V）、プローバー（P）、中間ノードを含むアトリビューションワークフローの分析。情報漏洩を最小限に抑えることを焦点とする。
• ソフトウェア攻撃および物理的攻撃、悪意ある中間ノードを含むさまざまな脅威モデル下でのアトリビューション方式の評価。

実験結果

リサーチクエスチョン

• RQ1 ハードウェアベースのリモートアトリビューション方式は、クラウドやIoTシステムを含む大規模インfraストラクチャにおいて、どのようにしてネットワークノードの整合性を保証できるか？
• RQ2 中間ノードが隣接ノードからのアトリビューション結果を学習する場合に、集団的アトリビューションにおいて顕著なプライバシーリスクは何か？
• RQ3 アトリビューション中にネットワーク構造やデバイス構成が漏洩するのを防ぎつつ、検証のセキュリティを損なわずに、それらを保護するにはどうすればよいか？
• RQ4 分散型ネットワークインfraストラクチャにおいて、プライバシー保護型アトリビューションを実現するための暗号技術は何か？
• RQ5 現代のネットワーキングシステムにおけるスケーラブルでプライベートかつ機密性の高いリモートアトリビューションを達成する上で、未解決の課題は何か？

主な発見

• ハードウェアベースのアトリビューション方式は、信頼できるハードウェアと暗号的プリミティブを活用することで、ネットワークインフラストラクチャにおけるノードの整合性検証を著しく向上させる。
• 中間ノードがアトリビューション結果を学習することで情報漏洩が発生し、悪意あるノードが証拠を偽造または改ざんする可能性がある。
• DAAなどの匿名証明書スキームにより、プローバーが身元や構成を露呈せずに正当性を証明できるため、プライバシー保護型アトリビューションが可能になる。
• 知識のゼロ知識証明により、ネットワーク構造の漏洩を防ぎつつ、検証者がアトリビューションの正しさを確認できる。
• 現在の方式は、特に複数のノードを同時に検証する集団的アトリビューションの場面で、ネットワークトポロジーの機密性を十分に保護していない。
• アトリビューションプロトコルにプライバシー保護型暗号技術を統合することは、依然として未解決の課題であり、特にスケーラブルでリアルタイムなネットワーク環境において顕著である。