⚡ electrical engineering

Sensor Attack Detection Method for Encrypted State Observers

본 논문은 유한 정수체에서 잔류 신호를 생성하여 센서 공격을 탐지하고 복호화 없이 암호화된 상태를 복구하는 일반적인 다중 입력 다중 출력 시스템을 위한 동형 암호 기반 상태 관측기를 제안한다.

원저자: Yeongjun Jang, Sangwon Lee, Junsoo Kim

게시일 2026-05-20

📖 4 분 읽기☕ 가벼운 읽기

원저자: Yeongjun Jang, Sangwon Lee, Junsoo Kim

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

이 논문은 간단한 언어와 일상적인 비유를 사용하여 설명합니다.

큰 그림: "잠긴 상자" 문제

가상적으로 매우 민감한 기계 (예: 발전소나 자율 주행 자동차) 가 똑똑한 컴퓨터에 의해 제어되어야 한다고 상상해 보세요. 해커로부터 기계를 보호하기 위해 모든 데이터를 수학 계산을 수행하는 "클라우드" 컴퓨터로 보내고 싶지만, 클라우드 컴퓨터를 신뢰하지 않으므로 데이터를 특별한 암호화된 상자에 잠가 둡니다.

문제는 다음과 같습니다: 데이터가 잠겨 있으면 기계가 고장 났는지 확인할 수 없습니다.
해커가 센서를 조작하여 (예: 자동차의 속도를 거짓으로 보고하는 등) 데이터를 변조하더라도, 데이터가 여전히 잠겨 있기 때문에 클라우드 컴퓨터는 그 거짓말을 알아차릴 수 없습니다. 일반적으로 거짓말을 확인하려면 상자를 열고 데이터를 확인한 후 다시 잠가야 합니다. 하지만 이는 데이터를 비밀로 유지하려는 목적을 무효화합니다.

이 논문은 클라우드 컴퓨터가 상자를 한 번도 열지 않고도 거짓말쟁이를 찾아낼 수 있도록 "클라우드 컴퓨터"를 구축하는 새로운 방법을 제안합니다.

해결책: "마법 영수증" 시스템

저자들은 세 가지 주요 트릭을 갖춘 특별한 시스템을 개발했습니다:

1. "모듈러 수학" 놀이터

일반적으로 컴퓨터는 무한한 숫자를 다룹니다. 하지만 데이터를 잠그기 위해 이 시스템은 시계판과 같은 "유한체 (finite field)"를 사용합니다.

0 에서 100 까지의 숫자가 있는 시계를 상상해 보세요. 50 에 100 을 더하면 150 이 아니라 다시 50 이 됩니다 (시계를 한 바퀴 돌아서 다시 시작하기 때문입니다).
저자들은 기계의 상태를 추정하는 관찰자 (observer) 가 이 "시계" 위에서 완전히 작동하도록 설계했습니다. 이를 통해 클라우드 컴퓨터가 잠긴 숫자를 잠그지 않고도 수학 계산을 수행할 수 있게 해주는 특수한 암호화 방식 (동형 암호화) 을 사용할 수 있습니다.

2. "중복 증인들"

금고를 지키는 5 명의 경비원이 있다고 상상해 보세요. 만약 한 명의 경비원이 뇌물을 받고 (공격을 받아) 거짓말을 한다면, 누가 거짓말을 하는지 알 수 없을 수 있습니다. 하지만 5 명의 경비원이 있고 적어도 3 명은 정직하다는 것을 안다면, 그들의 이야기를 비교할 수 있습니다.

이 논문은 기계에 센서 (증인) 가 충분히 있어서 몇 개가 해킹당하더라도 나머지는 여전히 진실을 말한다고 가정합니다.
시스템은 정직한 센서의 모든 가능한 조합을 기반으로 기계의 상태를 계산합니다. 이야기들이 맞지 않으면 무언가 잘못되었습니다.

3. "마법 영수증" (잔류 신호)

이 부분이 가장 창의적입니다.

일반적으로 클라우드 컴퓨터가 경비원들의 이야기 사이에 불일치를 발견하면, "이봐, 문제가 있어!"라고 알려주기 위해 상자를 열어야 합니다.
저자들은 암호화를 수정하여 "불일치" 신호 (이를 잔류 신호라고 함) 가 잠기지 않은 특수 영수증에 인쇄되도록 했습니다.
비유: 클라우드 컴퓨터가 비밀 레시피를 요리하는 요리사라고 상상해 보세요. 보통 요리사가 음식을 태우면 비밀을 알려주기 위해 부엌 문을 열어야 합니다. 하지만 이 새로운 시스템에서는 요리사가 창문 밖으로 연기 신호를 남깁니다. 음식 (비밀) 을 볼 필요 없이 연기가 나는 것만으로도 태우고 있다는 것을 알 수 있습니다.
"연기" (잔류 신호) 는 수학에 의해 자동으로 생성됩니다. 연기가 너무 짙으면 공격이 발생하고 있다는 것을 알 수 있고, 연기가 얇으면 모든 것이 정상입니다.

