[논문 리뷰] On Single-Input Controllable Linear Systems Under Periodic DoS Jamming Attacks

Hamed Shisheh Foroush, Sonia Martı́nez|arXiv (Cornell University)|2012. 09. 18.

Smart Grid Security and Resilience참고 문헌 20인용 수 17

한 줄 요약

이 논문은 주기적인 서비스 제공 거부(DoS) 방해 공격을 받는 단일 입력 가용 선형 시스템을 안정화하기 위해 매개변수에 의존하는 제어 전략을 제안한다. 이 전략은 폐루프 근을 전략적으로 배치하여 안정성을 확보한다. 이 방법은 차수 4 이하의 시스템에 대해 점근적 안정성을 보장하며, 방해자 매개변수가 부분적으로만 알려져 있어도 다섯 번째 차수 시스템에 대해서는 실용적 안정성을 보여준다.

ABSTRACT

In this paper, we study remotely-controlled single-input controllable linear systems, subject to periodic Denial-of-Service (DoS) attacks. We propose a control strategy which can beat any partially identified jammer by properly placing the closed-loop poles. This is proven theoretically for systems of dimension 4 or less. Nevertheless, simulations show the practicality of this strategy for systems up to order 5.

연구 동기 및 목표

• 주기적인 DoS 방해 공격 하에서 원격으로 제어되는 선형 시스템의 보안 취약성을 해결하기 위해.
• 방해자 매개변수가 부분적으로만 확인되어도 효과적인 제어 전략을 설계하기 위해.
• 방해로 인한 간헐적 통신 장애에도 불구하고 폐루프 시스템의 점근적 안정성을 확보하기 위해.
• 방해자 행동의 주기성과 호환되는 트리거링 법칙을 개발하여 불필요한 전송을 최소화하기 위해.
• 이전 연구가 모든 주기적인 DoS 방해자에 대응하지 못한 점을 보완하기 위해 매개변수에 의존하는 제어기 설계를 도입하기 위해.

제안 방법

• 조정 가능한 매개변수 λ에 의존하는 제어 설계 법칙을 제안하여, 어떤 주기적인 DoS 방해자에게도 대응할 수 있도록 근을 배치한다.
• 폐루프 시스템을 단일 고유값 −λ가 중복도 5인 표준형으로 변환하여 체계적인 안정성 분석을 가능하게 한다.
• 일반화된 고유벡터를 계산하여 시스템을 조르당 표준형으로 만드는 변환 행렬 Tλ를 구성한다.
• 방해자 주기의 온/오프 사이클과 동기화된 새로운 트리거링 법칙을 설계하여 간섭에 노출되는 것을 최소화한다.
• 방해자의 주기성을 활용하여 T(주기), Ton,cr, Toff,cr와 같은 알려진 매개변수를 이용해 업데이트 타이밍을 최적화한다.
• 고유값 및 조르당 형식 분석을 통해 차수 4 이하의 시스템에 대해 이론적으로 안정성을 증명하며, 시뮬레이션을 통해 차수 5까지 확장한다.

실험 결과

연구 질문

• RQ1 방해자 매개변수가 부분적으로만 알려져 있어도, 주기적인 DoS 방해 공격 하에서 단일 입력 가용 선형 시스템을 안정화할 수 있는 제어 전략을 설계할 수 있는가?
• RQ2 주기적인 통신 장애가 존재하는 상황에서 폐루프 근을 어떻게 배치하여 점근적 안정성을 확보할 수 있는가?
• RQ3 트리거링 정책은 방해의 영향을 최소화하면서도 시스템 성능을 유지하는 데 어떤 역할을 하는가?
• RQ4 4차 이하에 대한 이론적 안정성 결과가 고차수 시스템으로 어떻게 확장될 수 있는가?
• RQ5 다른 듀티 사이클을 가진 방해자, 예를 들어 90% 대비 50% 활성 주기에서 시스템은 어떻게 반응하는가?

주요 결과

• 제안된 제어 전략은 주기적인 DoS 방해 공격 하에서 단일 입력 연속 LTI 시스템의 차수 4 이하에 대해 점근적 안정성을 보장한다.
• 다섯 번째 차수 시스템에 대해서는 이론적 증명이 없이도 시뮬레이션 결과 안정성이 확인되어, 이 방법이 고차수 시스템으로도 확장될 수 있음을 시사한다.
• 안정성 분석에서 계수 C(λ)는 λ → ∞ 일 때 0으로 수렴함을 보여주며, 이는 높은 이득 조정에 따라 안정성이 향상됨을 의미한다.
• 90% 활성 주기와 50% 활성 주기의 두 가지 다른 방해자 프로파일 모두에서 시스템은 안정성을 유지하며, 다양한 공격 강도에 대한 내성을 입증한다.
• 변환 행렬 Tλ와 조르당 형식 분석을 통해 폐루프 시스템이 대수적 중복도 5, 기하적 중복도 1인 단일 고유값 −λ를 가짐을 확인하여 정밀한 근 배치가 가능함을 입증한다.
• 트리거링 정책은 방해자 주기와 동기화되어 있어, 방해 간격 동안 제어 업데이트가 발생할 가능성을 줄이며, 시스템의 내성을 향상시킨다.