[論文レビュー] Secure History Preservation Through Timeline Entanglement

Petros Maniatis, Mary Baker|ArXiv.org|Feb 6, 2002

Advanced Data Storage Technologies参考文献 24被引用数 85

ひとこと要約

本稿では、暗号的にリンクされた個々のセキュアなタイムラインを用いて、相互に信頼できない分散サービス間で改ざん検知可能でグローバルに検証可能な履歴を構築する方法であるタイムラインエンタングルメントを提案する。Timeweaveと呼ばれる新規フレームワークを用い、認証付きスキャンプリストと永続的検索木を採用することで、クライアントはサービスが消失したり共謀しても、イベント間の時間的関係を証明可能にする。PCグレードのハードウェア上で最大数100〜200のサービスに対して2–8%のオーバーヘッドで実現可能である。

ABSTRACT

A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the temporal ordering of system states in a provable manner. We extend secure timelines to encompass multiple, mutually distrustful services, using timeline entanglement. Timeline entanglement associates disparate timelines maintained at independent systems, by linking undeniably the past of one timeline to the future of another. Timeline entanglement is a sound method to map a time step in the history of one service onto the timeline of another, and helps clients of entangled services to get persistent temporal proofs for services rendered that survive the demise or non-cooperation of the originating service. In this paper we present the design and implementation of Timeweave, our service development framework for timeline entanglement based on two novel disk-based authenticated data structures. We evaluate Timeweave's performance characteristics and show that it can be efficiently deployed in a loosely-coupled distributed system of a few hundred services with overhead of roughly 2-8% of the processing resources of a PC-grade system.

研究の動機と目的

• サービスが改ざんされたり消失しても、継続的かつ証明可能な履歴の整合性を確保する仕組みの欠如に対処すること。
• 元のサービスが利用できなくなった後でも、相互に信頼できないサービス間のイベントの時間的順序をクライアントが検証できること。
• グローバルな信頼や調整を必要とせず、認証付きで改ざんが容易に検知できるタイムラインを維持できるスケーラブルで効率的なフレームワークの設計。
• 特に緩い結合の、大規模なサービス環境における実際のワークロード下でのシステムの性能を評価すること。

提案手法

• タイムラインエンタングルメントは、あるサービスの過去のタイムラインを、別のサービスの未来のタイムラインに暗号的に結合することで、信頼ドメインを超えた共有で検証可能な履歴を構築する。
• Timeweaveフレームワークは、2つの新規の認証付きデータ構造を採用する：追加専用の認証付きスキャンプリストと、ディスクベースの永続的認証付き検索木。
• 各サービスは暗号ハッシュチェーンを用いてセキュアなタイムラインを維持し、定期的にピアに「スレッド」を送信することでタイムラインをエンタングルする。
• エンタングルメントメッセージには、過去のタイムライン状態の暗号的証明が含まれており、参加者全員が独立して時間的関係を検証可能である。
• 受信確認とスレッドメッセージを統合することで、すべてのノード間のエンタングルメントにおける冗長な送信を削減し、効率性を向上させる。
• 性能評価では、最大1,200ノードのシミュレーテッドサービス集合を用い、10分ごとにエンタングルメントを実施し、処理および通信のオーバーヘッドを測定する。

実験結果

リサーチクエスチョン

• RQ1 中央集権的な信頼を必要とせず、相互に信頼できないサービス間で、安全で改ざん検知可能な履歴を維持できるか？
• RQ2 元のサービスが稼働しなくなった後でも、クライアントがサービス間のイベントの時間的順序を証明できるか？
• RQ3 緩い結合の分散システムにおいて、このようなグローバルタイムラインを維持する際の性能的オーバーヘッドはどの程度か？
• RQ4 数100ものサービスにまでスケーラブルに拡張でき、計算および通信コストを許容範囲に収められるか？
• RQ5 一部のサービスが不正または沈黙している場合でも、グローバルな履歴の整合性を保てるか？

主な発見

• Timeweaveは、PCグレードのサーバー上で最大数100〜200のサービスが10分ごとにエンタングルされる状況で、処理オーバーヘッドが2–8%に抑えられる。
• すべてのノード間エンタングルメントにおいて、効率的なスケーリングが達成され、メンテナンス時間は1タイムステップあたりのスレッド数に線形的に増加する。
• 通信オーバーヘッドは管理可能であり、特に1タイムステップあたり2–3本のスレッドに制限した場合、低性能サーバーでも妥当な制限を超えない。
• フレームワークにより、クライアントは元のサービスが協力的でなかったり、利用できなくなっても、自身の信頼ドメイン内で独立して時間的証明を検証可能である。
• 時間的証明の正しさは保たれるが、完全性は保証されない—不正なドメイン内の一部のイベントはグローバルタイムラインから隠蔽される可能性がある。
• 今後の課題として、Byzantineスタイルの署名付きメッセージ伝搬を用いた完全性の向上と、すべてのノード間接続から、Chord や CAN のようなスケーラブルなオーバーレイネットワークへの移行を計画している。