💻 computer science

GalSAS-SDR-SIM: An End-to-End Simulation Platform for Galileo Signal Authentication Service

본 논문은 실제 SAS 신호의 가용성이 제한적인 상황에서도 인증 가능 수신기의 개발 및 평가를 가능하게 하기 위해, E6 코드 암호화와 OSNMA 키 공개를 결합하여 갈릴레오 신호 인증 서비스(Galileo Signal Authentication Service)를 에뮬레이션하는 오픈 소스 소프트웨어 정의 라디오 시뮬레이션 플랫폼인 GalSAS-SDR-SIM을 소개한다.

원저자: Haiyang Wang, Yuanyu Zhang, Wensen Du, Ji He, Pinchang Zhang, Ning Xi

게시일 2026-08-04

📖 3 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Haiyang Wang, Yuanyu Zhang, Wensen Du, Ji He, Pinchang Zhang, Ning Xi

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

하늘이 보이지 않는 등대들로 가득 차 있다고 상상해 보세요. 이 등대들은 당신의 휴대폰에 당신이 정확히 어디에 있는지, 그리고 지금이 몇 시인지를 알려주는 비밀 코드를 쏘아 올립니다. 이것이 유럽의 갈릴레오(Galileo) 네트워크와 같은 글로벌 위성 항법 시스템(GNSS)이 작동하는 방식입니다. 이들은 배달 트럭부터 전력망에 이르기까지 모든 것을 안내하는 현대 세계의 침묵하는 수호자입니다. 하지만 문제가 하나 있습니다. 현재 이 신호들은 마치 공개된 엽서와 같습니다. 누구나 읽을 수 있고, 불행하게도 누구나 위조할 수도 있습니다. 해커는 진짜 신호처럼 보이는 가짜 신호를 보내 당신의 휴대폰이 다른 도시에 있거나 다른 시간에 있다고 속일 수 있습니다. 이를 "스푸핑(spoofing)"이라고 하며, 이는 디지털 기만의 위험한 게임입니다. 이를 막기 위해 과학자들은 "신호 인증 서비스(SAS)"를 구축하고 있습니다. SAS를 신분증(항법 메시지)만 확인하는 것이 아니라, 입장을 허가하기 전에 그 사람의 지문(신호의 고유 코드)까지 확인하는 첨단 보안 요원이라고 생각하면 됩니다. 하지만 문제는 이 새로운 보안 시스템이 아직 공사 중이라는 점입니다. 아무도 최종 설계도나 자신들의 보안 요원(수신기)을 테스트할 실제 작동 신호를 가지고 있지 않습니다. 실제 신호를 가지고 연습할 방법이 없기에, 개발자들은 최선의 방어책을 어떻게 만들지 추측하며 막막한 상태에 놓여 있습니다.

여기서 "GalSAS-SDR-SIM"이라는 논문이 영리한 해결책을 제시합니다. 저자인 연구진은 'GalSAS-SDR-SIM'이라는 가상의 놀이터를 만들었습니다. 이것은 오픈 소스 시뮬레이션 플랫폼으로, "가짜지만 진짜 같은" 신호 생성기 역할을 합니다. 실제 갈릴레오 위성이 새로운 보안 신호를 송출하기를 기다리는 대신, 이 소프트웨어는 컴퓨터 상에서 직접 그 신호들을 만들어냅니다. 이 플랫폼은 메시지를 확인하는 단계(OSNMA)와 신호의 코드를 확인하는 새로운 단계(SCA)라는 두 가지 보안 계층을 결합하여 갈릴레오 신호 인증 서비스의 전체 과정을 모사합니다. 이 플랫폼은 마치 위성 신호를 위한 비디오 게임 레벨 디자이너와 같습니다. 연구자들은 특정 시나리오를 설정하고, 보이는 위성을 선택하며, 보안 검사의 난이도를 조절할 수 있습니다. 이 도구를 사용함으로써 연구자들은 신호가 실제와 똑같이 보이고 작동하도록 만들 수 있으며, 이를 통해 서로 다른 수신기들이 가짜를 얼마나 잘 잡아내는지 테스트할 수 있습니다.

이 논문은 이 시뮬레이터가 완벽하게 작동한다는 것을 입증합니다. 실험에서 연구진은 특정 위치와 시간에 대한 신호를 생성하여 프로토타입 수신기에 입력했습니다. 수신기는 메시지와 코드를 성공적으로 검증했으며, 이는 시뮬레이션이 실제 연구에 사용될 수 있을 만큼 정확하다는 것을 증명합니다. 연구진은 이 시스템이 99% 이상의 성공률로 신호를 인증할 수 있다는 것을 발견했는데, 이는 오류가 거의 발생하지 않음을 의미합니다. 그러나 이 추가적인 보안에는 비용이 따른다는 것도 발견했습니다. 신호를 더 자주 확인하려고 할수록(시간 간격을 짧게 할수록), 수신기에 필요한 컴퓨터 메모리와 처리 능력이 더 많이 필요했습니다. 예를 들어, 확인 빈도를 높였을 때 수신기가 저장해야 하는 데이터 양은 약 12MB에서 124MB 이상으로 급증했습니다. 또한 연구진은 "노이즈"(정전기 간섭)에 시스템이 어떻게 대응하는지도 테스트했습니다. 그들은 신호가 너무 약하면 수신기가 추측하기를 거부하고 데이터를 거부한다는 것을 발견했는데, 이는 안전한 실패 방식입니다. 반면 신호가 충분히 강할 때, 시스템은 가짜 신호가 잘못된 비밀 키를 사용하더라도 실제 신호와 가짜를 거의 완벽한 정확도로 구별해 낼 수 있었습니다.

