배치 및 전송 인증을 포함한 차량 애드혹 네트워크를 위한 안전하고 저오버헤드 인증 프로토콜

요약

차량 임시 네트워크(VANET)에서는 차량들이 서로 통신하며, 악의적인 간섭을 막기 위해 모든 메시지를 검증해야 합니다. 전통적인 인증 방식은 각 차량을 개별적으로 검증하여 상당한 지연을 초래합니다. 이 문제를 해결하기 위해 제안된 연구는 배치 인증과 전송 인증을 결합한 인증 메커니즘을 도입합니다.

초록

차량 애드호크 네트워크(VANETs)는 차량과 도로변 유닛(RSU) 간의 신뢰를 보장하기 위해 안전하고 효율적이며 확장 가능한 인증 메커니즘이 필요합니다. 기존의 1:1 인증 방식은 종종 높은 통신 및 계산 오버헤드를 초래하여 대규모 차량 환경에는 적합하지 않습니다. 이로 인해 보안 교통 체증이 발생하여 프로세스가 비효율적이고 실시간 안전 애플리케이션에 적합하지 않게 됩니다. 이를 해결하기 위해 연구는 배치 인증과 전송 인증을 모두 지원하는 경량 인증 프로토콜을 제안하여, 여러 차량을 동시에 인증할 수 있고, 전체 프로토콜을 재실행하지 않고도 RSU 간에 인증 유효성을 이전할 수 있게 합니다. 배치 인증에서는 도로변 유닛이 한 대가 아닌 여러 차량을 동시에 검증하는데, 이는 경비원이 사전 검증된 승객 한 대를 승인하는 것과 유사하여 교차로나 톨게이트 부스에서의 지연을 크게 줄여줍니다. 전송 인증에서는 차량이 한 도로변 구역에서 다른 구역으로 이동할 때 검증 데이터가 안전하게 전송되어, 재시작 없이 원활한 연속성을 가능하게 합니다. 이는 콘서트 손목밴드처럼 참석자들이 반복적인 확인 없이 무대 간 이동을 가능하게 합니다. 이 방식은 체비셰프 다항식의 수학적 특성을 활용하여 오버헤드를 줄이면서도 강한 보안을 제공합니다. 성능 분석 결과, 제안된 방법은 통신 비용이 42n 바이트에 불과하며 기존 방식보다 훨씬 낮은 계산 복잡도를 달성합니다. 이 접근법은 확장성을 높이고, 메시지 교환을 줄이며, 일반적인 공격에 대한 강력한 저항력을 유지하여 실시간 차량 통신에 적합합니다. 전반적으로 이 새로운 프로토콜은 데이터 오버헤드를 줄이고 인증 속도를 높이며 대규모 교통량을 효율적으로 관리함으로써 VANET의 실용성을 높여, 지능형 교통 시스템의 미래를 위한 안전하고 확장 가능한 솔루션이 되었습니다.

서론

차량 임시 네트워크(VANETs)는 차량 간 통신(차량 간 V2V)과 도로변 인프라(차량 간 인프라(V2I))를 통해 교통의 안전성과 효율성을 향상시킵니다. 이 개방형 무선 환경에서는 모든 차량이 안전 메시지(예: 사고 경고나 교통 정보 업데이트)를 방송할 수 있습니다; 따라서 메시지가 합법적인 출처에서 발신되었는지 보장하는 것은 견고한 인증이 매우 중요합니다. 동시에 VANET은 엄격한 성능 요구사항을 부과하며, 차량들은 고주파(보통 초당 10개의 메시지)로 메시지를 교환하여 다음 메시지가 도착하기 전 각 메시지를 검증할 수 있는 시간이 몇 밀리초밖에 남지 않습니다. WAVE/IEEE 1609.2 표준과 같은 타원 곡선 디지털 서명 알고리즘(ECDSA)과 같은 전통적인 공개키 인증 방식은 상당한 계산 및 통신 오버헤드를 초래합니다. 단일 ECDSA 서명 확인이나 모든 메시지에 대한 공개키 인증서 관리는 자원이 제한된 온보드 유닛(OBU)을 과부하시키고, 여러 메시지가 동시에 도착할 때 허용할 수 없는 지연을 초래할 수 있습니다. 더불어, 차량은 부착 지점을 자주 변경하여 (한 도로변 유닛에서 다른 도로변 유닛으로 이동) 반복적인 인증이나 악수가 필요하며, 이는 지연 시간을 더욱 증가시킬 수 있습니다.

채널	주파수 범위 (GHz)	우선순위	주요 기능
CCH-178	5.885 – 5.895	높게	인증 제어, 서비스 광고, RSU로부터의 초기 메시지 전송, 배치 인증 시작.
SCH-172	5.855 – 5.865	높게	시간에 민감한 메시지(배치 인증 확인, 긴급 안전 알림).
SCH-174	5.865 – 5.875	중간에서 고음	내비게이션 기반 검증, 교통 인식 배치 조정(도시 모빌리티 시나리오).
SCH-176	5.875 – 5.885	저음에서 중간까지	취소 목록 방송, 그룹 자격 증명 업데이트, 주기적인 재인증 경고 등.
SCH-180	5.895 – 5.905	매체	인증된 배치에 대한 업데이트/알림 등 인증 후 메시지 교환을 안전하게 합니다.
SCH-182	5.905 – 5.915	낮게	비중요 서비스(클라우드 지원 인증, 인터넷 기반 조회, 신원 메시지).
SCH-184	5.915 – 5.925	중간에서 고음	고처리량 애플리케이션(비디오 스트리밍, 지도 배포, 인증된 그룹의 OTA 업데이트).

