[논문 리뷰] Novel Attacks against Contingency Analysis in Power Grids

Mohammad Ashiqur Rahman, Hasan Shahriar외 2명|arXiv (Cornell University)|2019. 11. 03.

Smart Grid Security and Resilience참고 문헌 28인용 수 6

한 줄 요약

이 논문은 전력망의 상태 추정(SE)을 손상시켜 사고 분석(CA)을 위협하고, 사고 발생 시 송전선 과부하를 유발하는 도전적인 감추어진 거짓 데이터 주입(UFDI) 공격 벡터를 체계적으로 식별하기 위해 만족도 모듈러 이론(SMT)을 사용하는 공식적 프레임워크를 제안한다. 이 방법은 탐지되지 않도록 하면서도 임의의 공격 벡터를 자동으로 발견할 수 있으며, PowerWorld를 사용하여 IEEE 14-bus 시스템에서 검증되었다.

ABSTRACT

Contingency Analysis (CA) is a core component of the Energy Management System (EMS) in the power grid. The goal of CA is to operate the power system in a secure manner by analyzing the system subject to a contingency (e.g., the outage of a transmission line or a power generator) to determine the setpoints that will allow system operation without violation of constraints. The analysis in CA is conducted based on the output from State Estimation (SE), another core EMS module. However, it is also shown that an adversary can alter certain power measurements to corrupt the system states estimated by SE without being detected. Such a corrupted estimation can severely skew the results of the contingency analysis as it will provide a fake model to deal with. In this research, we formally model necessary interdependency relationships and systematically analyze these novel attacks on the contingency analysis. In particular, this research focuses on Security Constrained Optimal Power Flow (SCOPF) that finds out the optimal economic dispatches considering a single line failure (based on the $n - 1$ contingency analysis) and transmission line capacities. The proposed model is implemented and solved to find out potential threat vectors (i.e., a set of measurements to be altered) that can evade CA so that the system will face overloading situation on one or more transmission lines when some specific contingencies happen. We demonstrate our formal model on an IEEE 14 bus system-based case study and verify the results with a standard PowerWorld model. We further evaluate the model with respect to various attacks and grid characteristics.

연구 동기 및 목표

• 상태 추정(SE)에 대한 도전적인 UFDI 공격이 사고 제약 최적 전력 흐름(SCOPF)으로 어떻게 전파되어 사고 발생 시 시스템 보안을 약화시키는지 분석하기.
• 나쁜 데이터 탐지(BDD)를 회피하면서도 SCOPF가 불안정한 디스패치 계획을 생성하도록 유도하는 특정 측정값 집합(공격 벡터)을 식별하기.
• 부정확한 측정값에서 비롯된 공격 경로를 $n-1$ 사고 조건 하에서 물리적 시스템 과부하로 이르게 하는 공식적이고 제약 기반의 모델을 체계적으로 구축하기.
• 다양한 격자 구성과 공격 모델에서의 공격 가능성과 영향을 평가하여 실용적 관련성을 확보하기.
• IEEE 14-bus 시스템에서 PowerWorld 시뮬레이션을 통해 모델의 정확성과 효과성을 검증하기.

제안 방법

• DC 전력 흐름, SE, SCOPF 및 UFDI 공격 역학을 포함한 전력 시스템의 공식 모델링을 제약 만족 문제로 구현하기.
• BDD를 회피하고 SCOPF 결과를 변경시키는 도전적인 공격 벡터를 자동으로 탐색하기 위해 만족도 모듈러 이론(SMT) 솔버 사용하기.
• 선로 및 버스의 전력 측정값에 대한 측정 주입 공격을 모델링하여 SE에서 거짓 전력 소비 추정치를 유도하기.
• 송전선 열적 한계 및 발전기 출력 한계와 같은 시스템 제약 조건을 SMT 수식에 통합하여 현실적인 사고 시나리오를 시뮬레이션하기.
• $n-1$ 사고 조건 하에서 과부하를 유도하는 측정값 변동을 해결함으로써 공격 벡터를 자동으로 합성하기.
• 주입된 거짓 데이터 하에서 물리적 과부하 결과를 확인하기 위해 PowerWorld 시뮬레이션을 통해 결과를 검증하기.

실험 결과

연구 질문

• RQ1 어떤 특정 측정값 집합을 UFDI 공격으로 조작하면, BDD를 회피하면서도 SCOPF가 불안정한 디스패치 계획을 생성할 수 있는가?
• RQ2 SE에서의 도전적인 거짓 데이터 주입이 CA의 보안 평가로 어떻게 전파되어 사고 발생 시 물리적 과부하를 유도하는가?
• RQ3 다양한 공격 모델과 격자 특성이 이러한 공격의 가능성과 심각도에 어떤 영향을 미치는가?
• RQ4 공식적이고 자동화된 방법으로 물리적 시스템 불안정성을 야기하는 핵심 위협 벡터를 식별할 수 있는가?
• RQ5 제안된 SMT 기반 프레임워크는 실시간 전력 시스템 운영에서 공격 유발 과부하를 얼마나 잘 탐지하고 검증할 수 있는가?

주요 결과

• 제안된 SMT 기반 프레임워크는 나쁜 데이터 탐지(BDD)를 회피하면서도 SCOPF가 불안정한 디스패치 계획을 생성하도록 유도하는 도전적인 UFDI 공격 벡터를 성공적으로 식별하였다.
• 모델은 오염된 SE 추정치가 최적이고 제약 조건을 충족하는 것처럼 보이지만, 사고 발생 시 송전선 과부하를 유도하는 SCOPF 해법을 도출할 수 있음을 입증하였다.
• PowerWorld 시뮬레이션 결과는 합성된 공격 벡터가 $n-1$ 사고 조건 하에서 물리적 송전선 과부하를 유도함을 확인하여 모델의 물리적 타당성을 검증하였다.
• 이 프레임워크는 다양한 공격 모델과 격자 구성에 걸쳐 위협 공간을 효율적으로 탐색하여 측정 집합 내 핵심 취약점을 드러내었다.
• 현재 지식이 제한된 상태에서도 악의적인 공격자가 탐지되지 않도록 하면서도 잘못된 SCOPF 결정을 통해 연쇄적인 물리적 실패를 유도할 수 있음을 보여주었다.
• 결과는 현재의 BDD 메커니즘이 정교하고 제약 조건을 고려한 공격에 대해 부적절하다는 점을 강조하며, 측정값의 강화 및 탐지 메커니즘의 향상 필요성을 시사한다.