FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices

기술적 요약: 안전한 MUD 바인딩을 위한 FIDEM 프레임워크

문제 제기
제조업체 사용 설명서 (MUD) 표준 (RFC 8520) 은 제조업체가 IoT 기기의 네트워크 동작 프로파일을 정의하여 네트워크 컨트롤러가 예상되는 트래픽에 기반하여 제한을 시행할 수 있게 합니다. 그러나 장치와 MUD 프로파일 바인딩 (MUD-Binding) 과정에 치명적인 취약점이 존재합니다. 표준은 안전한 X.509 인증서 기반 발급 방법을 정의하고 있지만, 현재 배포는 단순성과 플러그 앤 플레이 특성으로 인해 보안이 취약한 동적 호스트 구성 프로토콜 (DHCP) 확장에 주로 의존하고 있습니다.

보안이 취약한 DHCP 확장에서는 장치가 단순히 자신의 MUD 프로파일을 가리키는 URL 을 광고합니다. 네트워크 컨트롤러는 파일을 검색하고 요청한 장치의 권한이 아닌 파일의 진위성에 기반하여 정책을 시행합니다. 이 분리는 악의적이거나 침해당한 장치가 다른 기기를 위한 진정한 MUD 프로파일을 참조하는 유효한 URL 을 광고할 수 있게 합니다. 결과적으로 공격자는 잘못된 과도하게 허용적인 네트워크 정책의 시행을 유도하여 횡적 이동과 권한 상승을 용이하게 합니다. 이 바인딩을 보호하기 위한 기존 솔루션들은 종종 실용적인 제약을 충족하지 못합니다: 제한된 IoT 기기에서 거의 지원되지 않는 공개키 인프라 (PKI) 에 의존하거나, 런타임 중 제조업체의 과도한 능동적 참여를 요구하거나, 표준 준수를 위반하거나, 안전한 프로파일 업데이트 메커니즘이 부족합니다.

방법론: FIDEM 프레임워크
이러한 격차를 해소하기 위해 저자들은 PKI 나 검증 중 제조업체의 능동적 참여 없이 DHCP 기반 MUD URL 발급을 보호하는 표준 준수 프레임워크인 FIDEM을 제안합니다.

1. 위협 모델: FIDEM 은 이전 작업보다 강력하고 현실적인 위협 모델 하에 작동합니다. 공급망 침해를 포함한 모든 수명 주기 단계에서 장치가 침해될 수 있다고 가정하며, 침해된 장치를 대신하여 연산을 수행하기 위해 합법적인 장치를 암호학적 오라클로 사용할 수 있는 적을 고려합니다.
2. MUD 관리 모델 (MMM): 확장성을 보장하기 위해 FIDEM 은 클래스 기반 관리 모델을 도입합니다. 개별 장치마다 고유한 프로파일을 할당하는 대신, 제조업체는 동일한 네트워크 요구 사항을 가진 장치를"MUD 클래스"로 그룹화합니다. 각 클래스는 단일 MUD 프로파일과 공유 비밀 키 ($K_c$) 와 연관됩니다. 이는 제조업체의 관리 오버헤드와 장치의 저장 요구 사항을 줄입니다.
3. 영지식 증명 (ZKP) 을 통한 암호학적 바인딩:
   • 키 관리: 각 MUD 클래스 $C$는 장치의 안전한 하드웨어에 저장된 비밀 키 $K_c$와 타원 곡선 위의 대응하는 공개 점 $X_c = K_c \cdot G$를 가집니다. MUD 파일에는 이러한 공개 매개변수 ($X_c$, 곡선 매개변수 등) 가 포함되도록 확장됩니다.
   • 검증 프로토콜: DHCP 핸드셰이크 동안 장치는 $K_c$를 소유하고 있음을 증명하되 이를 공개하지 않습니다. 프로토콜은 Schnorr 기반 상호작용 ZKP 를 사용합니다:
     • 장치는 MUD URL 과 함께 약속 (commitment) $R = r \cdot G$ (여기서 $r$은 무작위 난수) 를 전송합니다.
     • 컨트롤러는 무작위 도전 (challenge) $C$를 발급합니다.
     • 장치는 $Z = r + H \cdot K_c$를 계산하여 응답합니다. 여기서 $H$는 약속, 공개키, 도전, 그리고 URL 의 해시입니다.
     • 컨트롤러는 등식 $Z \cdot G \stackrel{?}{=} R + H \cdot X_c$를 검증합니다.
   • 임베딩: 표준과의 하위 호환성을 유지하기 위해 ZKP 매개변수 (약속 $R$) 는 공간이 부족할 경우 DHCP 옵션 161(MUDstring) 의 예약 필드 또는 별도의 DHCP 옵션에 임베딩됩니다.