표 1: 안전한 차량 네트워크를 위한 DSRC 채널 명세. 이 문서는 VANET에서 사용되는 제어 채널(CCH)과 다양한 서비스 채널(SCH)에 대해 설명합니다. 이 모든 채널은 5.855–5.925 GHz 주파수 범위 내에서 작동하며, 각각 10 MHz 대역폭을 가집니다. 이 구성은 특히 배치 인증과 중요한 안전 메시지에 있어 원활하고 체계적인 소통을 지원합니다. CCH-178(5.885–5.895 GHz)이 주요 제어 채널이었습니다. 인증 절차를 시작하고 안전 관련 메시지를 보내는 데 사용됩니다. SCH-172, SCH-174, SCH-184와 같은 고우선순위 SCHH는 긴급 경보나 대용량 데이터 전송과 같은 시간에 민감한 작업에 사용되며, SCH-176, SCH-180, SCH-182와 같은 중간권 및 저우선순위 SCHH는 취소 목록 업데이트, 차량 재인증, 일반 서비스 관리 등 덜 긴급한 작업을 처리합니다. 약어; DSRC = 전용 단거리 통신; VANET = 차량 임시 네트워크; CCH = 제어 채널; SCH = 서비스 채널; GHz = 기가헤르츠; MHz = 메가헤르츠.

표 1에 나타난 전용 단거리 통신(DSRC) 스펙트럼은 차량 네트워크에서의 사용을 보여줍니다. 이 표는 전용 단거리 통신(DSRC) 5.9 GHz 대역(5.855–5.925 GHz)에서의 채널 할당을 개괄하며, 각 채널은 10 MHz 대역폭을 가집니다. 이 프로그램은 조직적이고 우선순위가 정해진 통신을 보장하기 위해 차량 임시 네트워크(VANET)에서 사용되는 제어 채널(CCH)과 다양한 서비스 채널(SCH)을 강조합니다. 채널 178은 인증 절차를 시작하고 안전 관련 메시지를 방송하는 주요 CCH 역할을 합니다. 우선순위가 높은 SCH(예: 172, 174, 184)는 긴급 경보나 대용량 데이터 전송과 같은 시간에 민감한 애플리케이션을 지원하며, 중간에서 저우선순위인 SCH(예: 176, 180, 182)는 취소 목록 업데이트, 차량 재인증, 일반 서비스 등 덜 긴급한 작업을 처리합니다.

또 다른 도전은 프라이버시입니다. 차량은 모든 메시지에서 영구 신원을 공개하지 않고 인증해야 합니다(추적을 방지하기 위해서). 가명 인증서와 같은 솔루션은 임시 신원을 사용하여 익명성을 제공합니다; 하지만 많은 수의 인증서를 배포하고 취소하는 데 드는 간접비가 발생합니다. 차량은 그룹 서명 방식을 사용하여 그룹의 메시지를 서명할 수 있습니다. 이렇게 하면 메시지를 인증하면서도 특정 차량의 신명성을 유지합니다. 하지만 이러한 그룹 서명은 다른 공개키 방법들과 함께 쌍선형 쌍과 큰 지수 계산과 같은 복잡한 수학에 의존합니다. 이러한 연산은 항상 빠르게 진행되고 지연이 적은 VANET 환경에서는 실용적이지 않습니다. 패킷 손실은 이 상황을 더 악화시킵니다. 따라서 경량 암호학 방법이 필요합니다. 따라서 프라이버시나 보안을 해치지 않으면서 여러 메시지를 동시에 빠르게 확인할 수 있는 기법이 개발되어야 합니다. 이러한 맥락에서 연구자들은 암호학에 적합한 두 가지 중요한 특성을 가진 체비셰프 다항식의 적용을 조사해 왔습니다: 반군 성질과 혼돈 행동입니다. 체비셰프 다항식 연산을 사용하는 주요 장점은 타원 곡선보다 계산 복잡도가 적다는 점이다. 이 특별한 특성은 대칭 암호학과 공개키 암호학의 아이디어를 결합한 새로운 인증 시스템을 구축하는 데 사용되었습니다. 예를 들어, 이 다항식들로부터 생성된 일방향 함수를 사용하여 공유 비밀이나 디지털 서명을 생성하는데, 이는 효율성과 부인 방지를 제공합니다. 이미 연구에 따르면 이러한 체비셰프 프로토콜이 인증에 사용될 때, 차량 탑재 장치가 수행해야 하는 작업량이 훨씬 줄어든다. 본 연구는 제안된 체계에서 사용된 체비셰프 다항식 연산의 형식적 정의와 수학적 세부사항을 제공합니다. 구체적으로, 이 연구는 고전적 암호학적 하드 문제와 유사한 두 가지 가정, 즉 체비셰프 다항식 이산 로그 문제(CPDLP)와 체비셰프 다항식 디피-헬만 문제(CPDHP)에 기반을 두고 보안을 제공합니다. 이 문제들은 계산적으로 해결 불가능하다는 것이 알려져 있어, 차량의 인증을 위조하거나 유효한 노드를 가장하는 것이 계산적으로 불가능함을 증명합니다. 더불어, 체비셰프 다항식이 실용적인 비트 길이(예: 160–256비트)를 가진 큰 유한체 위에서 정의될 때, 공개 다항식에서 다항식 차수 또는 비밀 매개변수를 가져오는 것은 현재의 고전 알고리즘¹에서는 계산적으로 불가능하다고 명시되어 있다.