작동 방식 단계별 설명

데이터 잠금: 기계는 센서 데이터와 제어 입력을 클라우드에 보냅니다. 하지만 이들은 암호화 (잠금) 되어 있습니다.
클라우드의 수학 계산: 클라우드 컴퓨터는 잠긴 데이터에 대해 "시계 수학"을 실행합니다. 기계의 상태를 추정해 봅니다.
자동 경보: 특수한 수학 설계 덕분에 클라우드 컴퓨터는 서로 다른 센서 이야기 사이의 "불일치"를 자동으로 계산합니다.
- 센서들이 동의하면 불일치는 매우 작습니다 (단순한 일반 노이즈).
- 해커가 거짓말을 하면 불일치는 거대해집니다.
결과: 클라우드는 두 가지 것을 되돌려 보냅니다.
- 상태 추정치 (잠김): 기계가 무엇을 하고 있는지에 대한 최선의 추측으로, 여전히 잠긴 상자 안에 있습니다.
- 잔류 신호 (잠금 해제): 센서들이 거짓말을 하는지 알려주는 간단한 숫자입니다.

왜 이것이 중요한가

보안: 클라우드 컴퓨터에 데이터를 잠금 해제하는 "열쇠"를 절대 줄 필요가 없습니다. 데이터는 전체 시간 동안 비밀로 유지됩니다.
안전: 센서가 해킹당했는지 즉시 알 수 있습니다. "연기 신호"가 울리면 해커가 물리적 손상을 입히기 전에 기계를 멈추거나 백업 계획으로 전환할 수 있습니다.
다용도성: 이 아이디어의 이전 버전들은 매우 단순한 기계 (입력 하나, 출력 하나) 에 대해서만 작동했습니다. 이 논문은 실제 산업용 공장처럼 많은 입력과 출력을 가진 복잡한 기계에서도 작동함을 증명합니다.

시뮬레이션 증명

저자들은 "세 관성 시스템" (회전하는 추가 있는 기계 시스템의 모델) 시뮬레이션에서 이를 테스트했습니다.

데이터를 잠갔습니다.
센서 중 하나에 가짜 공격 신호를 보냈습니다.
결과: "연기 신호" (잔류) 가 즉시 급증하여 공격을 보여주었고, 나머지 데이터는 완벽하게 암호화되고 안전하게 유지되었습니다.

요약

이 논문은 비밀을 드러내기 위해 입을 열지 않고도 "침입자!"라고 외칠 수 있는 "똑똑한 잠긴 상자"를 구축하는 방법을 발명했습니다. 이는 특수한 시계 수학과 중복 센서를 사용하여 암호화된 데이터 전체에서 작동하는 자동 경보 시스템을 생성합니다.

기술 요약: 암호화된 상태 관측기를 위한 센서 공격 탐지 방법

문제 제기
네트워크 제어 시스템에서 동형 암호화 (HE) 를 활용한 암호화 제어는 암호화된 데이터에 대한 연산을 가능하게 하여 기밀성을 유지합니다. 그러나 데이터 무결성을 보장하는 데 있어 중요한 과제가 발생합니다: 암호화는 센서 공격과 같은 데이터 변조 공격의 효과를 숨깁니다. 암호화된 시스템에서의 공격 탐지를 위한 기존 접근법은 일반적으로 복호화 키를 보유한 외부 탐지기로 암호화된 잔차 신호를 전송해야 하므로, 통신 오버헤드와 잠재적인 보안 위험을 초래합니다. 또한, 저자들의 이전 연구는 단일 입력 단일 출력 (SISO) 시스템으로 제한되었습니다. 본 논문은 복호화 없이 센서 공격을 직접 탐지할 수 있는 암호화된 상태 관측기의 필요성을 다루며, 일반적인 다중 입력 다중 출력 (MIMO) 시스템에 적용 가능한 방법을 제시합니다.

방법론
제안된 방법은 정수 유한체 ( $\mathbb{Z}_q$ ) 상에서 설계된 상태 관측기와 수정된 학습 오류 (LWE) 기반 동형 암호화 방식을 통합합니다.

