기술 요약: 양자 내성 서명 알고리즘을 활용한 라즈베리 파이 5 IoT 네트워크의 MQTT

문제 제기

사물인터넷 (IoT) 장치의 급속한 확산으로 인해 수백만 개의 자원이 제한된 노드가 핵심 및 소비자 인프라에 도입되었습니다. 이러한 장치들은 통신을 위해 메시지 큐잉 원격 측정 전송 (MQTT) 과 같은 경량 프로토콜에 의존합니다. 그러나 양자 컴퓨팅의 등장으로 인해 이러한 네트워크의 보안이 점점 더 위협받고 있습니다. 구체적으로 쇼어 (Shor) 알고리즘은 TLS 를 통해 MQTT 통신을 보호하는 데 현재 사용 중인 RSA 및 타원곡선 암호화에 직접적인 위협이 됩니다. 많은 IoT 장치의 긴 운영 수명 (종종 수십 년) 과 배포된 시스템의 느린 업데이트 주기를 고려할 때, 장기적인 복원력을 보장하기 위해 양자 내성 암호화 (PQC) 로 전환할 시급한 필요성이 있습니다.

이 전환 과정에서 주요한 과제는 IoT 하드웨어의 자원 제약입니다. 많은 PQC 알고리즘은 더 큰 키와 서명을 요구하여 상당한 계산 오버헤드와 메모리 할당 문제를 초래하며, 이는 경량 장치의 성능을 저하시킬 수 있습니다.

방법론

자원이 제한된 IoT 환경에 PQC 를 통합하는 타당성을 조사하기 위해, 저자들은 세 대의 라즈베리 파이 5 장치를 사용하여 기능적인 MQTT 기반 IoT 네트워크를 구현했습니다. 이 시스템은 표준 발행 - 구독 아키텍처를 모델링합니다:

1. 발행자 (Publisher): HC-SR501 PIR 모션 센서 회로에 연결된 라즈베리 파이 5. 모션을 감지하여 디지털 페이로드로 변환한 후 특정 토픽 (motion-sensor) 으로 메시지를 발행합니다.
2. 브로커 (Broker): 발행자와 구독자 간의 메시지를 라우팅하는 역할을 담당하는 Mosquitto MQTT 브로커를 실행 중인 중앙 라즈베리 파이 5.
3. 구독자 (Subscriber): 데이터를 수신하고 기록하기 위해 motion-sensor 토픽을 구독하는 세 번째 라즈베리 파이 5.

암호화 구현:
이 연구는 NIST 가 선정한 격자 기반 PQC 알고리즘 중 하나인 FALCON 디지털 서명 방식을 특히 통합했습니다. FALCON 은 CRYSTALS-Dilithium 및 SPHINCS+ 와 같은 다른 NIST 후보들보다 더 작은 키 및 서명 크기를 특징으로 하는 컴팩트성과 효율성 때문에 선택되었습니다.

구현에는 다음 소프트웨어 스택이 사용되었습니다:

• OpenSSL: TLS/SSL 관리를 위해.
• liboqs: 양자 안전 알고리즘을 제공하는 오픈 소스 C 라이브러리.
• oqs-provider: OpenSSL 이 양자 안전 알고리즘 (특히 FALCON) 을 사용할 수 있게 하는 공유 라이브러리.
• Mosquitto: PQC 지원을 포함하여 컴파일된 MQTT 브로커/클라이언트 라이브러리.

시스템은 장치 간 TLS 1.3 연결을 보호하기 위해 표준 RSA-2048 을 대체하여 인증서 기반 인증에 FALCON-1024 를 사용하도록 구성되었습니다.

주요 기여