최근에는 차량-전력망(V2G) 시스템에서 전력 데이터를^{처리하기 위해} CDAS(중앙집중식 데이터 인증 방식)와 DDAS(분산 데이터 인증 방식) 스키마가 제안되었습니다. 두 방법 모두 이전 접근법보다 더 나은 속도, 보안, 효율성을 보이며 사용자 프라이버시를 효과적으로 보호했습니다. 하지만 이 연구는 실제 배포가 부족하며, 동적 가격 시나리오를 무시하고 있습니다. 쌍선형 페어링과 집계 서명을 사용하여 여러 전기차(EV) 서명을 동시에 검증하는 V2G 네트워크용 스마트 효율 배치 인증 방식^{이 제안되었} 으나, 이 연구는 블록체인이 장기 저장에 미치는 영향에 대해서는 다루지 않았습니다. 엣지 컴퓨팅을 이용한 V2G 네트워크를 위한 스마트 배치 인증 접근법^{이 제안되었으며} , 이는 짧은 그룹 서명과 인증서 없는 암호화를 사용하여 지연을 줄이고 인증서 문제를 피하는 방식입니다. 엣지 컴퓨팅과 짧은 그룹 서명을 이용한 V2G 네트워크용 배치 인증 방식^{이 만들어졌} 으나, 대규모 EV 지역에서의 성능을 완전히 검사하지는 않았으며, EV의 취소 정책도 명시하지 않았습니다.

블록체인을 이용한 V2G 네트워크에서 개인정보 보호 중심의 데이터 공유 프레임워크^{가 제안되었} 으나, 이 연구에서는 배치 인증을 다루지 못했습니다. 7 네트워크는 동시 EV 그룹을 확인하는 타원 곡선 암호학(ECC)을^{해결하기 위해} 블록체인과 배치 처리를 사용하는 V2G 네트워크를 위한 프라이버시 보호 인증 방법이 만들어졌습니다. 하지만 이들은 밀집된 네트워크 확장성 문제를 해결하지 못했습니다. V2G용 블록체인 기반 키 관리는 배치 처리를 사용하는 제안된⁸ 개의 스마트 계약을 통해 안전한 키 분배, 갱신, 취소를 가능하게 하여 EV의 프라이버시를 보장합니다; 하지만 실시간 작업 기록을 확인하지 않으며, 전기차 차량을 묶음으로 취소하는 방법에 대해서는 명확하지 않습니다. VANET을 위한 경량 배치 인증^{방법이 제안되었} 는데, 이는 체비셰프 다항식을 사용하여 저계산으로 여러 차량을 동시에 검사하는 방법입니다. 체비셰프 다항식의 수학적 특징은 복잡한 암호 단계를 피하는 데 도움을 주어 시스템이 더 빠르게 작동하고 실시간 차량 통신에 더 적합합니다. 또한 프라이버시를 유지하고 강력한 보안을 제공합니다. 하지만 매우 많은 교통량, 이동 중인 차량, 취소된 사용자, 그리고 주요 업데이트 과정을 어떻게 관리할지에 대해서는 완전히 설명하지 않습니다. VANET의 체비셰프 다항식을 이용한 배치 인증 방식은¹⁰ 을 통해 더 적은 지연으로 많은 차량 ID를 검증했습니다. 체비셰프 다항식의 혼돈 부분은 익명 ID, 키 생성, 프라이버시를 지원합니다. 하지만 이 연구는 교통량이 많은 경우, 고속 차량, 불량 차량 대량 제거, 전송 인증, 그리고 전체 키 취급에 대해 크게 설명하지 못했습니다. VANET을 위한 경량 배치 인증^{시스템이 만들어졌}는데, 이는 체비셰프 다항식을 이용해 대규모 차량을 동시에 저비용으로 검사하는 안전한 시스템입니다. 이 시스템은 프라이버시를 제공하고 필요 시 추적을 가능하게 합니다. 하지만 대규모 네트워크에 대해서는 다루지 않습니다. 또한 VANET 규칙과 전체 키 처리 작업도 해결하지 못했습니다. VANET을 위한 체비셰프 혼돈 지도 기반 배치 인증 방식^{이 제안되었으며} , 여러 차량을 동시에 인증하여 계산 비용을 줄이기 위한 것입니다. 익명 ID를 제공하고, 추적 기능을 제공하며, 복잡한 암호화 작업을 건너뛰어 사용자 프라이버시를 유지하여 실시간 통신에 적합합니다. 하지만 악의적인 차량의 취소나 VANET 규정 준수에 대한 설명은 없습니다. VANET 네트워크용 인증 및 키 합의(AKA) 방식과 체비셰프 카오틱 맵을 결합해 여러 차량 메시지를 동시에 확인하는 경량 배치 인증^{이 제안되었습니다} . 이 제도는 프라이버시와 메시지 안전을 유지하며 실제 트래픽에 적합하게 만듭니다. 하지만 대규모 차량 그룹에 대한 작동 방식, 빠른 RSU 변경 도입, 악성 차량 배치 제거 등은 설명하지 않습니다. 체비셰프 혼돈 지도를 이용한 VANET용 경량 배치 인증^{방법이 만들어져} 많은 차량 메시지를 더 적은 지연과 계산으로 빠르게 확인할 수 있게 되었습니다. 이 기술은 무겁은 암호화폐 없이 프라이버시, 안전한 키 교환, 추적을 유지하여 실시간 차량 통신에 적합합니다. 하지만 논문은 시스템이 다수의 차량을 어떻게 처리하는지, 문제 차량을 취소하는 방법, 또는 RSU 간 빠른 이동 차량을 어떻게 취소하는지에 대해서는 설명하지 않습니다. 또한 표준 VANET 프로토콜과의 통합이 부족하며, 성능 향상을 위한 엣지 컴퓨팅을 사용하지 않습니다.