궁극적으로, 이 논문은 위성 스푸핑 문제를 영원히 해결했다고 주장하거나 최종 갈릴레오 시스템이 준비되었다고 말하는 것이 아닙니다. 대신, 실제 서비스가 시작되기 전에 과학자와 엔지니어들이 자신의 수신기를 연습하고, 테스트하고, 개선할 수 있는 재현 가능한 오픈 소스 방식의 중요한 도구를 제공합니다. 위성의 암호화된 코드와 수신기의 복호화 키 사이의 복잡한 춤을 시뮬레이션함으로써, GalSAS-SDR-SIM은 실제 시스템이 출시되었을 때 우리의 휴대폰과 전력망이 거짓말쟁이를 아주 멀리서도 알아챌 수 있도록 돕습니다. 저자들은 보안이 견고하지만, 수신기 설계 시 안전을 위해 얼마나 자주 확인할 것인지와 얼마나 많은 배터리 및 메모리를 사용할 것인지 사이의 균형을 영리하게 맞추는 것이 중요하다는 점을 보여줍니다. 이 시뮬레이터는 차세대 해킹 불가능한 항법을 구축하는 데 도움이 될 훈련장입니다.

기술 요약: GalSAS-SDR-SIM

문제 정의
갈릴레오(Galileo) 항법 시스템은 스푸핑 공격에 대한 복원력을 강화하기 위해 신호 인증 서비스(SAS)를 개발하고 있다. 이 서비스는 E1 대역의 OSNMA(Open Service Navigation Message Authentication)와 E6 대방의 SCA(Spreading Code Authentication)를 결려한다. OSNMA는 항법 메시지를 인증하지만, 유효한 메시지 데이터를 유지하면서 코드 위상을 조작하는 신호 수준의 공격을 방지할 수는 없다. SAS는 이를 해결하기 위해 E6-C 확산 코드의 파편들을 암호화하고, 이를 OSNMA에서 유도된 키로 재암호화(Re-Encrypted Code Sequences, RECS)함으로써 문제를 해결한다.

그러나 현재 개발 주기에는 중대한 병목 현상이 존재한다. 즉, 운영 중인 SAS 신호를 연구자나 수신기 개발자들이 널리 사용할 수 없다는 점이다. 공개적인 신호 공간 캠페인은 시간, 기하학적 구조 및 구성 측면에서 제한적이다. 결과적으로 수신기 제조사들은 SAS 지원 수신기를 사전에 개발하거나 평가할 수 없으며, 연구 커뮤니티는 SAS의 성능, 보안 및 최적화 전략을 분석할 수 있는 재현 가능한 환경이 부족한 실정이다.

방법론
이러한 격차를 해소하기 위해 저자들은 GalSAS-SDR-SIM이라는 오픈 소스 소프트웨어 정의 라디오(SDR) 시뮬레이션 플랫폼을 제시한다. 이 시스템은 E6 코드 암호화와 OSNMA 키 공개 프로세스를 결합하여 전체 SAS 워크플로우를 에뮬레이션하도록 설계되었다.

아키텍처: 본 플랫폼은 시나리오 생성, 항법 메시지 구축, OSNMA 데이터 생성, 확산 코드 암호화, 관측치 추정 및 기저대역(baseband) 신호 합성을 포함하는 모듈형 설계를 활용한다. 이는 오프라인 기저대역 생성과 SDR 하드웨어(특히 USRP B210s)를 통한 무선 송신을 모두 지원한다.
신호 생성: 시스템은 사용자가 정의한 위치, 시간 및 에페메리스(ephemeris) 데이터를 기반으로 동기화된 Galileo E1, E5b 및 E6 신호를 생성한다.
- E1: OSNMA 필드(HKROOT 및 MACK)를 포함하는 I/NAV 메시지를 전달하며, 자가 인증(self-authentication), 교차 대역(E5b) 및 교차 위성 인증을 지원한다.
- E6: 암호화된 E6-C 구성 요소를 전달한다. 플랫폼은 특정 파편(Encrypted Code Sequences, ECS)을 선택하고, 이를 미래의 OSNMA TESLA 키로부터 유도된 키로 재암호화하여 RECS를 생성하고, 그에 상응하는 메타데이터 파일을 생성한다.
수신기 평가: 생성된 신호를 검증하기 위해 수정된 버전의 오픈 소스 GNSS-SDR 수신기가 사용된다. 수신기는 E1 신호를 획득하여 OSNMA 루트 키와 TESLA 체인을 검증하고, 공개된 키를 얻어 RECS 파일을 복호화함으로써 로컬 ECS 복제본을 재구성하며, 이를 저장된 E6-C 스냅샷과 상관(correlate)시켜 거리 측정값을 검증한다.
구성 가능성: 플랫폼은 RECS 주기(100–1000 ms), ECS 길이(4, 8, 16 ms), 윈도우 위치, 그리고 교차 위성 인증 전략(예: 인접 위성 중 태그가 할당된 수인 $N_{ca}$ )을 포함한 핵심 SAS 파라미터를 유연하게 구성할 수 있도록 허용한다.

