Secure-Channel-Free Key Distribution for Identity-Based Signatures with One-Time Pseudonyms in Intelligent Transport Systems

자동차가 브레이크를 밟거나 가속하거나 회전할 때마다, 차량은 주변 차량들에게 디지털 외침을 보냅니다. 지능형 교통 시스템의 세계에서 이러한 메시지는 초당 수십 번 발생하며, 속도와 위치에 대한 필수적인 정보를 전달하여 자동차가 보이지 않는 충돌을 피할 수 있도록 돕습니다. 이 시스템이 작동하려면 모든 차량은 자신이 받는 메시지가 해커가 연쇄 추돌을 일으키기 위해 보내는 것이 아니라, 실제 차량으로부터 온 진짜 메시지라는 것을 신뢰할 수 있어야 합니다. 그러나 이 신뢰는 역설을 낳습니다. 메시지를 검증하려면 수신자가 일반적으로 발신자가 누구인지 알아야 하지만, 모든 메시지의 발신자를 정확히 아는 것은 누군가가 운전자의 집, 직장, 습관을 포함한 전체 여정을 추적할 수 있게 하여 개인의 경로를 드러내기 때문입니다. 엔지니어들의 과제는 자동차가 자신의 진정한 정체를 밝히지 않으면서도 정당한 차량임을 증명할 수 있는 동시에, 당국이 운전자가 위험하게 행동할 경우 그 신원을 밝혀낼 수 있도록 하는 시스템을 구축하는 것입니다.

조건부 프라이버시(conditional privacy)라고 불리는 이 섬세한 균형은 오랫동안 디지털 인증서와 비밀 키를 분배하기 위한 복잡한 인프라를 필요로 해 왔습니다. 무함마드 아스가르 칸(Muhammad Asghar Khan)의 새로운 연구는 이 과정을 단순화하여 보안 채널의 필요성을 제거하는 동시에 운전자를 추적하기 더 어렵게 만드는 방법을 제안합니다. 이 연구는 차량이 표준 인터넷 연결처럼 탈취의 걱정 없이 개방된 공용 무선 연결을 통해 등록하고 비밀 키를 받을 수 있는 방법을 도입합니다. 이 혁신의 핵심은 특정 유형의 수학적 곡선인 종수-2 쌍곡선 곡선(genus-2 hyperelliptic curve)을 사용하는 데 있으며, 이는 현재 많은 보안 시스템에서 사용되는 표준 곡선들에 비해 더 빠른 계산과 더 작은 데이터 크기를 가능하게 합니다. 이러한 수학적 구조를 활용함으로써, 제안된 체계는 모든 안전 메시지가 이전 메시지와 연결될 수 없는 고유한 일회성 이름으로 서명되도록 보장하며, 이를 통해 자동차를 감시하는 눈으로부터는 보이지 않게 만들면서도 중앙 당국에는 완전히 책임을 질 수 있도록 합니다.

연구진은 중앙 당국이 개인 키 생성자로서 역할을 하며 차량에 이러한 임시 이름과 그에 상응하는 비밀 키를 발급하는 완전한 시스템을 구축했습니다. 보안이 확보된 전용 회선을 통해 이러한 비밀들을 전달해야 했던 기존 방식과 달리, 이 새로운 접근 방식은 데이터가 공용 채널을 통해 이동하더라도 해당 차량과 당국만이 해독할 수 있도록 정체와 키를 암호화합니다. 즉, 자동차는 도로변 유닛(roadside unit)에 멈춰 서서 새로운 자격 증명을 요청하고, 먼저 까다로운 보안 연결을 구축할 필요 없이 즉시 이를 받을 수 있습니다. 일단 등록되면, 차량은 매 방송마다 새로운 일회성 가명(pseudonym)을 사용하여 안전 메시지에 서명합니다. 이를 통해 해커가 동일한 차량으로부터 수천 개의 메시지를 수집하더라도, 이들을 서로 연결하여 경로를 재구성할 수 없게 됩니다. 그러나 운전자가 법을 위반하거나 악의적으로 행동하는 경우, 중앙 당국은 마스터 키를 사용하여 일회성 이름을 실제 차량으로 추적하고 향-후 메시지 전송 능력을 박탈할 수 있습니다.

