[논문 리뷰] Graph-Theoretic Framework for Unified Analysis of Observability and Data Injection Attacks in the Smart Grid

Anibal Sanjab, Walid Saad외 1명|arXiv (Cornell University)|2018. 01. 26.

Smart Grid Security and Resilience참고 문헌 34인용 수 5

한 줄 요약

이 논문은 전력망 내 관측 가능성과 스텔스성 데이터 주입 공격(SDIAs)의 분석을 통합하기 위해 그래프 이론적 프레임워크를 제안한다. 이 프레임워크는 이원 그래프 내의 임계 집합과 최대 매칭을 통해 이를 모델링하며, 핵심 보안 문제에 대한 정확한 해석적 해를 가능하게 한다. 이는 가장 희박한 SDIAs와 최적의 방어 집합을 식별하는 데에 적용되며, IEEE 14-bus 시스템에서 검증되었다.

ABSTRACT

In this paper, a novel graph-theoretic framework is proposed to generalize the analysis of a broad set of security attacks, including observability and data injection attacks, that target the state estimator of a smart grid. First, the notion of observability attacks is defined based on a proposed graph-theoretic construct. In this respect, a structured approach is proposed to characterize critical sets, whose removal renders the system unobservable. It is then shown that, for the system to be observable, these critical sets must be part of a maximum matching over a proposed bipartite graph. In addition, it is shown that stealthy data injection attacks (SDIAs) constitute a special case of these observability attacks. Then, various attack strategies and defense policies, for observability and data injection attacks, are shown to be amenable to analysis using the introduced graph-theoretic framework. The proposed framework is then shown to provide a unified basis for analysis of four key security problems (among others), pertaining to the characterization of: 1) The sparsest SDIA; 2) the sparsest SDIA including a certain measurement; 3) a set of measurements which must be defended to thwart all potential SDIAs; and 4) the set of measurements, which when protected, can thwart any SDIA whose cardinality is below a certain threshold. A case study using the IEEE 14-bus system with a set of 17 measurements is used to support the theoretical findings.

연구 동기 및 목표

• 단일 그래프 이론적 모델을 사용하여 전력계통 상태 추정에서 관측 가능성과 스텔스성 데이터 주입 공격(SDIAs)의 분석을 통합한다.
• 시스템의 비관측성으로 이어지는 임계 측정 집합을 특정하고, 이는 이원 그래프 상의 최대 매칭을 통해 기술한다.
• 제안된 프레임워크 하에서 SDIAs가 관측 가능성 공격의 특수한 경우임을 보여준다.
• 다음 네 가지 핵심 보안 문제에 대한 해석적 해를 제공한다: 가장 희박한 SDIA, 특정 측정을 포함하는 SDIA, 모든 SDIAs를 차단하기 위한 최소 방어 집합, 및 카디널리티 임계값 이하의 SDIA가 존재하지 않도록 보장하는 방어 집합.
• 사이버-물리 전력계통에서 공격자-방어자 상호작용을 게임 이론적으로 모델링할 수 있도록 한다.

제안 방법

• 관측 가능한 스패닝 트리 기반 측정 그래프(SMBG)를 구축하고, 임계 집합을 정의한다. 이는 시스템의 비관측성으로 이어지는 최소 측정 집합으로 정의된다.
• 노드가 측정치와 버스를 나타내고, 간선이 측정 의존성을 나타내는 이원 그래프를 구성한다.
• 이원 그래프 상의 최대 매칭을 사용하여 관측 가능성을 판단한다: 시스템은 모든 임계 집합이 매칭될 경우에만 관측 가능하다.
• 모든 가능한 스패닝 트리에 걸쳐 임계 집합을 모델링하기 위해 임계 집합 희박 측정 그래프(CS-SMBG)를 정의한다.
• 임계 카디널리티 이하의 모든 SDIAs를 방어하는 문제를 CS-SMBG 상의 히팅 세트 문제로 모델링한다. 여기서 각 집합은 최소 방어 구성에 해당한다.
• 방어 문제를 알려진 NP-난이도 히팅 세트 문제로 감소시켜, 확장 가능한 해법을 위한 근사 기법의 활용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 관측 가능성과 스텔스성 데이터 주입 공격는 어떻게 단일 그래프 이론적 모델 아래에서 공식적으로 통합될 수 있는가?
• RQ2 시스템의 비관측성으로 이르는 최소 측정 집합은 무엇이며, 이는 그래프 매칭을 통해 어떻게 특성화될 수 있는가?
• RQ3 특정 측정치를 포함하는 가장 희박한 스텔스성 데이터 주입 공격는 무엇인가?
• RQ4 주어진 카디널리티 이하의 모든 SDIAs를 방지하기 위해 방어해야 할 최소 측정 집합은 무엇인가?
• RQ5 제안된 프레임워크는 스마트 그라이드 보안에서 공격자-방어자 상호작용의 게임 이론적 모델링을 어떻게 지원하는가?

주요 결과

• 스텔스성 데이터 주입 공격(SDIAs)가 제안된 그래프 이론적 프레임워크 내에서 관측 가능성 공격의 특수한 경우로 공식적으로 입증되었다.
• 가장 희박한 SDIA는 감지되지 않도록 공격할 수 있는 최소 관측 집합(임계 집합)의 합집합을 식별함으로써 도출되며, 이는 최소 매칭 조건에 해당한다.
• 임계값 τ_a 이하의 모든 SDIAs를 방지하기 위한 최소 방어 집합은, 모든 CS-SMBG에서 크기가 τ_a 미만인 가능한 모든 임계 집합에 대해 히팅 세트 문제를 풀어 유도된다.
• 방어 문제의 해는 NP-난이도이지만, 프레임워크는 히팅 세트 문헌에서 유래한 근사 알고리즘의 활용을 가능하게 한다.
• IEEE 14-bus 시스템(17개 측정치 포함)에서 프레임워크가 검증되었으며, 제안된 접근법의 해석 가능성과 실용성을 입증하였다.
• 프레임워크는 공격자 전략과 방어자 반응을 통합적이고 분석 가능한 형태로 모델링할 수 있도록 하여 게임 이론적 분석을 지원한다.