[논문 리뷰] Towards Stabilization of Distributed Systems under Denial-of-Service

Shuai Feng, Pietro Tesi외 1명|arXiv (Cornell University)|2017. 09. 12.

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

한 줄 요약

이 논문은 분산 이벤트 트리거드 제어와 라운드로빈 스케줄링을 조합한 하이브리드 통신 전략을 제안하여 DoS 공격 하에서 대규모 분산 시스템을 안정화한다. DoS 기간 동안 라운드로빈으로 전환함으로써 순수 라운드로빈와 동일한 안정성 한계를 유지하면서도 통신 부하를 최대 90% 감소시킨다. 이는 제로노 행동을 효과적으로 방지하고, 공격 주파수와 지속 시간이 유한한 조건에서 점점이 안정성을 보장한다.

ABSTRACT

In this paper, we consider networked distributed systems in the presence of Denial-of-Service (DoS) attacks, namely attacks that prevent transmissions over the communication network. First, we consider a simple and typical scenario where communication sequence is purely Round-robin and we explicitly calculate a bound of attack frequency and duration, under which the interconnected large-scale system is asymptotically stable. Second, trading-off system resilience and communication load, we design a hybrid transmission strategy consisting of Zeno-free distributed event-triggered control and Round-robin. We show that with lower communication loads, the hybrid communication strategy enables the systems to have the same resilience as in pure Round-robin.

연구 동기 및 목표

• 통신이 라운드로빈 순서를 따를 때 대규모 분산 시스템이 DoS 공격 하에서 안정성 확보를 분석하는 것.
• 점점이 안정성을 유지하는 데 필요한 DoS 공격 주파수와 지속 시간의 명시적 경계를 규명하는 것.
• 순수 라운드로빈와 동일한 내공성과 함께 통신 부하를 감소시키는 하이브리드 통신 전략을 설계하는 것.
• 순수 라운드로빈와 동일한 안정성 마진을 유지하면서도 제로노 행동을 방지하는 하이브리드 전략을 확보하는 것.

제안 방법

• 라운드로빈 통신 하에서 상호연결된 대규모 시스템의 점점이 안정성을 분석하기 위해 소이득 접근법을 적용한다.
• 시스템의 이득 특성과 리아푸노프 함수를 이용해 DoS 공격 주파수와 지속 시간에 대한 명시적 경계를 유도한다.
• 하이브리드 전송 전략을 설계함: 정상 작동 시 이벤트 트리거드 제어, DoS 공격 시 자동으로 라운드로빈으로 전환.
• 이벤트 트리거드 구성 요소는 실용적 안정성 확보와 제로노 행동 방지를 위해 소이득 추론을 사용한다.
• 스위칭 로직은 라운드로빈의 강건성 덕분에 DoS 기간 동안 빠른 통신 복구를 보장한다.
• 수치 시뮬레이션을 통해 두 사례 연구(선형 시스템 및 역퍼니들 시스템 네트워크)를 활용해 이론적 결과를 검증한다.

실험 결과

연구 질문

• RQ1 라운드로빈 통신 하에서 대규모 분산 시스템이 라운드로빈 통신 하에서 DoS 공격 주파수와 지속 시간이 어느 정도일 때까지 점점이 안정성을 유지하는가?
• RQ2 하이브리드 통신 전략은 순수 라운드로빈와 동일한 안정성 내공성을 유지하면서도 통신 부하를 감소시킬 수 있는가?
• RQ3 DoS 조건 하에서 이벤트 트리거드 제어에서 하이브리드 전략은 제로노 행동을 어떻게 방지하는가?
• RQ4 시스템 동역학과 제어기 설계는 유도된 안정성 경계의 보수성에 어떤 영향을 미치는가?
• RQ5 이론적 경계를 위반하더라도 하이브리드 전략은 DoS 공격 하에서도 안정성을 유지할 수 있는가?

주요 결과

• 공격 지속 시간과 전체 사이클 시간의 비율이 유도된 경계 이하일 경우, 시스템은 DoS 공격 하에서도 점점이 안정성을 유지하며 수치적으로 검증되었다.
• 예제 1에서 하이브리드 전략은 라운드로빈의 1200회에서 통신 횟수를 112회로 감소시켜 통신 부하를 90.7% 감소시켰다.
• 예제 2에서 하이브리드 전략은 통신 횟수를 11,997회에서 254회로 감소시켜 통신 부하를 97.9% 감소시켰다.
• 이론적 경계가 위반되었음에도 불구하고 시뮬레이션에서 시스템은 안정성을 유지했으며, 이는 경계가 보수적임을 시사한다.
• 하이브리드 전략은 순수 라운드로빈와 동일한 안정성 내공성을 유지하면서도 통신 오버헤드를 크게 감소시켰다.
• 이론적 경계의 보수성은 제어기 설계에서의 불안정한 동역학, 높은 피드백 이득 및 커플링 파라미터에 기인한다.