이전의 여러 시도에서 나타난 결정적인 결함은 공격자가 서명을 위조하기 위해 공개 키를 자신의 것으로 교체하는 '키 교체(key replacement)' 공격에 대한 취약성이었습니다. 새로운 체계는 검증 키를 일회성 이름과 당국의 공개 키로부터 직접 유도함으로써 서명을 시스템의 신뢰와 불가분하게 결합하여 이를 방지합니다. 연구는 올바른 비밀 키 없이는 서명을 위조하는 것이 현재의 가정하에 계산적으로 불가능함을 수학적으로 증명합니다. 속도 측면에서 연구진은 메시지에 서명하고 검증하는 데 걸리는 시간을 측정하였으며, 이 방법이 총 1.44밀리초가 소요된다는 것을 발견했습니다. 이는 표준 타원 곡선을 기반으로 하는 기존의 가장 우수한 방법들이 2.56밀리초가 걸리는 것보다 훨씬 빠르며, 페어링 기반 암호 기술(pairing-based cryptography)을 사용하는 방법이 5밀리초 이상 걸리는 것보다 현저히 빠릅니다.

이 수치들이 실제 세계에서 무엇을 의미하는지 이해하기 위해, 저자는 단일 수신기가 엄격한 100밀리초의 안전 마감 시간 내에 주변의 많은 차량으로부터 오는 메시지를 확인해야 하는 혼잡한 교통 상황을 시뮬레이션했습니다. 새로운 방법은 매우 빠르기 때문에, 단일 프로세싱 코어로 100밀리초 이내에 92대의 주변 차량 메시지를 성공적으로 검증할 수 있었습니다. 반면, 가장 우수한 타원 곡선 기반 체계는 77대, 페어링 기반 체계는 32대의 차량만을 처리할 수 있었으며, 그 이후에는 시스템이 너무 느려져 안전을 보장할 수 없게 됩니다. 이러한 차이는 밀집된 도시 교통에서 매우 중요한데, 아주 짧은 순간의 지연만으로도 자동차가 갑작스러운 위험에 반응하지 못할 수 있기 때문입니다. 또한 연구는 일회성 이름의 저장 공간을 조사하였으며, 차량이 2시간 동안 주행하는 동안 필요한 자격 증명을 보유하는 데 약 4.3메가바이트의 저장 공간만 필요하다는 것을 발견했습니다. 이는 현대의 차량 탑재 컴퓨터에게는 무시할 만한 양입니다.

연구는 이 시스템이 매우 효율적이지만 한계가 없지는 않음을 인정합니다. 중앙 당국이 모든 개인 키를 생성할 수 있는 권한을 갖기 때문에, 이는 당국이 이론적으로 어떤 차량을 대신하여 메시지에 서명할 수 있는 '키 에스크로(key escrow)' 상황을 만듭니다. 저자는 당국이 이미 면허와 자격 증명을 발급할 만큼 신뢰받고 있다는 점을 들어 이것이 수용 가능한 절충안이라고 언급하면서도, 향후 버전에서는 이러한 중앙 통제를 제거하도록 수정될 수 있다고 제안했습니다. 또한, 시스템을 보호하는 데 사용된 수학적 문제는 현재의 고전 컴퓨터에는 깨지지 않지만, 미래의 양자 컴퓨터에는 취약할 것이며, 이는 현재의 많은 다른 암호화 방식과 마찬가지입니다. 그럼에도 불구하고, 이 연구는 고도의 보안이 반드시 무겁고 느리거나 복잡한 인프라를 요구하는 것은 아니라는 점을 입증하며, 자율주행 차량 간의 더 안전하고, 더 사적이며, 더 효율적인 통신을 위한 명확한 길을 제시하고 있습니다.