본 연구는 차량 핸드오버 시 메시지 배치 검증과 전송 인증을 위해 체비셰프 다항식 기반 메커니즘만을 사용하는 VANET용 인증 프레임워크를 제안합니다. 배치 검증 방식은 RSU 또는 수신 차량이 개별 메시지 서명이 아닌 동시에 검증할 수 있게 하여, 트래픽이 많이 적중될 때 메시지당 지연을 크게 줄여^줍니다. 전송 인증 프로토콜은 차량이 서로 다른 RSU 커버리지 영역을 이동할 때 각 홉마다 완전하고 비용이 많이 드는 핸드셰이크를 수행하지 않고도 지속적으로 인증을 유지할 수 있게 합니다. 대신, 한 세션이나 도메인에서 다른 세션으로 인증 상태를 전송하는 데 경량의 동적 세션 메커니즘이 사용됩니다. 체비셰프 다항식을 두 측면 모두에서 사용함으로써, 이 방식은 VANET 엔터티에 대해 모듈러 곱셈이나 다항식 평가로부터의 덧셈과 같은 간단한 수학적 연산만이 필요함을 보장하여, OBU의 제한된 계산 환경에 매우 적합합니다.

프로토콜

예비

시스템 모델: VANET 시스템은 신뢰 권한(TA), 도로변 유닛(RSU), 차량 탑재 유닛(OBU) 세 가지 주요 주체 유형으로 구성됩니다. TA는 초기화, 키 관리, 가끔 취소하는 데 중심적인 역할을 합니다. 이 서비스는 완전히 신뢰받으며 일반적으로 정부나 인프라가 통제합니다. 각 RSU는 도로를 따라 배치된 고정 단위입니다. 이는 통신 인프라를 제공합니다; 이 모델에서는 RSU가 안전한 백본(예: 광섬유 또는 보안 네트워크)을 통해 TA에 연결되어 필요에 따라 업데이트를 주고받을 수 있다고 가정합니다. 차량에는 차량 간 V2V, 인프라 간 V2I(차량 간 V2I) 통신을 가능하게 하는 OBU가 장착되어 있습니다. 본 연구는 OBU가 암호화 키를 저장하고 고립된 상태에서 암호화 작업을 수행할 수 있는 변조 방지 장치(TPD) 또는 보안 하드웨어 모듈을 갖추어 장기적인 비밀을 물리적 침해로부터 보호한다고 가정합니다.

통신 모델: 차량은 무선 채널(예: IEEE 802.11p 또는 C-V2X PC5)을 통해 주기적인 원홉 메시지(예: 기본 안전 메시지)를 방송하며, 이 메시지는 범위 내 다른 차량과 RSU가 수신할 수 있습니다. 이 메시지들은 유효성을 보장하기 위해 수신자가 인증해야 합니다. RSU는 또한 차량-인프라(V2I) 통신을 통해 주기적으로 신호등과 경고 같은 정보를 차량에 전송합니다. 이 작업에서는 차량-인프라(V2I) 메시지의 인증에 주된 초점을 맞추고 있습니다. 즉, 차량이 RSU의 적용 지역에 진입할 때 배치 인증을 통해 RSU에 의해 인증됩니다. V2V 인증도 차량이 동일한 서명 방식을 사용하는 방식으로 처리할 수 있습니다; 하지만 배치 검증은 여러 차량의 메시지를 동시에 검증해야 할 수 있는 RSU에서 가장 유용합니다.

그림 1: VANET 네트워크에서의 배치 검증. 이 그림은 배치 인증에 사용되는 아키텍처를 보여주며, 차량 배치 내 여러 OBU(예: BATCH1 및 BATCH2)가 교차로나 교통 지점의 RSU와 무선으로 통신하는 방식을 보여줍니다. 이 지점들은 유선 링크를 통해 중앙 TA에 연결됩니다. 이 프로토콜은 체비셰프 다항식을 사용하여 고밀도 트래픽에서 인증 요청을 집단 검증할 수 있게 합니다. 각 차량은 T_k(x) mod P를 평가하여 인증 토큰을 계산하고, 이를 자신의 식별 및 타임스탬프와 연결한 뒤 값을 해시한 후 RSU로 전송합니다. RSU는 토큰을 집계하여 집합적으로 검증합니다.
약어; VANET = 차량 임시 네트워크; OBU = 온보드 유닛; RSU = 도로변 부대; TA = 신뢰받는 권위. 이 그림의 더 큰 버전을 보시려면 여기를 클릭해 주세요.

VANET에서의 배치 인증: 고밀도 교통 환경에서 RSU는 매우 짧은 시간 내에 여러 차량으로부터 인증 요청을 받을 수 있습니다. 각 요청마다 개별 인증을 수행하면 상당한 계산 지연과 통신 오버헤드 증가가 발생할 수 있습니다. 그림 1에서 볼 수 있듯이, 제안된 배치 인증 메커니즘은 체비셰프 다항식의 수학적 특성을 활용하여 효율적인 다중 차량 검증을 달성^합니다. 각 차량은 큰 소수 p를 나눈 체비셰프 다항식 T_vi(T_r(x))를_{평가하여 i} α 인증 토큰을 계산합니다. 여기서 v_i는 차량의 개인 키, r은 RSU의 개인 키, x는 공개 기수입니다. 출력은 차량의 디지털 신원 및 타임스탬프와 결합되어 해시된 후 RSU로 전송됩니다. RSU는 모든 받은 토큰을 하나의 값으로 집계하고, p를 나눈 관계 T_r.∑vi(x)를 사용하여 집합적으로 검증합니다. 이 방법은 비용이 많이 드는 검증 작업 수를 크게 줄여 교차로, 통행료 게이트, 교통 병목 지점 등에서 확장성을 향상시킵니다.