$\mathbb{Z}_q$ 상의 관측기 설계:
저자들은 먼저 모듈러 산술을 사용하여 $\mathbb{Z}_q$ 상에서 작동하는 상태 관측기를 설계합니다. 관측기는 센서 중복성과 희소 공격 가정 (p 개 센서 중 최대 k 개만 손상됨) 을 활용합니다. 각 센서 출력에 대한 부분 관측기를 구성하고 이를 결합하여 완전한 관측기를 형성합니다. 특정 잔차 신호 $\bar{r}(t)$ 는 서로 다른 센서 부분집합에서 유도된 상태 추정치 간의 차이로 정의됩니다. 적어도 $p-k$ 개의 센서가 손상되지 않았다는 가정 하에, 작은 잔차 신호는 유효한 상태 추정을 나타내고 큰 잔차 신호는 공격을 나타냅니다. 관측기 행렬은 암호화를 위해 정수 값을 유지하도록 스케일링 및 양자화됩니다.
수정된 동형 암호화 방식:
복호화 없이 공격 탐지를 가능하게 하기 위해, 저자들은 표준 LWE 암호화 방식을 수정합니다. 핵심 혁신은 $\mathbb{Z}_q$ 상의 MISO(다중 입력 단일 출력) 시스템 표현의 **영동역 (zero-dynamics)**을 활용합니다.
- 시스템은 출력 (잔차) 이 특정 내부 상태에 의해 구동되는 정규 형태로 분해됩니다.
- 암호화 알고리즘은 잔차 신호에 해당하는 특정 출력 채널에 대해 "마킹 항 (메시지를 은폐하는 노이즈 성분)"을 명시적으로 상쇄되도록 변경됩니다.
- 암호화된 잔차의 마킹 항이 동일하게 0 으로 유지되도록 강제함으로써, 시스템은 암호문의 특정 열에 잔차 신호를 자동으로 노출시킵니다.
- 이 접근법은 각 출력 채널에 대해 방식을 반복 적용함으로써 저자들의 이전 SISO 연구를 일반적인 MIMO 시스템으로 확장합니다.
탐지 및 복구:
암호화된 관측기는 암호화된 입력과 상태에 대해 작동합니다. 잔차 신호는 비밀 키 없이 결과 암호문의 첫 번째 열에서 스케일링을 통해 직접 복구됩니다. 복구된 잔차의 크기가 지정된 임계값을 초과하면 센서 공격이 탐지됩니다. 동시에, 관측기의 상태를 복호화함으로써 전체 상태를 암호화된 메시지로 복구할 수 있습니다.

주요 기여

복호화 없이 직접적인 공격 탐지: 본 논문은 이상 탐지에 필수적인 잔차 신호가 암호화 도메인에서 자동으로 노출되는 방식을 제안합니다. 이는 암호화된 잔차를 신뢰할 수 있는 제삼자에게 전송하여 복호화할 필요가 없음을 의미합니다.
MIMO 시스템으로의 확장: 이전 연구가 SISO 시스템으로 제한되었던 것과 달리, 이 방법은 MISO 기반 방식을 반복 적용하여 임의의 희소 센서 공격을 처리함으로써 일반적인 다중 입력 다중 출력 시스템에 적용 가능합니다.
영동역 활용: 저자들은 관측기의 영동역을 활용하여 표준 LWE 암호문을 수정하는 메커니즘을 도입하여, 잔차 신호에 대한 마킹 항을 무효화하면서도 기본 방식의 보안을 유지합니다.
이론적 보장: 본 논문은 잔차 신호가 공격의 존재를 정확하게 반영하고 공격이 없을 때 상태 추정 오차가 유계로 유지되도록 보장하기 위한 스케일링 인자와 모듈러스 $q$ 에 대한 조건을 제공합니다.

시뮬레이션 결과
이 방법은 Ogata (1995) 의 모델을 이산화한 3 관성 시스템에 대한 시뮬레이션을 통해 검증되었습니다.

설정: 시스템은 6 개의 상태, 1 개의 입력, 5 개의 센서를 가졌습니다. 암호화 매개변수는 128 비트 보안을 보장하도록 선택되었습니다.
시나리오: $t=2.5$ 초에 세 번째 센서에 희소 공격이 주입되었습니다.
결과: 시뮬레이션은 암호화된 관측기가 공격을 성공적으로 탐지했음을 보여주었습니다. 복구된 잔차 신호와 상태 추정 오차 모두 공격 주입 직후 논문에서 정의된 이론적 임계값을 초과하여, 비밀 키에 접근하지 않고도 공격을 탐지할 수 있음을 확인했습니다.

의의 및 주장
본 논문은 제안된 방법이 암호화 제어 시스템에서 기밀성과 무결성 사이의 균형을 달성한다고 주장합니다. 상태 추정치 간의 차이만을 나타내며 플랜트 상태를 직접 드러내지 않는 잔차 신호만을 노출시킴으로써, 이 방법은 의도된 노출을 넘어 표준 LWE 방식의 보안을 훼손하지 않고 공격을 탐지합니다. 저자들은 잔차 신호가 일반적으로 노이즈와 모델 불확실성에 의해 지배되므로, 공격자가 노출된 신호만으로 의미 있는 개인 정보를 추출하기 어렵다고 지적합니다. 이 연구는 이상 탐지가 암호화된 계산 계층에 직접 통합된 안전하고 회복력 있는 제어 방향으로 나아가는 한 걸음을 의미합니다.