4. 안전한 업데이트: FIDEM 은 발행 - 구독 모델을 통한 안전한 프로파일 업데이트를 지원합니다. 컨트롤러는 주기적으로 MUD 파일 서명을 확인합니다. 장치가 새로운 URL 로 재부팅할 경우, 컨트롤러는 새로운 프로파일이 동일한 제조업체에 속하는지 검증하여 제조업체 간 위조를 방지합니다.

주요 기여

• 공식적 위협 모델: 이 논문은 공급망 침해와 적의 합법적 장치를 암호학적 오라클로 사용하는 시나리오를 명시적으로 고려하는 위협 모델을 공식화하였으며, 이는 기존 문헌에서 종종 간과되어 왔습니다.
• 표준 준수 프레임워크: FIDEM 은 비표준 확장이나 PKI 없이 RFC 8520 을 완전히 준수하면서 DHCP 기반 MUD URL 발급을 보호하는 최초의 솔루션입니다.
• 경량 ZKP 인증: Schnorr 기반 ZKP 를 활용함으로써 FIDEM 은 PKI 필요성을 제거하고 제조업체의 참여를 클래스 키 및 파일 호스팅의 초기 프로비저닝으로 최소화합니다.
• MUD 관리 모델 (MMM): 프로파일 연관을 위한 클래스 기반 모델의 도입은 확장 가능한 키 관리와 수명 주기 지원을 가능하게 합니다.
• 실제 구현: 저자들은 상용 제한 장치 (ESP32-S3 및 ESP32-C6) 에 FIDEM 을 구현하고 소스 코드를 공개했습니다.

실험 결과
저자들은 ESP32-S3 및 ESP32-C6 장치를 사용하여 표준 DHCP, HTTP 를 통한 X.509, TLS 를 통한 X.509 와 FIDEM 을 평가했습니다.

• 성능: FIDEM 은 보안이 취약한 표준 DHCP 에 비해 최소한의 오버헤드를 도입합니다. ESP32-S3 에서 중앙값 검증 시간은 9.06ms 로, 표준 DHCP 의 6.99ms 보다 약 30% 느렸습니다. 하드웨어 TEE 가 탑재된 ESP32-C6 에서는 오버헤드가 약 7%(5ms) 로 감소했습니다.
• PKI 와의 비교: FIDEM 은 인증서 기반 접근 방식보다 훨씬 뛰어납니다. TLS 를 통한 X.509 보다 약 20 배 빠르며, 에너지 소비는 약 35% 적습니다.
• 에너지 효율성: ESP32-S3 에서의 FIDEM 에너지 소비는 385mJ 로, 표준 DHCP(354mJ) 대비 무시할 수 있는 증가분 (~8%) 이었으며, TLS 를 통한 X.509(574mJ) 보다 현저히 낮았습니다.

의의 및 주장
이 논문은 FIDEM 이 IoT 네트워크에서 보안과 배포 가능성 사이의 격차를 성공적으로 메웠다고 주장합니다. 복잡한 PKI 인프라나 제조업체의 능동적 런타임 지원 없이 널리 사용되는 DHCP 확장을 보호함으로써 FIDEM 은 리소스가 제한된 환경에서도 안전한 MUD 채택을 실현 가능하게 합니다. 이 프레임워크는 합법적인 장치를 오라클로 악용할 수 있는 적을 포함한 이전 작업보다 강력한 적을 견디면서도 표준 준수를 유지하고 안전한 프로파일 업데이트를 지원합니다. 저자들은 FIDEM 이 MUD 바인딩 취약점에 대한 실용적이고 오버헤드가 낮은 솔루션을 제공하여 IoT 장치의 운영 효율성을 훼손하지 않고 올바른 네트워크 정책 시행을 가능하게 한다고 결론지었습니다.