그림 2: VANET 네트워크에서의 전송 인증. 이 그림은 차량이 현재 RSU(로드사이드 유닛 1)에서 다음 RSU(로드사이드 유닛 2)로 완전한 재인증 없이 이동할 수 있게 해주는 제안된 경량 핸드오버 인증 프로토콜을 보여줍니다. 이는 지연 시간을 줄일 수 있습니다. RSU1은 공개 키와 임의 값을 해시 기반 연계하여 권한 있는 카드를 생성하고, 체비셰프 다항식 연산을 적용하여 중간 매개변수(ω₁, ω₂), 초기 키(IK), 암호화된 세션 키, 임시 키(TK)를 계산합니다. 이 값들은 차량으로 전송되어 RSU2로 전달됩니다. RSU2는 데이터를 검증하고 역체비셰프 연산을 통해 세션 키를 복구하여 중단 없는 통신을 위한 보안 세션 키(SK)를 설정합니다. 이 프로토콜은 고속 차량 통신 환경에 적합한 빠르고 안전한 핸드오버를 지원합니다. 약어; VANET = 차량 임시 네트워크; RSU = 도로변 부대; IK = 초기 키; TK = 임시 열쇠; SK = 세션 키. 이 그림의 더 큰 버전을 보시려면 여기를 클릭해 주세요.

원활한 핸드오버를 위한 인증 전송: 차량이 RSU 커버리지 존 간 이동 중, 새로운 RSU마다 완전한 인증을 다시 수행하면 지연이 발생하고 보안 세션이 방해될 수 있습니다. 그림 2에 나타난 전송 인증 과정은 안전하고 경량화된 핸드오버를 가능하게 합니다. 현재 RSU는 차량과 RSU의 공개키를 연결하고 무작위 세션 매개변수 b_i를 결합하여 승인된 카드 AC_i를 생성합니다. 체비셰프 다항식 변환 T_AC(x) p를 나눈 값을 사용하여 RSU는 중간 값 ω_{1,ω 2} = ω₁ FPK_Ri, 세션별 키 IK_i = H(ω₁FPK_vi), 암호화된 세션 키 ω₃ = (E_IKi(SK_i))를 계산합니다. 마지막으로, 임시 키 TK_i는 γ = b_i에서 유도됩니다. 또 다른 체비셰프 변환 T_γ(x)를 사용한 IK ^i-1. 튜플(TK_{i,ω 2,ω 3})은 다음 RSU로 전송되며, 이 튜플은 이를 사용해 완전한 재인증 없이 차량과의 안전한 통신을 재개합니다. 이 메커니즘은 고속 주행 차량에 최소한의 방해와 초저지연을 보장합니다. 

이동성 및 핸드오버: 네트워크 내 한 위치에서 다른 위치로 이동하는 차량은 경로상 여러 RSU를 만날 수 있습니다. 초기 RSU 접근을 위한 체비셰프 다항식 기반 배치 인증과 이동성 핸드오버를 위한 전송 인증을 결합함으로써, 시스템은 확장성과 연속성¹⁶을 모두 달성합니다. 배치 인증은 여러 차량 인증을 동시에 처리하는 반면, 전송 인증은 RSU 전환 시 재인증 지연을 줄여줍니다. 이 메커니즘들은 함께 강력하고 수학적으로 안전하며 성능 효율적인 VANET 인증 프레임워크를 형성합니다.

체비셰프 다항식 예비

체비셰프 다항식(T_n(x))은 인증 체계의 수학적 핵심 개념이다. 이들은 재귀 공식을 따르며 일방향 암호 함수에 적합한 특징을 가지고 있습니다. 주요 정의와 성질은 다음과 같습니다.

정의: 차수 n의 체비셰프 다항식(정수 n≥ 0에 대해):

T_n(x) = cos(n arccos x),

x 에 대해 [-1,1]. 동치적으로, 이를 실수 위에 정의하거나 소수 P를 나누어 정의할 수 있다. 표 2에 설명된 첫 번째 종류의 체비셰프 다항식들 T_n(x)은 n=4까지(차수는 0에서 4까지 다양하다).