주요 기여

엔드 투 엔드 시뮬레이션 플랫폼: 저자들은 Galileo E1, E5b, E6 신호를 공동으로 시뮬레이션하고 OSNMA 메시지 인증과 E6-C 확산 코드 인증을 통합하는 통합 플랫폼을 설계하였다. 이는 오프라인 처리와 SDR 기반 송신을 모두 지원한다.
구성 가능한 SAS 및 OSNMA 구현: 플랫폼은 RECS 생성, 스케줄링, 인증 사이클 및 교차 위성 인증 정책을 구성할 수 있게 한다. 또한 시간, 위치 및 위성 가시성에 대한 시나리오 제어를 지원한다.
수신기 측 평가 워크플로우: 저자들은 OSNMA 인증 항법 데이터와 인증된 E6-C 코드 측정을 모두 검증하는 워크플로우를 구현하였다. 이들은 인증 정확성, 지연 시간, 파라미터에 대한 민감도 및 계산 오버헤드를 분석하기 위해 광범위한 실험을 수행하였다.

실험 결과
본 논문은 다음과 같은 실험을 통해 플랫폼을 평가한다:

OSNMA 백본: 10시간의 시뮬레이션 동안 플랫폼은 25,191개의 태그를 생성하였으며, 99.57%의 전체 인증 성공률을 달ach했다. 교차 위성 인증 전략( $N_{ca}=4$ 및 $N_{ca}=6$ )은 96% 이상의 인증된 위성 비율을 유지하였으며, 첫 인증 고정 시간(TTFAF) 중앙값은 102초였다.
엔드 투 엔드 SAS 검증: 기본 구성(200 ms RECS 주기, 16 ms ECS) 하에서 수신기는 100%의 탐지 확률(Pd)과 잘못된 키에 대한 0%의 오경보율을 달성하였다. 평균 인증 지연 시간은 45.1초였으며, 이는 지연된 키 공개 메커니즘과 일치한다.
구성 민감도:
- RECS 주기: 주기를 1000 ms에서 100 ms로 줄이면 기록 속도가 초당 3개에서 30개로 증가하지만, 그에 비례하여 RECS 파일 크기(12.4 MB에서 124 MB로)와 대기 중인 스냅샷 저장 용량이 증가한다.
- ECS 길이: 더 긴 ECS 윈도우(16 ms vs 4 ms)는 노이즈 환경에서의 견고함을 향상시키지만, 처리 시간(98 ms vs 24.8 ms)과 저장 요구 사항을 증가시킨다.
- 윈도우 위치: 서로 다른 윈도우 배치(첫 번째, 두 번째, 마지막)는 거리 추정치에 체계적인 편향을 보이지 않았다(RMSE는 약 11.7 m 유지).
노이즈 견고성: 가법 백색 가우시안 잡음(AWGN) 환경에서, 낮은 C/N0 값(예: 35 dB-Hz에서는 수락된 기록이 없음)에서 탐지 확률이 급격히 떨어졌으나, 모든 테스트된 구성에서 잘못된 키에 대한 오경보 확률은 0을 유지하였다. 이는 수신기가 보안상 'fail closed'(실패 시 차단)할 수 있는 능력을 입증한다.

의의
본 논문은 GalSAS-SDR-SIM이 연구 커뮤니티를 위한 실용적이고 재현 가능하며 확장 가능한 도구를 제공한다고 주장한다. 공개적으로 사용 가능한 공식 규격을 준수함으로써, 이 플랫폼은 SAS 지원 수신기의 조기 개발을 가능하게 하고, Galileo SAS의 공식적인 운영 런칭 전 단계에서 신호 인증 기술의 평가를 용이하게 한다. 또한, 다양한 수신기 전략을 통제된 환경에서 비교할 수 있게 하며, 제한적인 실제 신호 캠페인에 의존하지 않고도 보안 분석을 지원한다. 저자들은 이 플랫폼이 최종 운영 서비스를 위한 공식적인 구현이 아니라, 프로토타이핑 및 프로토콜 탐색을 위한 연구 도구임을 명시적으로 밝히고 있다.

유사한 논문