[논문 리뷰] Strategic Topology Switching for Security-Part II: Detection & Switching Topologies

Yanbing Mao, Emrah Akyol외 1명|arXiv (Cornell University)|2017. 11. 30.

Distributed Control Multi-Agent Systems참고 문헌 32인용 수 7

한 줄 요약

이 논문은 공격 시작 시점이나 손상된 에이전트 수에 대한 지식이 없이도 2차 다중에이전트 시스템에서 제로다이내믹스 공격(ZDA)을 탐지하기 위한 전략적 토폴로지 전환 프레임워크를 제안한다. 루엔버거 관측기 기반 탐지와 동적으로 변화하는 네트워크 토폴로지 전환을 활용하여 일반 조건 하에서도 탐지 가능성을 보장함으로써, 공격자 지식에 대한 최소한의 가정으로도 탈중앙화된 시스템에서 강력한 보안을 달성한다.

ABSTRACT

This two-part paper considers strategic topology switching for security in the second-order multi-agent system. In Part II, we propose a strategy on switching topologies to detect zero-dynamics attack (ZDA), whose attack-starting time is allowed to be not the initial time. We first characterize the sufficient and necessary condition for detectability of ZDA, in terms of the network topologies to be switched to and the set of agents to be monitored. We then propose an attack detection algorithm based on the Luenberger observer, using the characterized detectability condition. Employing the strategy on switching times proposed in Part I and the strategy on switching topologies proposed here, a strategic topology-switching algorithm is derived. Its primary advantages are threefold: (i) in achieving consensus in the absence of attacks, the control protocol does not need velocity measurements and the algorithm has no constraint on the magnitudes of coupling weights; (ii) in tracking system in the absence of attacks, the Luenberger observer has no constraint on the magnitudes of observer gains and the number of monitored agents, i.e., only one monitored agent's output is sufficient; (iii) in detecting ZDA, the algorithm allows the defender to have no knowledge of the attack-starting time and the number of misbehaving agents (i.e., agents under attack). Simulations are provided to verify the effectiveness of the strategic topology-switching algorithm.

연구 동기 및 목표

• 공격 시작 시점이 알려져 있지 않으며 시스템 초기화 시점이 아닌 상황에서도 도사리진 제로다이내믹스 공격(ZDA)을 탐지할 수 있는 데에 있어 핵심적인 격차를 메우는 것.
• 정상 작동 시 속도 측정이 불필요하고 커플링 가중치에 제약이 없는 탈중앙화된 탐지 메커니즘을 개발하는 것.
• 방어자가 오작동하는 에이전트의 수나 정확한 공격 발생 시점에 대한 지식이 없더라도 ZDA를 탐지할 수 있도록 하는 것.
• 정상 조건에서는 시스템 안정성과 공약성(consensus)을 유지하면서도 공격 시 전략적 토폴로지 전환을 통해 탐지 가능성을 확보하는 것.
• 이전 연구에서 제기된 제한적인 가정, 예를 들어 알려진 공격 시작 시점과 고정된 네트워크 연결 요구 조건을 제거하는 것.

제안 방법

• 공격 대상이 되는 네트워크 토폴로지와 감시 대상 에이전트 집합에 기반한 ZDA 탐지 가능성 조건을 제안한다.
• 유도된 탐지 가능성 조건을 활용하여 실시간으로 ZDA를 식별할 수 있는 루엔버거 관측기 기반 탐지 알고리즘을 적용한다.
• 제1부에서 제안한 토폴로지 전환 전략과 새로운 탐지 메커니즘을 통합하여 완전한 전략적 토폴로지 전환 알고리즘을 구성한다.
• 라플라시안 행렬의 스펙트럼 분석과 시스템 동역학을 활용하여 공격 조건과 정상 작동 조건에서 고유값 행동을 특성화한다.
• 라플라시안 고유값과 관측기 파rameter를 포함하는 행렬식 기반 조건을 유도하여 탐지 가능성의 타당성을 검증한다.
• 시스템 동역학의 동적 변화가 공격 탐지에 기여할 수 있도록 전환 토폴로지 전략을 설계하였으며, 공격 없이도 시스템이 불안정해지지 않도록 보장한다.

실험 결과

연구 질문

• RQ1 공격 시작 시점이 알려져 있지 않은 상황에서 제로다이내믹스 공격은 어떤 조건 하에서 2차 다중에이전트 시스템에서 탐지될 수 있는가?
• RQ2 속도 측정이 불필요하고 커플링 가중치에 제약이 없는 탈중앙화된 탐지 메커니즘은 어떻게 설계할 수 있는가?
• RQ3 정상 작동 시 공약성과 안정성을 유지하면서도 ZDA 탐지 가능성을 보장하는 토폴로지 전환 전략은 무엇인가?
• RQ4 방어자가 오작동하는 에이전트의 수를 모른다고 할 때도 탐지 알고리즘이 효과적으로 기능할 수 있는가?
• RQ5 토폴로지 전환에 의해 발생하는 시스템 동역학의 동적 변화가 정상 조건에서 시스템을 불안정하게 만들지 않도록 보장하는 수학적 조건은 무엇인가?

주요 결과

• 제안된 방법은 방어자가 공격 시작 시점을 알지 못하는 상황에서도 ZDA의 탐지 가능성을 확보하여 이전 연구의 핵심적 한계를 극복한다.
• 관측기 설계와 토폴로지 전환 전략 덕분에 오직 한 명의 감시 대상 에이전트만으로도 오작동하는 에이전트의 수에 관계없이 효과적인 ZDA 탐지가 가능하다.
• 제어 프로토콜은 속도 측정이 불필요하고, 커플링 가중치에 크기 제약이 없어 실용성과 강건성을 향상시킨다.
• 공격이 없는 상황에서는 시스템이 2차 공약성(consensus)을 유지하여 정상 작동이 보장된다.
• 탐지 가능성 조건은 스펙트럼적 성질과 루엔버거 관측기 파rameter에 기반하여 필요충분조건으로 유도되었으며, 타당성이 입증되었다.
• 시뮬레이션 결과 전략적 토폴로지 전환 알고리즘이 공격 발생 시점이 알려지지 않은 현실적인 공격 시나리오에서도 ZDA를 성공적으로 탐지함을 확인하였다.