1. 실제 하드웨어 구현: 물리적 하드웨어 제약을 추상화하는 Docker 컨테이너에 의존했던 이전 시연과 달리, 본 작업은 실제 하드웨어에서의 실용적인 구현을 제공합니다. GPIO 인터페이싱, 물리적 인증서 배포, 임베디드 엔드포인트에 고유한 네트워크 제한과 같은 실제 세계의 제약을 다룹니다.
2. 종단 간 PQC 워크플로우: 저자들은 양자 안전 기술로 보호되는 감지, 메시지 발행, 브로킹, 구독을 포함한 완전하고 운영 가능한 워크플로우를 제공합니다. 여기에는 환경 설정, 인증서 생성, 시스템 초기화를 위한 스크립트가 포함됩니다.
3. 성능 벤치마킹: 이 연구는 경량 하드웨어에 격자 기반 PQC 를 배포할 때의 성능 트레이드오프를 경험적으로 측정하며, 특히 인증서 생성 시간에 초점을 맞춥니다.

결과

저자들은 라즈베리 파이 5 노드에서 FALCON-1024 와 고전적인 RSA-2048 알고리즘의 인증서 생성 시간을 비교하여 성능 테스트를 수행했습니다. 테스트는 발행자 및 구독자 장치에서 각 알고리즘에 대해 생성 스크립트를 25 회 실행하는 방식으로 진행되었습니다.

• FALCON-1024 성능: FALCON 알고리즘은 평균 약 68~70 밀리초 내에 인증서를 생성했습니다.
• RSA-2048 성능: RSA 알고리즘은 동일한 장치에서 300 밀리초 이상이 소요되었습니다.

PQC 알고리즘이 고전적인 대안보다 보편적으로 계산 비용이 더 많이 든다는 일반적인 인식과 달리, 결과는 이 특정 컨텍스트에서 FALCON-1024 가 RSA-2048 보다 훨씬 빠르다는 것을 나타냈습니다. 저자들은 이를 RSA 인증서 생성이 비싼 대규모 정수 소수성 테스트 및 모듈러 지수 연산에 의해 지배되며, 이는 확장성이 낮기 때문이라고 설명합니다. 반면, FALCON 은 NTRU 격자 및 고속 푸리에 변환 (FFT) 에 대한 다항식 산술에 의존하며, 이는 동등한 보안 수준에서 더 효율적입니다.

중요성 및 주장

본 논문은 PQC 를 경량 IoT 메시징 아키텍처에 통합하는 것이 가능할 뿐만 아니라 전체 시스템 기능을 방해하지 않고 달성할 수 있다고 주장합니다. 주요 교훈은 다음과 같습니다:

• FALCON 의 타당성: FALCON 은 임베디드 하드웨어에서 RSA 와 비교하여 경쟁력 있는 성능을 보이며, 인증서 생성의 경우 더 우수한 성능을 입증합니다. 이는 특정 PQC 알고리즘이 장기적인 보안 이점과 함께 실용적인 성능 이점을 제공할 수 있음을 시사합니다.
• 선제적 보안: 이 연구는 양자 위협이 현실화되기 전에 IoT 인프라에 PQC 를 선제적으로 배포할 수 있음을 검증합니다. 이는 IoT 장치의 긴 수명을 고려할 때 매우 중요합니다.
• 암호학적 민첩성: OpenSSL, liboqs, oqsprovider 와 같은 라이브러리의 모듈식 사용은 애플리케이션 수준의 MQTT 로직을 수정하지 않고도 양자 안전 구현을 가능하게 하여, 양자 이후 보안으로의 원활한 전환을 용이하게 합니다.

저자들은 PQC 가 일반적으로 오버헤드를 도입하지만, FALCON 의 특정 특성으로 인해 현재 및 미래의 IoT 인프라를 보호하는 데 실용적인 옵션이 되며, 양자 이후 세계로의 전환에 있어 암호학적 민첩성을 위한 기반을 제공한다고 결론지었습니다.

향후 작업

본 논문은 FALCON 이 고정밀 가우스 샘플링 및 부동 소수점 연산에 의존하며, 이로 인해 타이밍 누출 및 사이드 채널 취약점이 발생할 수 있음을 인정합니다. 향후 작업의 방향으로서, 저자들은 FALCON 과 유사한 컴팩트성을 가지지만 사이드 채널 공격에 대한 명시적인 복원력을 위해 설계된 격자 기반 서명 방식인 SOLMAE를 동일한 테스트베드 내에서 평가할 것을 제안합니다.