Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems

기술 요약: FADEC 연동 듀얼 스풀 터보팬 사이버-물리 시스템을 위한 구성 가능한 양자 내성 보안

문제 제기
본 논문은 양자 내성 암호화 (PQC) 와 안전-중요 항공우주 제어 시스템, 특히 듀얼 스풀 터보팬 엔진과 결합된 전권 디지털 엔진 제어 (FADEC) 간의 수학적 간극을 다룹니다. 기존 문헌은 일반적으로 암호학적 보안 (예: 격자 기반 키 캡슐화, 인증된 암호화) 과 제어 이론적 안정성 (예: 서지 마진, 스풀 가속, 비틀림 순응도) 을 독립적인 영역으로 취급합니다. 이러한 분리는 암호화 오버헤드가 실시간 버스 스케줄링 가능성, 통신 지연, 그리고 물리적 플랜트 안정성과 어떻게 상호작용하는지, 즉 암호화 오버헤드가 타이밍 또는 안정성 마진을 위반할 때 어떻게 작용하는지를 고려하지 못합니다. 저자들은 안전-중요 아키텍처에서 시스템이 암호학적으로 인증되더라도 암호화 오버헤드가 타이밍 또는 안정성 마진을 위반할 경우 "구성적으로 안전 (composably safe)"하지 않을 수 있다고 주장합니다.

방법론
저자들은 플랜트 진화, 통신 지연, 누출, 적대적 채널 품질, 그리고 암호학적 상태가 공통 필터링 하에서 진화하는 확률적 하이브리드 모델 내에서 통합된 수학적 형식을 개발합니다. 핵심 방법론은 다음과 같습니다:

1. 통합 시스템 모델: 대상 시스템은 확률적 엔진 모델 ($P_{eng}$), FADEC 제어기, 추상 항공전자 버스 ($B_{bus}$), 레이더 인식 통신 채널 ($C_{ch}$), 물리적 복제 불가능 함수 (PUF) 소스, 그리고 양자 내성 원시 (KEM, AEAD, 영지식 증명) 로 구성된 결합된 튜플 $S_\lambda$로 모델링됩니다.
2. 결합된 매개변수 영역: 분석은 시스템 상태를 곱집합 $\Theta_{tot} = \Theta_{pq} \times \Theta_{puf} \times \Theta_{aead} \times \Theta_{bus} \times \Theta_{radar} \times \Theta_{eng} \times \Theta_{filt}$로 취급합니다. 이러한 슬라이스들을 독립적으로 최적화하는 대신, 모델은 단일 허용 가능 집합에서 이를 인증합니다.
3. 위협 모델: 적대자는 공개 트래픽을 관찰하고, 매끄러운 최소 엔트로피 및 R'enyi 발산으로 모델링된 경계된 사이드 채널 누출을 획득하며, 추상적 과도 상태 오류를 주입할 수 있는 확률적 다항 시간 엔티티입니다. 이 모델은 실제 하드웨어를 공격하는 절차적 지시를 명시적으로 배제합니다.
4. 방어적 분석적 처리: 본 논문은 키 갱신, 인증, 무결성을 위한 이상적 기능을 정의하기 위해 범용 구성 가능성 (UC) 프레임워크를 사용하며, 특정 안정성 및 스케줄링 가능성 술어가 충족될 때만 실제 프로토콜이 이러한 기능을 실현함을 증명합니다.

주요 기여
본 논문은 항공우주 제어 분야의 PQC 이전이 키 크기나 점근적 난이도만으로 평가될 수 없음을 보여주는 "결합된 정리 시스템"을 제공합니다. 주요 기술적 기여는 다음과 같습니다:

