[論文レビュー] Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study

Mohamed H.E. Aouadi, Khalifa Toumi+1 more|arXiv (Cornell University)|Oct 17, 2014

Vehicular Ad Hoc Networks (VANETs)参考文献 17被引用数 3

ひとこと要約

本論文は、車両ネットワークを事例として、分散システムにおけるセキュリティポリシーの検証を目的としたモデルベースのアクティブテストフレームワークを提案する。形式的仕様とランタイムモニタリングを用いて、ポリシー準拠性を検証するためのテストシーケンスの自動生成を可能とし、複雑で動的な環境におけるセキュリティポリシーの信頼性を確保する有効性を示している。

ABSTRACT

Due to the increasing complexity of distributed systems, security testing is becoming increasingly critical in insuring reliability of such systems in relation to their security requirements. . To challenge this issue, we rely in this paper1 on model based active testing. In this paper we propose a framework to specify security policies and test their implementation. Our framework makes it possible to automatically generate test sequences, in order to validate the conformance of a security policy. This framework contains several new methods to ease the test case generation. To demonstrate the reliability of our framework, we present a Vehicular Networks System as an ongoing case study.

研究の動機と目的

• 複雑な分散システムにおけるセキュリティポリシー準拠性を確保するという増大する課題に対処すること。
• 指定されたセキュリティポリシーに対して実装が準拠しているかを検証するためのテストシーケンスを自動的に生成する方法を開発すること。
• 実世界の高リスク分野—車両ネットワーク—におけるフレームワークの実現可能性と有効性を示すこと。
• 形式的仕様とランタイムテストを統合することで、信頼性を向上させ、ポリシー違反を早期に検出すること。

提案手法

• フレームワークは形式的モデルを用いてセキュリティポリシーを定義し、必要な動作を明確かつ曖昧でない形で定義可能である。
• モデルベースのアクティブテストを採用し、さまざまな条件下でのシステム動作を調査するテストシーケンスを自動生成する。
• 実行時の動作と期待されるポリシー準拠動作を比較するため、ランタイムモニタリングを統合する。
• 検証とテストケース生成を支援する形式的表現を用いて、セキュリティポリシーをモデル化する。
• 実行ログやポリシー違反からのフィードバックに基づき、テスト生成を動的に適応可能にする。
• 車両ネットワークを用いた事例研究により、安全が求められる分散環境へのフレームワークの適用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 分散システムにおけるセキュリティポリシーをどのように形式的に定義すれば、自動テストが可能になるか？
• RQ2 ポリシー準拠性のための効率的かつ効果的なテストシーケンス生成を可能にする技術は何か？
• RQ3 本フレームワークは、車両ネットワークのような複雑で動的なシステム内において、リアルタイムでポリシーの逸脱を検出できるか？
• RQ4 モデルベーステストの統合は、セキュリティポリシーの実行の信頼性をどのように向上させるか？

主な発見

• フレームワークは、車両ネットワーク事例において、セキュリティポリシー準拠性を効果的に検証するテストシーケンスを生成した。
• ポリシーの形式的定義により、曖昧さのない定義と自動テスト生成が可能となり、テスト設計における人的ミスが削減された。
• ランタイムモニタリングにより、テスト実行中にポリシー違反が検出された。これにより、フレームワークが非準拠動作を同定できる能力を示した。
• アプローチはスケーラブルであり、車両ネットワークに一般的に見られる動的な通信パターンにも適応可能であった。