核心概念
センサー改ざんを行うことで、許可されていないルートを取ることができ、システムに検知されないようにする。
要約
本論文では、センサー改ざんを利用して、許可されていないルートを取りながらも検知されないようにする問題について検討している。
まず、環境をグラフで表現し、許可されたルートと逸脱ルートをそれぞれ有限オートマトンで定義する。センサー改ざんは、逸脱ルートを取った際の観測結果が許可されたルートの観測結果と等価になるように行う。
この問題は NP 困難であることを示し、整数線形計画法を用いた最適なセンサー改ざん戦略の算出アルゴリズムを提案している。アルゴリズムでは、許可されたルートの観測結果を表す有限オートマトンと逸脱ルートの観測結果を表す有限オートマトンの関係を利用し、両者の交差が空集合になるような改ざん戦略を見つける。
提案手法の有効性は、いくつかのケーススタディで示されている。
統計
許可されたルートと逸脱ルートの間には少なくとも1つの赤い辺が存在する必要がある。
センサー改ざんの最小コストは k である。
引用
"センサー改ざんを行うことで、許可されていないルートを取ることができ、システムに検知されないようにする。"
"この問題は NP 困難であることを示し、整数線形計画法を用いた最適なセンサー改ざん戦略の算出アルゴリズムを提案している。"