S.No	학위	설명	결과
1	T0(x)	T0(x) = cos(0.arccros x) = cos(0) = 1	T0(x) = 1
2	T1(x)	T1(x) = cos(1.arccros x) = cos(arcos x) = 1	T1(x) = x
3	T2(x)	T2(x) = cos(2.arccros x) = 2cos2(arcos x)-1 = 2x2-1 (cos(2θ) = 2cos2θ-1	T2(x) = 2x2-1
4	T3(x)	T3(x) = cos(3.arccros x) = 4x3-3x (왜냐하면 cos(3θ) = 4cos3θ-3cosθ)	T3(x) = 4x3-3x
5	T4(x)	T4(x) = 8x4-8x 2+1 (왜냐하면 cos(4θ) = 8cos4θ-8cos2θ+1)	T4(x) = 8x4-8x 2+1

표 2: 재발 관계 평가. 이 표는 제안된 인증 체계의 수학적 기초를 이루는 재발 관계를 사용하여 계산된 첫 번째 종류의 T_n(x) 체비셰프 다항식들을 제시합니다. 약어; T_n(x) = x에서 평가된 차수 n의 체비셰프 다항식; n = 다항식 차수; x = 입력 변수.

일반적으로 이들은 다음 반복 조건을 만족합니다:

T_n+1(x) = 2xT_n(x) - T_n-1(x), T₀(x) = 1, T₁(x) = x .

이 반복 현상은 T_n(x)의 효율적인 반복 계산을 가능하게 한다.

반군 성질: 곱셈 지수와 유사하게, 체비셰프 다항식은 다음과 같은 합성 성질을 보입니다:

T_m(T_n(x)) = T_m.n(x) ,

양의 정수 m,n에 대해. 즉, 먼저 차수 n인 체비셰프 다항식을 x에 적용한 뒤, 그 결과에 차수 m의 또 다른 체비셰프 다항식을 적용하면, 차수 m * n의 체비셰프 다항식을 x에 직접 적용하는 것과 동치이다. 이 성질은 디피-헬만에서 키 교환 및 인증 프로토콜과 같은 체비셰프 다항식을 사용하는 데 핵심적인데, 이는 순환군에서 지수 함수의 성질인 (g^a)^b = (g^b)^a와 유사하기 때문이다.

혼돈 행동: 차수 n>1 에 대해 사상 x T_n(x) (x가 [-1,1]에 속할 때)은 특정 조건에서 혼돈 사상임이 입증되었습니다. 비공식적으로, x의 작은 변화가 n이 클 때 T_n(x)에 큰 변화를 일으킬 수 있으며, T_n(x)는 [-1,1] 분포되어 큰 n에 대해 무작위로 보일 수 있습니다. 이 '의사 무작위성'은 암호화에서 예측 불가능한 출력을 생성하는 데 유용합니다.

체비셰프 다항식 이산 로그 문제(CPDLP): 이산 로그 문제와 유사하지만 체비셰프 다항식을 사용합니다. 소수 모듈러스 P와 공개값 x 및 y = T_n(x) mod P가 주어지면, 정수 n을 찾는 것은 매우 어렵습니다. 즉, x와 y를 알고 있다면, 숫자가 클 때 n을 구하는 것은 매우 어렵다. 이는 고전적인 이산 로그 문제와 유사하는데, g^{a mod} P에서 a를 찾는 것이 어렵습니다.

체비셰프 다항식 디피-헬만 문제(CPDHP): x, T_a(x), T_b(x)(무작위 비밀 정수 a,b에 대해) 주어졌을 때, A 또는 b 중 어느 것도 모르면 T_a.b(x)를 계산하기 어렵다. 이는 디피-헬만 문제를 반영한다: g가^a,^{g b}가 주어지면, 적대자는 g^ab를 계산할 수 없다. 체비셰프 맥락에서는 반군 성질에 의해 T_ab(x) = T_a(T_b(x)) = T_b(T_a(x)))임을 유의하라; 따라서 두 당사자가 각각 A,B의 하나를 알고 있다면 각각 T_ab(x)를 쉽게 계산할 수 있지만, 개별 결과만 아는 도청자는 그렇지 못합니다.

이 체계의 보안성은 이러한 가정에 의존합니다(CPDLP와 CPDHP는 해결하기 어렵습니다). 실용적 구현을 위해, 이 연구는 유한체(큰 소수 P를 나누어 나눈 값)에서 동작하여 서로 다른 동작을 보장한다. 일반적으로 [2,P-2]의 난수 x가 시스템 매개변수로 선택되며(이는 곱셈군에서 생성자와 같은 역할을 합니다). TA는 이러한 x를 선택하여 공개 매개변수의 일부로 게시합니다. 그 다음 체비셰프 다항식은 재발 공식을 통해 P에서 계산할 수 있다. 이 경우 x는 [-1,1]에 속하지 않지만, [-1,1] 밖의 값에 대해 체비셰프 다항식과 쌍곡 코사인 사이의 동형사상을 사용하거나, 단순히 P를 대수적으로 나눠서 처리할 수 있다. 혼돈적 성질은 엄밀한 의미에서 실수 구간에 적용된다; 그러나 암호학적 사용에서는 유한장에서 CPDHP의 난이도로 인한 예측 불가능성에 의존합니다.

공격 모델

체비셰프 다항식을 사용하는 VANET용 배치 및 전송 인증 프레임워크에서 연구자들은 외부 및 내부 적대자가 안전한 통신을 방해하려 할 수 있는 현실적인 위협 환경을 고려합니다. 외부 공격자는 차량 네트워크 외부에 존재하며, 합법적인 인증 자격 증명 없이 악성 메시지를 가로채거나 변경하거나 주입하려는 주체입니다¹⁷. 반면 내부 공격자는 이미 유효한 자격 증명을 보유한 침해되거나 악의적인 수단 또는 RSU로, 이를 악용해 타인을 사칭하거나 데이터를 위조하거나 조직적인 공격을 수행합니다.

중간자 공격(MIM): 공격자가 두 합법적인 당사자 간 메시지를 가로채고 중계하며, 그 내용을 변경할 수 있습니다. 프로토콜은 체비셰프 다항식 문제의 난이도에 기반한 상호 인증과 세션 키 합의를 사용하여 이를 완화하여, 가로챈^{데이터가 탐지} 없이 계산적으로 조작이 불가능하도록 보장합니다.

재생 공격: 공격자가 이전에 캡처한 유효한 메시지를 다시 보내 무단 접근을 하거나 네트워크 혼란을 일으키려 합니다. 연구자들은 인증 과정에 타임스탬프와 세션 식별자를 통합하여 메시지가 짧은 시간 창 내에서만 유효하고 나중에 재사용할 수 없도록 하여 이 문제를 해결합니다.

사칭 공격: 공격자가 합법적인 차량이나 RSU로 위장하려는 시도도 포함됩니다. 인증 과정을 고유한 체비셰프 다항식 키에 엄격히 묶고, 배치 및 전송 인증 시 디지털 서명을 검증함으로써, 시스템은 진정한 참가자만이 통신할 수 있도록 보장합니다.

도청 공격: 적대자가 통신을 수동적으로 감시하여 민감한 정보를 추출하는 공격입니다. 제안된 계획은 안전한 세션 키 생성을 통해 기밀성을 보장합니다; 따라서 데이터 패킷이 가로채도 비밀 키 없이는 이해할 수 없습니다.

