記号実行によるパケットの抽象化を用いたOpenFlowネットワークのモデル検査方式の提案(クラウドネットワーク技術,SDN,OpenFlow,プライベートネットワーク(VPN),オーバーレイネットワーク・P2P,ネットワーク構成技術及び一般)

スポンサーリンク

概要

論文の詳細を見る
OpenFlowネットワークに対し,モデル検査を用いて転送ループ等の不具合の有無を検証する方式を提案する.モデル検査では,各ノードが実行し得る状態を,パケットの到着順が入れ替わる場合も含め網羅的に探索できる.一方,検証対象の規模が大きくなると,モデル検査に要する計算量が指数的に増大してしまう.そこで,モデル検査に記号実行を組み合わせ,計算量を低減する方式を提案する.本方式では,ネットワークの状態探索を行う際,パケットの内容を記号的に表現し遷移を実行する.さらに,各ノードが実行する動作の実行条件を制約として管理し制約ソルバに与えることで,その動作が実際に起こり得るか否かを判断,不要な探索を避ける.これにより,OpenFlowネットワークの効率的な検証が可能になる.
2013-07-11

著者

関連論文

スポンサーリンク