[논문 리뷰] Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems

Martín Barrère, Chris Hankin외 3명|arXiv (Cornell University)|2019. 05. 12.

Smart Grid Security and Resilience참고 문헌 26인용 수 9

한 줄 요약

이 논문은 산업 제어 시스템(ICS)에 대한 새로운 보안 메트릭을 제안하며, AND/OR 그래프 모델과 가중 부분 MAX-SAT 최적화를 사용하여 침해 시 시스템 운영이 중단되는 최소 비용의 공격 집합을 효율적으로 계산한다. 이 방법은 수천 개의 노드를 대상으로 몇 초 내에 최소 비용의 공격 집합을 계산할 수 있으며, 실제 물 수송 네트워크 사례 연구를 통해 검증되었다.

ABSTRACT

In recent years, Industrial Control Systems (ICS) have become an appealing target for cyber attacks, having massive destructive consequences. Security metrics are therefore essential to assess their security posture. In this paper, we present a novel ICS security metric based on AND/OR graphs that represent cyber-physical dependencies among network components. Our metric is able to efficiently identify sets of critical cyber-physical components, with minimal cost for an attacker, such that if compromised, the system would enter into a non-operational state. We address this problem by efficiently transforming the input AND/OR graph-based model into a weighted logical formula that is then used to build and solve a Weighted Partial MAX-SAT problem. Our tool, META4ICS, leverages state-of-the-art techniques from the field of logical satisfiability optimisation in order to achieve efficient computation times. Our experimental results indicate that the proposed security metric can efficiently scale to networks with thousands of nodes and be computed in seconds. In addition, we present a case study where we have used our system to analyse the security posture of a realistic water transport network. We discuss our findings on the plant as well as further security applications of our metric.

연구 동기 및 목표

• 산업 제어 시스템(ICS)에 대한 사이버 공격 증가로 인한 핵심 인프라의 치명적인 장애를 방지하기 위해.
• 시스템 운영을 중단시키기 위해 악성 공격자가 손상시켜야 할 구성 요소의 최소 비용 집합을 식별하는 확장성 있고 효율적인 보안 메트릭을 개발하기 위해.
• ICS의 복잡한 사이버-물리적 종속성을 AND/OR 그래프로 모델링하고, 이를 최적화에 사용할 수 있는 논리 공식으로 변환하기 위해.
• 공격자 비용과 복구 예산을 통합된 비용 함수에 통합하여 보안 우선순위를 설정하기 위해.
• 프로토타입 도구(META4ICS)를 통해 실용적 구현을 지원하고 실제 도시 물 공급망에서 접근 방식을 검증하기 위해.

제안 방법

• ICS 구성 요소 종속성의 AND/OR 그래프를 변환하여 목표 노드가 계속 기능하도록 보장하는 등가 논리 공식을 생성한다.
• 만족 가능성 최적화에 사용하기 위해 논리 공식을 결합 정규형(CNF)으로 변환하기 위해 Tseitin 변환을 적용한다.
• 클라우즈는 시스템 종속성을 나타내고 가중치는 구성 요소 손상 비용을 반영하는 가중 부분 MAX-SAT 문제를 구성한다.
• MAX-SAT 문제를 해결하여, 목표 노드를 비활성화하는 데 필요한 최소 무게의 정점 컷을 계산하며, 이는 가장 비용 효율적인 공격 경로를 나타낸다.
• 공격자 손상 비용과 복구 예산을 선형 조합을 통해 통합한 비용 함수를 확장한다: $\varphi'_{\alpha,\beta}(n) = \alpha \cdot \varphi(n) + \beta \cdot \gamma(n)$.
• 여러 개의 최소 비용 솔루션이 존재할 경우, 더 적은 수의 노드를 포함하는 솔루션을 우선시하는 티브레이크 알고리즘을 사용한다.

실험 결과

연구 질문

• RQ1 ICS에서 전체 시스템 운영 장애를 유발하는 데 필요한 최소 비용의 사이버-물리적 구성 요소 집합은 무엇인가?
• RQ2 공격자 비용과 복구 예산을 함께 모델링하여 하드닝을 위한 구성 요소 우선순위를 어떻게 설정할 수 있는가?
• RQ3 제안된 메트릭은 수천 개의 노드를 가진 대규모 ICS 네트워크에 대해 효율적으로 확장 가능한가?
• RQ4 이 메트릭은 실제 세계의 ICS 인fra구조, 예를 들어 물 공급망과 같이 핵심 구성 요소를 효과적으로 식별할 수 있는가?
• RQ5 부분적 손상 또는 오류 신호가 구성 요소의 중요성과 시스템의 복원력에 어떤 영향을 미치는가?

주요 결과

• 제안된 보안 메트릭은 META4ICS 프로토타입을 통해 수천 개의 노드를 가진 ICS 네트워크에 확장 가능하며, 몇 초 내에 결과를 산출할 수 있다.
• 실제 물 수송 네트워크에 대한 사례 연구를 통해 시스템 가용성에 큰 영향을 미치는 특정 구성 요소와 공격 경로를 규명하여 대상 중심의 하드닝이 가능해졌다.
• 공격자 비용과 복구 예산을 비용 함수에 통합함으로써 균형 잡힌 보안 우선순위 설정이 가능하며, 계수 $\alpha$와 $\beta$를 통해 유연한 트레이드오프 설정이 가능하다.
• AND/OR 그래프로 종속성을 모델링하고 최신 MAX-SAT 솔버를 통해 문제를 해결함으로써 최소 비용의 공격 집합을 성공적으로 식별하였다.
• 이 방법은 사고 대응 및 원인 분석 등 다양한 보안 분석 응용 분야에 유연하게 활용 가능함을 보여주었다.
• 연구 결과는 冗餘성 추가가 복원력을 높일 수 있지만 공격 표면도 확장할 수 있음을 시사하며, 대응 조치 설계 시 파레토 최적성 분석이 필요하다는 점을 강조하였다.