공모 공격: 여러 침해 당한 주체가 협력하여 인증 프로토콜을 깨는 공격입니다. 배치 인증에서 집계 검증을, 전송 인증에서 독립적인 검증을 사용하면 침해된 노드들이 집단적으로 유효한 자격 증명을 위조하는 것을 방지합니다.

상징	설명
우아이	VANET의 1대 차량
RSU	도로변 부대
감사합니다	신뢰받는 권위
TSi	차량이 생성하는 타임스탬프
TARSU	RSU가 생성한 타임스탬프
TSTA	TA가 생성한 타임스탬프
ΔT	메시지 유효성을 위한 최대 허용 클럭 차이
DIDUI	차량 Ui의 가명 기반 신원
DIDRSU	RSU의 가명 기반 신원
Tv(x)	차량의 개인 키 "v"를 가진 체비셰프 다항식은
Tv(x)	신뢰 권한 개인 키 "b"를 가진 체비셰프 다항식
TPKRi(x)	RSU의 공개키를 가진 체비셰프 다항식
α	차량 Ui로 계산된 항등 해시
β	Ui에 대해 RSU가 계산한 동일 해시
θi	Ui에서 집계에 사용되는 다항 검증 토큰
θ'agg	기대 집계 다항식 (TA 계산)
θ집적	모든 차량의 집계 다항식 곱 Θi
mi,n i	TA가 생성한 무작위 세션 키 시드 값
ri,u i	RSU와 차량에 각각 할당된 비밀 스칼라 값
퍼블릭RSU	RSU의 공개키
주문서UI	차량 Ui 공개키
E1(i), E2(i)	기밀성을 위해 해시를 통해 계산한 마스킹 값
IK(i)	인증/세션 키 교환 메시지의 구성 요소
SKi	차량과 RSU 간 최종 세션 키 설정.
H(.)	충돌 저항 해시 함수
ESK(.)/DSK(.)	세션 키를 이용한 대칭 암호화/복호화
||	연결 연산자
모드 P	큰 소수 p 위에서의 모듈러 연산

표 3: 표기법. 이 표는 논문 전반에 걸쳐 사용된 주요 기호, 매개변수, 암호학적 표기법을 나열합니다.

제안된 스키마:

이 제안된 방식은 두 가지 주요 구성 요소로 구성됩니다: (i) 체비셰프 다항식을 이용한 배치 메시지 검증 메커니즘과 (ii) RSU 간 차량 핸드오버를 위한 전송 인증 프로토콜. 본 연구는 먼저 시스템 구성에 대한 개요를 제공하고, 이후 각 구성 요소를 자세히 설명하며, 용어와 표기법은 표 3에 설명되어 있습니다.

차량 등록:

1단계: 각 차량이 인증 절차를 시작합니다. n 번의 차량이 있다 u_{1,u 2,u 3}...,u_n 같은 RSU로 시간 t에서 인증을 시도하는 차량이 있다고 하자. 각 차량 u_i는 다음과 같이 계산합니다:

α_i = H(DID_ui|| T_vi(T_b(x)) || TS_i) (1)

그럼_{, 당신은 다음을} 보냅니다:

I₁⁽ⁱ⁾ = (α_{i,DID ui,TS i}) (2)

RSU로.

2단계: RSU는 모든 I₁⁽ⁱ⁾을 받은 후 집계 및 배치 인증을 준비하며, RSU는 다음을 수행합니다:

1. 타임스탬프 검증: |TS_c - TS_i| ≤ ΔT
2. 각 차량에 대해 RSU 응답 해시를 계산합니다: β_i = H(DID_RSU||T_ri(T_b(x))||TS_RSU)
3. 체비셰프 토큰 계산: θ_i = T_vi(T_PKRi(x)) mod P
4. 모든 토큰을 합산하기:   
5. 배치 메시지 준비: TA 에 전송.

3단계: TA가 배치 서명을 검증합니다

