[論文レビュー] Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems

Monowar Hasan, Sibin Mohan+2 more|arXiv (Cornell University)|Apr 29, 2017

Real-Time Systems Scheduling参考文献 21被引用数 12

ひとこと要約

Contegoは、タイミング制約を損なうことなく、機会的実行と階層的スケジューリングを用いて、レガシのリアルタイムシステムにセキュリティタスクを統合する自律的フレームワークである。動的監視頻度と応答性の調整により、検出時間を短縮しながらスケジューリング可能性を維持し、安全で重要なシステムへのセキュリティ機構の効果的で改造可能な統合を可能にする。

ABSTRACT

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifically designed for legacy systems, viz., the real-time control systems in which major alterations of the system parameters for constituent tasks is not always feasible. Contego combines the concept of opportunistic execution with hierarchical scheduling to maintain compatibility with legacy systems while still providing flexibility by allowing security tasks to operate in different modes. We also define a metric to measure the effectiveness of such integration. We evaluate Contego using synthetic workloads as well as with an implementation on a realistic embedded platform (an open- source ARM CPU running real-time Linux).

研究の動機と目的

• 航空機、電力網、自律走行車両などの安全で重要な分野における埋め込みリアルタイムシステム（RTS）に対するサイバー攻撃の増大する脅威に対処すること。
• 頻繁な監視を要するセキュリティ要件と、予測可能で適切なタイミングでのタスク実行を要求するリアルタイム制約との間の緊張を解消すること。
• 既存のタスクパラメータ（例：周期、優先度）の変更が不可能なレガシRTSにセキュリティ機構を改造可能に統合すること。
• システム状態や脅威レベルに応じて、複数の運用モードをサポートする柔軟で適応的なフレームワークを提供すること。
• 検出応答性と時間的整合性の両面から、セキュリティ統合の有効性を評価するための指標を開発すること。

提案手法

• 高優先度の制御タスクに干渉しないように、セキュリティタスクをスケジューラーにスパースな低優先度タスクとして統合する。
• 階層的スケジューリングを用いて、システム状態に応じて、定期的監視やオンデマンドの詳細検査などの異なるモードでセキュリティタスクを実行可能にする。
• 機会的実行を適用：高優先度のリアルタイムタスクが実行中でない場合にのみセキュリティタスクを実行し、タイミング保証への影響を最小限に抑える。
• 不審な侵入が疑われる際の検出速度を向上させるために、モード間の適応的切り替えを導入し、リアルタイム制約を守りながら検出までの時間を短縮する。
• 望ましい監視周期と達成可能な周期との乖離に基づく指標を定義し、統合の有効性を定量化する。
• 合成ワークロードとARMベースのリアルタイムLinuxプラットフォーム上での実世界実装を用いて、フレームワークを評価する。

実験結果

リサーチクエスチョン

• RQ1 既存のタスクパラメータの変更やリアルタイム制約の違反なしに、セキュリティタスクをレガシリアルタイムシステムに統合する方法は何か？
• RQ2 高優先度の制御タスクへの干渉を最小限に抑えつつ、効果的なセキュリティ監視を実現するスケジューリング戦略は何か？
• RQ3 不審な攻撃が発生した際、システムのスケジューリング可能性を損なわずにセキュリティタスクの応答性をどのように向上できるか？
• RQ4 統合されたシステムにおいて、セキュリティ効果性とリアルタイムパフォーマンスのトレードオフを的確に捉える指標は何か？
• RQ5 セキュリティタスクの適応的でマルチモードの動作は、時間的予測可能性を維持しながら、検出までの時間をどの程度短縮できるか？

主な発見

• Contegoは、アーキテクチャの変更や既存のタスクパラメータの変更なしに、レガシリアルタイムシステムにセキュリティタスクを成功裏に統合した。
• 機会的実行と階層的スケジューリングを用いることで、スケジューリング可能性とリアルタイム保証を維持し、高優先度の制御タスクが遅延することなく実行された。
• 適応的モード切り替えにより、不審なイベント発生時における検出速度が向上し、固定優先度・低頻度監視に比べて検出までの時間が顕著に短縮された。
• 提案された指標は、望ましい監視頻度と達成可能な頻度のトレードオフを的確に定量化でき、セキュリティ統合の質を評価する基盤を提供した。
• ARMベースのリアルタイムLinuxプラットフォーム上での評価により、Contegoが高水準のセキュリティ応答性を実現しながらも、システムのタイミング制約を保持していることが確認された。
• 本フレームワークは、実際の埋め込み環境において実現可能で効果的であることが示され、安全で重要なシステムへのセキュリティ機構の改造可能な統合を支援した。