文献

J-GLOBAL ID：201902288394992936   整理番号：19A1312597

電力系統状態推定に関するステルス攻撃に対するセキュリティ設計:形式的アプローチ【JST・京大機械翻訳】

Security design against stealthy attacks on power system state estimation: A formal approach

著者 (3件)： Rahman Mohammad Ashiqur (Department of Electrical and Computer Engineering, Florida International University, Miami, United States) ,  Datta Amarjit (Department of Computer Science, Tennessee Technological University, Cookeville, United States) ,  Al-Shaer Ehab (Department of Software and Information Systems, University of North Carolina, Charlotte, United States)
資料名： Computers & Security  (Computers & Security)
巻： 84  ページ： 301-317  発行年： 2019年 
JST資料番号： E0995A  ISSN： 0167-4048  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 状態推定は,電力網を確実に,そして効率的に維持するために非常に重要である。もし状態推定が保護されないならば,攻撃者はメートルまたは通信システムを妥協することができて,誤った測定を導入することができて,それは既存のBadデータ検出(BDD)アルゴリズムを回避して,不正確な状態推定に導くことができた。この種の攻撃はステルスで,検出されないFalse Data Injection(UFDI)攻撃として広く知られている。攻撃者は,知識,能力,資源,および攻撃目標の観点から,異なる属性によって制限される。それは,潜在的攻撃ベクトルを実現するために,そしてそれによって,セキュリティ対策を実現するために重要である。本論文では,状態推定に関する潜在的なUFDI攻撃に対してグリッドを保護するセキュリティアーキテクチャの自動合成のための形式的フレームワークを提示した。この手法では,まず,グリッドトポロジー,電気的性質,および異なる攻撃属性に関するUFDI攻撃を定式化する。このモデルに対する解は,形式化されたシナリオに存在する攻撃ベクトルを導出する。これらの攻撃ベクトルは,セキュリティ対策(すなわち,誤ったデータ注入に対して保護されるべき一組の測定)を設計するために,第二形式モデル,セキュリティアーキテクチャ合成モデルによって考慮される。著者らは,形式的モデルの並列および段階的実行を実行することによって,セキュリティアーキテクチャ合成機構の性能を強化した。提案したメカニズムを事例研究により実証し,異なるIEEE試験システム上での実験により提案モデルの性能を評価した。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 事例研究 ,  *状態推定 ,  モデル ,  安全対策 ,  定式化 ,  アルゴリズム ,  ベクトル ,  *セキュリティ ,  IEEE ,  通信方式 ,  位相幾何学
準シソーラス用語： 自動合成 ,  セキュリティアーキテクチャ ,  攻撃者 , 【Automatic Indexing@JST】

著者キーワード (5件)： スマートグリッド ,  偽データ注入 ,  セキュリティアーキテクチャ ,  形式モデル ,  合成

分類 (2件)： データ保護  (JD01020V) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 電力系統状態推定 ,  攻撃 ,  セキュリティ ,  設計