1. 타임스탬프 검증: TS_TA - TS_RSU ≤ ΔT
2. RSU 해시를 확인: β_i^* = H(DID_RSU || T_b(T_ri(x)) || TS_RSU) = β_i 
3. 차량 해시 확인: α_i^* = H(DID_ui|| T_b(T_vi(x)|| TS_i) = i α 
4. 집계 검증: _θ'agg = T_∑vi(x)mod P
H(θ_agg) = H(θ_agg^') 모든 것이 통과하면 인증이 성공합니다.

4단계: 각 u_i 에 대해 세션 키 설정(배치 단위) TA가 수행합니다:
1. 계산: E₁⁽ⁱ⁾ = H(PUB_RSU||R_i||TS_RSU)
E₂⁽ⁱ⁾ = H(PUB_ui||V_i||TS_i) .
2. 임의 값 m_{i,n i}Z^*_P 생성 
3. 세션 계산 키: SK_i = H(m_i||N_i||R_i||v_i)
4. 암호화된 구성 요소 구성:
I₃⁽ⁱ⁾ = H(m_i)E₁⁽ⁱ⁾ 
I₄⁽ⁱ⁾ = H(n_i)E ₂⁽ⁱ⁾
I₅⁽ⁱ⁾ = SK_iH(m_i)
I₆⁽ⁱ⁾ = SK_iH(n_i)
묶음 보내기: {I₃^(i),I₄^(i),I₅⁽ⁱ⁾,I₆⁽ⁱ⁾,TS_TA}ⁿ_i=1 

5단계: RSU가 각 차량에 세션 정보를 전송합니다 
1. 회복: H(m_i) = I₃⁽ⁱ⁾E₁⁽ⁱ⁾ 
SK_i = I₅⁽ⁱ⁾H(m_i)
2. 보내기_i : {I₄⁽ⁱ⁾,I₆^(i),TS_RSU+1}

6단계: 차량이 각 u_i에 대해 세션 키 추출을 완료합니다 
1. 계산: H(n_i) = I₄⁽ⁱ⁾E₂⁽ⁱ⁾ 
SK_i = I₆⁽ⁱ⁾H(n_i)
2. 세션 키를 사용하여 메시지를 암호화합니다:
E_SKi(m_i||Pub_ui||RSU 주부)

7단계: 원활한 핸드오버를 위한 인증 전송
7.1단계: RSU에 의한 승인된 카드 생성이 계산됩니다
AC_i = H(FPK_vi|| FPK_Ri|| b_i)
ω₁ = T_AC(x) mod P,ω₂=ω₁FPK_Ri 
IK_i = H(ω₁||FPK_vi)
ω₃ = E_IKi(SK_i)
TK_i = T_γ(x) mod P
γ = b_i. IK ^i-1 
다음 RSU로 (TK_{i,ω 2,ω 3})를 전송합니다.
7.2단계: 인접 RSU에 의한 검증
T_AC(x) = ω₂FPK_Ri-1 
IK_i ^'= H(T_AC(x)||FPK_vi)
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P
7.3단계: 세션 키 복구 (새로운 RSU 복호화)
SK_i = D_IKi^'(ω₃)

차량 u_i는 이제 새로운 RSU 존 내에서 인증되었으며, 표 3에 설명된 알고리즘에 사용된 모든 표기법으로 안전한 통신을 계속할 수 있습니다.

그림 3에서 연구자들은 수영 레인 다이어그램을 이용한 전송 인증에 대해 자세히 설명했으며, 현재 RSU가 매개변수(TK_{i,ω 2,ω 3})를 보내 새로운 RSU로 권한을 전송하고, 새 RSU로부터 이 매개변수를 받은 후 검증을 통해 검증하는 과정을 설명했습니다.
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P . 이 세션에서 키는 새로운 RSU에 의해 회수되어 차량으로 전송됩니다.

그림 3: 두 RSU 간 인증 전송. 이 그림은 차량이 현재 도로변 유닛(RSU 1)과 다음 도로변 유닛(RSU 2) 간 안전한 핸드오버를 용이하게 하는 VANET에서 전송 인증 프로토콜의 흐름도를 보여줍니다. 이 과정은 RSU 1에서 인증된 카드 생성과 암호학 계산으로 시작되며, 이후 차량에 매개변수를 전송하고, 검증하며, RSU 2에서 세션 키 복구를 거쳐 보안 세션 키 설정으로 마무리됩니다. 약어; VANET = 차량 임시 네트워크; RSU = 도로변 유닛. 이 그림의 더 큰 버전을 보시려면 여기를 클릭해 주세요.

결과

보안 분석

비공식 보안 분석

사칭 공격: 공격자는 합법적인 차량 u_i 또는 도로변 유닛(RSU)을 사칭하여 무단 접근을 하거나 인증을 방해하려 할 수 있지만, 견고한 보안 메커니즘 때문에 계산적으로 불가능합니다. 각 차량과 RSU는 각각의 개인 키(v_{i,r i})와 공개 키(TPKR_i(x))를 포함하는 체비셰프 다항식 서명을 사용하여 인증 토큰을 생성합니다. 차량의 경우, 토큰 α_i = H(DID_ui||T_vi(T_b(x))||TS_i)는 차량별 비밀 매개변수를 포함하며, 신뢰 기관(TA)에서의 검증α은<...

토론

제안된 배치 및 전송 인증 방식은 전통적인 일대일 검증의 한계를 극복하여 VANET 성능을 크게 향상시킵니다. 배치 인증을 통해 여러 차량을 RSU에 의해 동시에 인증할 수 있어 계산 및 통신 부하를 줄이고 교통 상황에서 대규모 효율적인 운행을 가능하게 합니다. 이 메커니즘은 더 빠른 인증 사이클과 향상된 대역폭 활용을 보장하여, 속도와 신뢰성을 모두 요구하는 실시간 차량 네트워크에 적합합니다.

더 나아가, 전송 인증은 차량이 RSU 간에 검증된 자격증명을 전달할 수 있게 하여 재인증 지연을 최소화하고 지속적인^{안전한 통신을} 유지함으로써 원활한 이동성을 촉진합니다. 체비셰프 다항식 기반 암호 함수를 활용하여 재생 및 사칭 공격과 같은 위협에 대한 강력한 보호를 이루면서도 계산량은 가볍습니다. 이로 인해 지연, 확장성, 처리량 개선이 이루어졌으며, 이는 지능형 교통 시스템의 비전과...

재료

이 논문에 사용된 재료 목록

이름	회사	카탈로그 번호	댓글
구성 요소	사양 / 세부 정보
배치 크기 (n)	10대에서 100대의 차량
비교 체계	[20],[21],[22] (문헌에서 분석)
암호학적 원시	체비셰프 다항식(사용자 지정 재귀 구현), SHA-256 해시
하드웨어 플랫폼	인텔 코어 i7 프로세서, 16GB RAM, 윈도우 11(또는 특정 운영체제)
주요 도서관	hashlib(SHA-256용), time(측정용), 내장 수학 연산
측정 방법	시간 모듈을 사용한 평균 1000회 이상 실행 시간
소수 모듈러스 (p)	256번과 대시; 512비트 (테스트용으로 7919와 같은 작은 값; 보안 분석을 위해 스케일링)
프로그래밍 언어	파이썬 3.10
시뮬레이션 유형	암호화 연산 타이밍 (네트워크 시뮬레이터 사용 없음)