A Learning With Errors based encryption scheme for dynamic controllers that discloses residue signal for anomaly detection

기술 요약: 이상 탐지를 위한 잔류 신호를 공개하는 동적 제어기를 위한 학습 오류 기반 암호화 체계

문제 정의
본 논문은 암호화된 제어 시스템의 중요한 한계를 다룹니다: 동형 암호화 (HE) 는 전송 및 계산 중 제어 매개변수와 신호의 기밀성을 보장하지만, 동시에 이상 탐지에 필요한 정보를 은폐합니다. 표준 암호화된 제어 아키텍처에서 잔류 신호 (위조 데이터 주입이나 서비스 거부와 같은 공격을 탐지하는 데 사용되는 기대 행동과의 편차) 는 암호화된 상태로 남습니다. 결과적으로 이상을 탐지하려면 네트워크 측 탐지기와 비밀 키를 공유해야 하거나 (보안 위험을 초래), 암호화 도메인에서 계산 집약적인 비교를 수행한 후 복호화해야 합니다. 저자들은 모든 다른 시스템 신호의 기밀성과 기반 암호 체계의 보안 보장을 유지하면서 이상 탐지를 위해 잔류 신호를 평문으로 자동으로 공개하는 암호화 체계를 설계하는 문제로 문제를 규정합니다.

방법론
제안된 솔루션은 메시지에 무작위 마스킹 항을 추가하여 보안을 보장하는 학습 오류 (LWE) 기반 암호화 체계를 기반으로 합니다. 핵심 방법론은 정수 유한체 ($\mathbb{Z}_q$) 위에서 정의된 암호화된 동적 시스템의 "영역동성 (zero-dynamics)"을 특성화하는 것을 포함합니다.

1. 영역동성 조작: 저자들은 잔류 신호와 관련된 마스킹 항 ($b_r(t)$) 의 동역학을 분석합니다. 그들은 암호화된 초기 상태와 암호화된 입력 시퀀스를 적절히 조작함으로써 마스킹 항을 모든 시간 단계에서 동일하게 영 ($b_r(t) \equiv 0$) 으로 유지될 수 있음을 입증합니다. 이는 시스템의 영역동성 (Byrnes-Isidori 정규형으로의 좌표 변환을 통해 유도됨) 에 기반하여 초기 상태와 입력 시퀀스의 특정 부분을 상쇄함으로써 달성됩니다.
2. 자동 공개: 마스킹 항이 영일 때, 결과 암호문의 첫 번째 구성 요소는 평문 잔류 신호에 직접 대응합니다. 이는 네트워크 측 탐지기가 비밀 키가 필요하거나 복호화를 수행하지 않고도 잔류 신호를 직접 읽을 수 있게 합니다.
3. $\mathbb{R}$ 위의 동적 제어기 구현: 실수 위에서 작동하는 실제 세계의 제어기에 이를 적용하기 위해, 저자들은 제어기를 $\mathbb{Z}_q$ 위의 정수 기반 시스템으로 변환하는 방법을 제안합니다. 액추에이터에서 제어기 출력을 복호화하고, 이를 다시 암호화한 후 상태 행렬을 정수로 변환하기 위해 피드백하는 "재암호화"를 요구하는 이전 접근법과 달리, 이 체계는 공개된 잔류 신호를 직접 피드백 입력으로 활용합니다. 이는 액추에이터와 제어기 간의 추가 통신 링크의 필요성을 제거합니다.
4. 보안 분석: 논문은 수정된 암호문을 관찰하는 적의 관점이 표준 암호문과 공개된 잔류 신호를 포함하는 관점에서 결정론적으로 재구성 가능함을 보여주는 공식적인 보안 분석을 제공합니다. 이는 이 체계가 잔류 신호 자체가 시사하는 것 이상의 정보를 유출하지 않음을 증명합니다.

주요 기여

• 잔류 신호 공개: 주요 기여는 모든 다른 신호 (상태, 입력, 출력) 를 기밀로 유지하면서 복호화 없이 이상 탐지를 위해 잔류 신호를 자동으로 공개하는 LWE 기반 암호화 체계입니다.
• 재암호화 제거: 논문은 재암호화 없이 암호화된 데이터로 비정수 상태 행렬을 가진 동적 제어기를 구현하는 방법을 제시합니다. 공개된 잔류 신호를 피드백 입력으로 사용함으로써, 이전 재암호화 전략과 관련된 계산 및 통신 오버헤드를 피합니다.
• 이론적 보장: 저자들은 암호화된 제어기가 암호화되지 않은 제어기의 성능 (유계 오차) 을 유지하는 조건을 확립하고, 의도된 공개를 제외하고는 표준 LWE 체계의 보안이 훼손되지 않음을 증명합니다.

결과
저자들은 두 질량 - 스프링 시스템에 대한 수치 시뮬레이션을 통해 접근법을 검증합니다.

• 성능: 시뮬레이션은 암호화되지 않은 제어기와 제안된 암호화된 제어기를 비교합니다. 결과는 암호화된 제어기가 암호화되지 않은 경우와 실질적으로 동일한 제어 입력과 잔류 신호를 생성하며, 이론에서 유도된 성능 한계를 충족함을 보여줍니다.
• 이상 탐지: 센서 출력에 주입된 가산 신호를 포함하는 공격 시나리오가 시뮬레이션되었습니다. 암호화되지 않은 제어기와 암호화된 제어기 모두 누적 합 (CUSUM) 기반 이상 탐지기를 사용하여 공격을 성공적으로 탐지했습니다. 잔류 신호와 CUSUM 통계는 비교 가능하여, 잔류 신호의 공개가 탐지 능력을 방해하지 않음을 확인했습니다.
• 효율성: 제안된 방법은 재암호화 방법에서 요구되는 액추에이터에서의 추가 통신 링크 및 복호화/암호화 주기를 피함으로써 계산 부담과 지연 시간을 줄입니다.

의의 및 주장
본 논문은 제안된 체계가 암호화된 제어 시스템에서 데이터 기밀성과 이상 탐지성 사이의 근본적인 트레이드오프를 해결한다고 주장합니다. 시스템의 영역동성을 활용함으로써 네트워크 측 탐지기가 비밀 키에 접근하지 않고도 시스템 상태를 모니터링할 수 있게 합니다. 저자들은 이것이 기반 LWE 체계의 의미적 보안을 훼손하지 않고 달성됨을 강조합니다. 또한, 재암호화 없이 실수 위에서 동적 제어기를 작동할 수 있는 능력은 암호화된 제어 시스템 배포의 중요한 실용적 장벽을 해결하여 실시간 운영을 위한 더 효율적인 아키텍처를 제공합니다. 이 연구는 프라이버시와 안전 (이상 탐지를 통해) 이 상호 배타적이지 않은 안전하고 복원력 있는 네트워크 제어 시스템을 향한 한 걸음으로 위치합니다.