[論文レビュー] TaskShuffler++: Real-Time Schedule Randomization for Reducing Worst-Case Vulnerability to Timing Inference Attacks

Man-Ki Yoon, Jung-Eun Kim+2 more|arXiv (Cornell University)|Nov 18, 2019

Real-Time Systems Scheduling参考文献 28被引用数 5

ひとこと要約

TaskShuffler++ は、実行時情報を利用して動的にスケジューリングの不確実性を高めつつスケジューリング可能性を保つことで、タイミング推定攻撃に対するセキュリティを向上させるリアルタイムスケジューリング乱数化アルゴリズムである。TaskShuffler よりも 36.89% 高いスケジュール最小エントロピーを達成しており、敵が最悪ケースにおいてタスク実行タイミングを予測できる能力を顕著に低減する。

ABSTRACT

This paper presents a schedule randomization algorithm that reduces the vulnerability of real-time systems to timing inference attacks which attempt to learn the timing of task execution. It utilizes run-time information readily available at each scheduling decision point to increase the level of uncertainty in task schedules, while preserving the original schedulability. The randomization algorithm significantly reduces an adversary's best chance to correctly predict what tasks would run at arbitrary times. This paper also proposes an information-theoretic measure that can quantify the worst-case vulnerability, from the defender's perspective, of an arbitrary real-time schedule.

研究の動機と目的

• 固定優先度リアルタイムシステムが予測可能なタスクスケジュールを悪用するタイミング推定攻撃に対して脆弱であるという問題に対処すること。
• 静的バウンディングとタイミング非対応のジョブ選択による時間的局在性を抱える、TaskShuffler らの先行研究の限界を克服すること。
• スケジューリング可能性を損なわずに予測不可能性を高めるランタイムスケジュール乱数化技術を設計すること。
• 防御者視点から最悪ケースの脆弱性を定量化するための新たな情報理論的指標、スケジュール最小エントロピーを導入すること。
• 提案手法の有効性を、実験的分析と既存手法との比較を通じて評価すること。

提案手法

• TaskShuffler++ は、現在のリディーキュー状態やタスク実行進捗といった実行時利用可能な情報を活用して、どのタスクがスケジュール可能かを決定し、動的優先度逆転を可能にする。
• タイミングコンテキストに応じて候補ジョブを異なる方法で扱う重み付きジョブ選択プロセスを適用することで、時間的局在性を低減し、実行順序のランダム性を高める。
• 優先度逆転予算に楽観的でないオフラインバウンディングに依存するのではなく、リアルタイム状態を用いてスケジューリング意思決定をガイドする。
• 敵がタスクの識別子を正しく予測する最良の成功確率を定量化するために、スケジュール最小エントロピーを導入する。
• 計算複雑性を低減しつつも高いセキュリティを維持するため、TaskShuffler++ の近似版を提案する。
• 固定優先度プリエンプティブスケジューリング下で最悪応答時間がデッドライン内に保たれるようにすることで、システムのスケジューラビリティを維持する。

実験結果

リサーチクエスチョン

• RQ1 スケジューリング可能性制約を守りながら、ランタイムでリアルタイムスケジューリングをどのように乱数化すれば、タスク実行タイミングの不確実性を高められるか？
• RQ2 先行手法における静的またはタイミング非対応の選択と比較して、実行時状態に応じたジョブ選択は、時間的局在性をどの程度低減するか？
• RQ3 スケジュール最小エントロピーは、タイミング推定攻撃に対する最悪ケースの脆弱性を信頼性高く定量化する情報理論的指標として機能できるか？
• RQ4 TaskShuffler++ は、敵がタスク実行を正しく予測できる可能性を、TaskShuffler と比較してどの程度低減するか？
• RQ5 提案されたランタイム乱数化における、セキュリティ（最小エントロピーで測定）と計算オーバーヘッドのトレードオフはどのようなものか？

主な発見

• TaskShuffler++ は、TaskShuffler と比較してスケジュール最小エントロピーを 36.89% 高くし、敵がタスク実行を正しく予測できる可能性が顕著に低下していることを示している。
• TaskShuffler++ の平均スケジュール最小エントロピーは 1.59%、最大は 375.25% であり、異なるタスクセットにおいて広範な不確実性の範囲が得られている。
• TaskShuffler++ に組み込まれた重み付きジョブ選択メカニズムは、時間的局在性を効果的に低減し、タスク実行を時間軸上でより均等に分散させている。
• 提案されたスケジュール最小エントロピー指標は、最悪ケースの脆弱性を定量的かつ情報理論的に測定する手段を提供し、スケジューリング防御の客観的比較を可能にする。
• TaskShuffler++ の近似版は、計算複雑性を大幅に低減しつつも、ほぼ同等のセキュリティを達成しており、リアルタイム環境への実装に実用的である。
• 実験的評価により、TaskShuffler++ が予測不可能性を高めつつスケジューラビリティを維持することで、タイミング推定攻撃に対する障壁を著しく引き上げていることが確認された。