[논문 리뷰] Protecting the Grid against IoT Botnets of High-Wattage Devices

Saleh Soltan, Prateek Mittal외 1명|arXiv (Cornell University)|2018. 08. 11.

Smart Grid Security and Resilience참고 문헌 29인용 수 4

한 줄 요약

이 논문은 고와트aje 장치로 구성된 IoT 봇넷의 수요 조작 공격(MAD 공격) 이후 선로 과부하를 방지하기 위해 경제적 발전에서 강건한 발전기 운영 포인트를 계산하기 위해 SAFE 및 IMMUNE 알고리즘을 제안한다. 그리드의 복원력을 수량화하기 위해 $\alpha D$-강건성 개념을 도입하고, 2차 제어 기간 동안 선로 과부하가 제거될 수 있는지를 확인하기 위한 효율적인 다항시간 방법을 제공하여, 공격 상황에서도 그리드 안정성을 확보한다.

ABSTRACT

We provide methods to prevent line failures in the power grid caused by a newly revealed MAnipulation of Demand (MAD) attacks via an IoT botnet of high-wattage devices. In particular, we develop two algorithms named Securing Additional margin For generators in Economic dispatch (SAFE) Algorithm and Iteratively MiniMize and boUNd Economic dispatch (IMMUNE) Algorithm for finding robust operating points for generators during the economic dispatch such that no lines are overloaded after automatic primary control response to any MAD attacks. In situations that the operating cost of the grid in a robust state is costly (or no robust operating points exist), we provide efficient methods to verify--in advance--if possible line overloads can be cleared during the secondary control after any MAD attacks. We then define the $αD$-robustness notion for the grids indicating that any line failures can be cleared during the secondary control if an adversary can increase/decrease the demands by $α$ fraction. We demonstrate that practical upper and lower bounds on the maximum $α$ for which the grid is $αD$-robust can be found efficiently in polynomial time. Finally, we evaluate the performance of the developed algorithms and methods on realistic power grid test cases. Our work provides the first methods for protecting the grid against potential line failures caused by MAD attacks.

연구 동기 및 목표

• 갑작스럽게 수요를 변화시켜 전력망을 불안정하게 만들 수 있는 고와트aje 장치로 구성된 IoT 봇넷에 의한 MAD 공격의 증가하는 위협을 다루기.
• 모든 MAD 공격에 대해 1차 주파수 제어 반응 이후 선로 과부하를 방지할 수 있는 강건한 발전기 운영 포인트를 계산하는 데 있어 계산 효율성이 뛰어난 방법 개발.
• MAD 공격로 인한 일시적 선로 과부하가 2차 제어 기간에 제거될 수 있는지 사전에 검증할 수 있는 도구 제공하여 시스템의 강건성 확보.
• MAD 공격 상황에서도 그리드가 안전하게 유지될 수 있는 최대 허용 수요 변동($\alpha$)을 수량화하기 위해 $\alpha D$-강건성 개념 도입.
• 제안된 방법이 확장 가능하고 효율적이며, 실세계 테스트 시스템에 실용적으로 구현 가능한 다항시간 복잡도를 확보하기.

제안 방법

• 모든 MAD 공격에 대해 선로 과부하가 발생하지 않도록 보장하는 강건한 발전기 운영 포인트를 계산하기 위해 단일 선형계획문제(LP)를 해결하는 SAFE 알고리즘 개발.
• 반복적으로 LP를 풀고 적응형 업데이트를 적용함으로써 SAFE보다 더 낮은 비용의 강건한 운영 포인트를 도출하는 반복적 방법인 IMMUNE 알고리즘 제안.
• $\alpha D$-강건성은 적대자가 수요를 $\alpha$ 비율로 증가 또는 감소시킬 경우 발생하는 모든 선로 과부하가 2차 제어 기간에 제거될 수 있음을 나타내는 공식 기준으로 정의.
• 단일 LP를 통해 계산 가능한 $\hat{\alpha}$를 도입하여 $\alpha^{\max}$의 상한선을 효율적으로 추정, 이는 $\alpha^{\max}$에 매우 가까운 추정치를 제공.
• 반복적 LP를 통해 계산되는 더 좁은 하한선인 $\alpha^{(\beta)}$ 및 $\alpha^{(\gamma,\beta)}$를 도입하고, 적응형 단계 크기 $\lambda$를 활용하여 수렴성과 정확도 향상.
• IEEE 테스트 시스템에서 브루트포스 검색 및 수치적 평가를 통해 추정치와 알고리즘의 효율성 및 정확도 검증.

실험 결과

연구 질문

• RQ1 모든 MAD 공격에 대해 선로 과부하를 방지할 수 있는 강건한 발전기 운영 포인트를 경제적 발전에서 효율적으로 계산할 수 있는가?
• RQ2 그리드 운영자가 2차 제어 기간 동안 일시적 선로 과부하가 제거될 수 있는지 사전에 어떻게 검증할 수 있는가?
• RQ3 MAD 공격 상황에서도 그리드가 안전하게 유지될 수 있는 최대 허용 수요 변동 $\alpha$는 얼마이며, 이 $\alpha^{\max}$는 어떻게 효율적으로 추정할 수 있는가?
• RQ4 제안된 방법은 실세계 전력 시스템에 다항시간 복잡도와 실용적 확장성으로 적용 가능한가?
• RQ5 다양한 테스트 시스템에서 제안된 추정치($\hat{\alpha}$, $\alpha^{(\beta)}$, $\alpha^{(\gamma,\beta)}$)의 정확도와 계산 비용은 어떻게 비교되는가?

주요 결과

• SAFE 알고리즘은 단일 LP를 통해 강건한 운영 포인트를 계산하여, 모든 MAD 공격 이후 선로 과부하가 발생하지 않음을 보장하며, 타당성이 보장된다.
• IMMUNE 알고리즘은 반복적으로 해를 개선함으로써 SAFE보다 더 낮은 비용의 강건한 운영 포인트를 도출하며, 최적의 단계 크기 $\lambda=1.1$를 사용할 경우 최소 3회 반복 내에 수렴한다.
• 단일 LP를 통해 다항시간에 계산된 상한선 $\hat{\alpha}$는 대부분의 테스트 케이스에서 $\alpha^{\max}$에 매우 가까운 추정치를 제공하며, IEEE 14-bus (f), 14-bus (u), 30-bus 및 NE 39-bus 시스템에서 확인됨.
• IEEE 57-bus (f) 시스템에서는 $\hat{\alpha} = 0.2$ 이지만 $\alpha^{\max} < 0.09$ 이므로, $\hat{\alpha}$는 비록 타이트하지 않더라도 신뢰할 수 있는 상한선임을 입증.
• 하한선 $\alpha^{(\beta)}$ 및 $\alpha^{(\gamma,\beta)}$는 $\alpha^*$보다 훨씬 더 정확하며, NE 39-bus 시스템에서는 $\alpha^{(\gamma,\beta)} = \hat{\alpha}$로 나타나 $\alpha^{\max}$를 정확히 복원함.
• IEEE 30-bus 시스템에서 $\alpha = 0.31$일 경우, SAFE 및 IMMUNE는 강건한 운영 포인트를 찾지 못하지만, $\alpha < \alpha^{\max} = 0.37$ 이므로 2차 제어가 과부하를 제거할 수 있음을 확인하여, 제안된 방법의 실용적 유용성을 입증.