[논문 리뷰] Control over adversarial packet-dropping communication networks revisited

Valery Ugrinovskii, Cédric Langbort|arXiv (Cornell University)|2014. 03. 22.

Security in Wireless Sensor Networks참고 문헌 15인용 수 5

한 줄 요약

이 논문은 일단계 영구 제로섬 스토케스틱 게임으로(controller와 전략적 잡스터 사이의 상호작용을 모델링하여, 공격성 패킷 손실 네트워크에 대한 제어를 재검토한다. 비자명한 안장점 균형의 존재를 위한 필요 및 충분조건을 유도하며, 잡스터가 상태공간의 특정 영역에서 채널 선택을 랜덤화해야 하며, 이로 인해 컨트롤러가 비선형 반응을 취하게 되어, 성공적인 DoS 공격의 특징을 드러낸다.

ABSTRACT

We revisit a one-step control problem over an adversarial packet-dropping link. The link is modeled as a set of binary channels controlled by a strategic jammer whose intention is to wage a `denial of service' attack on the plant by choosing a most damaging channel-switching strategy. The paper introduces a class of zero-sum games between the jammer and controller as a scenario for such attack, and derives necessary and sufficient conditions for these games to have a nontrivial saddle-point equilibrium. At this equilibrium, the jammer's optimal policy is to randomize in a region of the plant's state space, thus requiring the controller to undertake a nontrivial response which is different from what one would expect in a standard stochastic control problem over a packet dropping channel.

연구 동기 및 목표

• 컨트롤러와 적대적 잡스터 사이의 일단계 제로섬 스토케스틱 게임으로 제어 네트워크 내 전략적 잡스팅을 모델링한다.
• 잡스터의 최적 전략이 단일 채널 선택이 아닌 채널 간 랜덤화를 포함하는 조건을 규명한다.
• 비자명한 잡스터 전략이 존재하고 성능 저하를 초래하는 식물의 초기 상태 집합을 특성화한다.
• 잡스터의 전략이 랜덤화될 경우 최적의 컨트롤러 반응이 선형 피드백 정책과 대조적으로 비선형임을 보여준다.
• 비선형 및 선형-제곱형 제어 문제에 모두 적용 가능한 일반적 프레임워크를 제공하며, 이는 이전의 공격성 채널 제어 결과를 확장한다.

제안 방법

• 혼합 전략을 포함한 일단계 정적 제로섬 스토케스틱 게임으로 공격성 채널에 대한 제어 문제를 수립한다.
• 컨트롤러의 행동과 잡스터의 채널 선택에 따라 달라지는 지ay 함수를 도입하며, 상태에 의존하는 비용과 채널 신뢰도를 통합한다.
• 지ay 함수의 볼록성과 강제성 조건에 기반한 안장점 존재를 위한 필요 및 충분 조건을 적용한다.
• 상태에 의존하는 이차형식을 사용하여 선형-제곱형 경우에서 최적의 랜덤화 잡스터 전략 존재 조건을 명시적으로 도출한다.
• 현재 채널과 가장 차단성이 높은 채널에 집중하여 게임을 이원 채널 축소 게임으로 줄여 분석을 단순화한다.
• 상태 벡터와 시스템 파라미터에 대한 대수적 조건을 사용하여 잡스터의 랜덤화가 최적일 영역을 결정한다.

실험 결과

연구 질문

• RQ1 잡스터가 단일 채널 선택 대신 채널 선택을 랜덤화함으로써 최대의 혼란을 초래하는 조건은 무엇인가?
• RQ2 비자명한 잡스터 전략(특히 랜덤화된 채널 선택)이 존재하고 최적일 수 있는 식물의 초기 상태 집합은 무엇인가?
• RQ3 잡스처가 전략을 랜덤화할 경우 최적의 컨트롤러 반응은 표준 선형 피드백과 어떻게 다를까?
• RQ4 지ay 함수의 일반적인 볼록성 및 강제성 조건을 사용하여 비자명한 안장점 균형의 존재를 특성화할 수 있는가?
• RQ5 잡스터가 랜덤화에서 이득을 얻기 위해 특정 채널에 별도의 지급을 할당할 필요가 있는가, 아니면 채널 신뢰도만으로도 충분한가?

주요 결과

• 비자명한 안장점 균형이 존재하는 것은 상태 벡터가 시스템의 상태 전이 행렬, 입력 행렬, 채널 확률을 포함한 특정 부등식을 만족할 때에만 가능하다.
• 잡스터의 최적 전략은 현재 사용 중인 채널과 가장 차단성이 높은 채널(f₁) 사이에서 랜덤화를 수행하며, 이는 상태가 조건 $1 - \frac{1}{(1+\|B\|^2 q_1)^2} < z < 1 - \frac{1}{(1+\|B\|^2 q_{j^-})^2}$ 로 정의된 특정 영역 내에 있을 경우에만 성립한다. 여기서 $z = \frac{\tau \|B\|^2}{(q_{j^-}-q_1)x^T A^T B B^T A x}$.
• 최적의 컨트롤러 반응은 비선형이며, $\bar{u} = -\frac{1}{\|B\|^2} B^T A x \left(1 - \sqrt{\frac{\tau \|B\|^2}{(q_1 - q_{j^-}) x^T A^T B B^T A x}} \right)$ 로 주어진다. 이는 선형 피드백과 다름을 보이며, 난이도 있게 적용될 경우 성능이 열 劣화된다.
• 이러한 영역의 존재는 잡스터의 채널 전환 비용(τ로 표현됨)과 현재 채널 및 가장 차단성이 높은 채널의 전이 확률에 의해 결정된다.
• 유도된 조건은 [15]의 이전 결과를 일반화하여, 전체 수치적 분석 없이도 공격 관련 상태공간을 직접 특성화할 수 있도록 한다.
• 이 프레임워크는 잡스터의 랜덤화가 전략적 이점임을 확인하며, 표준 제어 정책이 i.i.d. 패킷 손실을 가정하므로 이 공격는 탐지되지 않음을 시사한다.