• 레이더 및 도플러가 키 갱신에 미치는 영향: 저자들은 레이더 단면적 불확실성과 도플러 감쇠가 적대적 채널 용량을 감소시키지만 동시에 엔트로피 손실 ($\Delta H_{ch}$) 을 증가시킨다고 유도합니다. 이는 허용 가능한 키 갱신 주기 ($T_{key}$) 를 축소시켜 고불확실성 환경에서 더 빈번한 갱신을 강제합니다.
• 암호문 확장 및 스케줄링 가능성: 본 논문은 양자 내성 암호문 확장 (특히 격자 기반 KEM 의 경우 $O(\lambda \log \lambda)$) 이 버스 응답 시간 ($R_i$) 을 직접 증가시킨다는 것을 증명합니다. 이러한 확장은 총 지연 시간을 "암호화 작동 창 (cryptographic actuation window)"($W_{act}$) 을 넘어설 수 있게 하여, 시스템이 안전을 유지하기 위해 유효한 명령을 거부하게 만듭니다.
• 물리적 누출 및 엔트로피: 이 모델은 물리적 매개변수를 암호학적 엔트로피와 연결합니다. 구체적으로, 블레이드 팁 간극 섭동 ($\delta_{tc}$) 과 샤프트 진동 원격 측정은 누출 채널로 작용하여 PUF 유도 키의 매끄러운 최소 엔트로피를 감소시키고 보수적인 경보 임계값을 필요로 함이 입증되었습니다.
• 지연 하의 안정성 마진: 저자들은 지연 유발 입력 - 상태 안정성 (ISS) 경계를 확립합니다. 그들은 총 인증 지연 ($\delta_{tot}$) 이 폐루프 시스템의 지수 감쇠율을 침식하며, 이 마진이 연료 유량 포화에 의해 추가로 감소됨을 보여줍니다.
• 인증과 구성 가능성의 분리: 중요한 이론적 결과 (반례 1) 는 실시간 기한이 암호화 페이로드 크기로 인해 놓칠 경우, 시스템이 완벽한 암호학적 인증 (위조 제로, 누출 제로) 을 보유하더라도 안전하게 구성 가능하지 않을 수 있음을 보여줍니다.

결과
본 논문은 여러 공식적인 경계와 부등식을 유도합니다:

• 보안 - 안정성 경계: 구분 우위가 암호학적 오류 ($\epsilon_{kem}, \epsilon_{aead}, \dots$) 의 합과 기한 미달 확률 ($\epsilon_{bus}$) 및 안정성 마진 위반 ($\epsilon_{st}$) 에 의해 제한되는 구성 가능한 방출을 위한 충분 조건이 확립되었습니다.
• 갱신 정책: 키 갱신 주기는 사이드 채널, 진동, 레이더 불확실성에서의 누출률의 함수임이 입증되었습니다: $T_{key} \leq \frac{H^\epsilon_\infty(K_0) - \kappa_{min}}{\dot{\ell}_{side} + \dot{\ell}_{vib}|\delta_{tc}| + \dot{\ell}_{ch}}$.
• 스케줄링 가능성 부등식: 본 논문은 작업이 스케줄링 가능하기 위해서는 총 지연 시간 (버스 응답 + 검증 + 전파 지연) 이 제어 기한, 스풀 가속 한계, 서지 마진 침식 한계, 그리고 비틀림 샘플링 요구 사항 중 최소값보다 작아야 함을 증명합니다.
• 민감도 분석: 기호적 평가는 암호문 크기 ($L_{kem}$) 증가가 타이밍 여유와 안정성 마진을 단조적으로 감소시키는 반면, 레이더 불확실성 ($V_\Sigma$) 증가는 키 갱신 요구 사항을 가속화함을 보여줍니다.

의의 및 주장
본 논문은 새로운 제어기, 버스, 또는 암호학적 원시체가 아닌 수학적 보증 봉투를 제공한다고 겸손하게 주장합니다. 그 의의는 다음과 같습니다:

1. 결합의 정의: 암호학적 보안, 실시간 스케줄링 가능성, 그리고 폐루프 안정성이 안전-중요 항공우주 제어에서 어떻게 상호작용하는지를 명시적으로 특성화합니다.
2. 실패 모드 식별: "합리적인 암호학적 업그레이드"(예: 더 큰 PQC 암호문) 가 안전한 추진 제어에 필요한 타이밍 및 안정성 여유를 소모하는 특정 매개변수 영역을 식별합니다.
3. 방어적 범위: 저자들은 이 모델이 방어적 분석 도구임을 강조합니다. 이는 실제 플랫폼을 방해하기 위한 운영 지침을 제공하지 않으며, 엔진 인증 아티팩트를 대체하지도 않습니다. 대신, 인증 프로세스가 구체화하고 도전할 수 있는 수학적으로 감사 가능한 결합을 정의합니다.

이 연구는 안전-중요 항공우주 제어 분야의 양자 내성 이전이 암호학적 알고리즘의 단순한 대체가 아닌, 명시적 관찰 가능한 공격 표면에 상대적인 "결합된 보안 - 안정성 - 지연 봉투"를 요구한다고 결론지었습니다.