バッチおよび転送認証を備えた車両アドホックネットワーク向けの安全で低オーバーヘッドの認証プロトコル

サマリー

車両アドホックネットワーク(VANET)では、車両同士が通信し、悪意ある干渉を防ぐためにすべてのメッセージを検証する必要があります。従来の認証方法は各車両を個別に検証するため、大きな遅延が生じます。この問題に対処するため、本研究ではバッチ認証と転送認証を組み合わせた認証メカニズムを導入します。

要約

車両アドホックネットワーク(VANET)は、車両やロードサイドユニット(RSU)間の信頼を確保するために、安全で効率的かつ拡張可能な認証メカニズムを必要とします。従来の1対1認証方式は、通信や計算負荷が高くなるため、大規模な車両環境には適していません。これによりセキュリティの渋滞が発生し、プロセスが非効率的でリアルタイムの安全用途には適していません。これに対処するため、本研究はバッチ認証と転送認証の両方をサポートする軽量認証プロトコルを提案し、複数の車両を同時に認証でき、認証有効性をRSU間でプロトコル全体を再実行せずに移管できるようにします。バッチ認証では、ロードサイドユニットが複数の車両を同時に確認し、警備員が事前検証済みの乗客をバス全体で承認するのと同様に、交差点や料金所での遅延を大幅に減らします。トランスファー認証では、車両が一つのロードサイドユニットのエリアから別のユニットへ移動する際に、認証データが安全に転送され、プロセスを再開することなくシームレスな連続性を実現します。これは、コンサートのリストバンドのように、参加者が繰り返しチェックせずにステージ間を移動できるのと似ています。このスキームはチェビシェフ多項式の数学的特性を活用し、オーバーヘッドを低減しつつ強力なセキュリティを提供します。性能分析では、提案された手法は通信コストがわずか42nバイトで、既存の方式よりも計算複雑度が大幅に低いことが示されています。このアプローチはスケーラビリティを高め、メッセージ交換を減らし、一般的な攻撃に対する強固な耐性を維持し、リアルタイムの車両通信に適しています。総じて、この新プロトコルはデータオーバーヘッドの削減、認証の加速、大量の交通管理の効率化によりVANETの実用性を高め、将来のインテリジェント交通システムにおける安全でスケーラブルなソリューションとなっています。

概要

車両アドホックネットワーク(VANETs)は、車両同士(車両間通信(V2V)や道路沿いのインフラ間通信(車両間通信(V2I))を可能にし、輸送の安全性と効率を向上させます。このオープンワイヤレス環境では、どの車両も安全メッセージ(例:事故警告や交通情報)を放送できます。したがって、メッセージが正当なソースから発信されていることを確認するためには、堅牢な認証が不可欠です。同時に、VANETは厳しい性能要件を課し、車両間で高頻度(通常は1秒間に10件)でメッセージを交換するため、次のメッセージが届くまでに数ミリ秒しか確認できません。楕円曲線デジタル署名アルゴリズム(ECDSA)などの従来の公開鍵認証手法は、WAVE/IEEE 1609.2標準のようなものであり、計算および通信のオーバーヘッドに大きな負担をかけます。単一のECDSA署名の検証や公開鍵証明書の管理は、リソース制約の厳しいオンボードユニット(OBU)を圧倒し、複数のメッセージが同時に届くと許容できない遅延を引き起こす可能性があります。さらに、車両は接続ポイントを頻繁に変え(ロードサイドユニット(RSU)から別のユニットへ移動するため、繰り返しの認証やハンドシェイクが必要となり、さらに遅延が増加します。

チャンネル	周波数帯域(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環境には実用的ではありません。パケットロスはこの状況をさらに悪化させます。したがって、軽量な暗号手法が必要です。したがって、プライバシーやセキュリティを損なうことなく複数のメッセージを同時に迅速にチェックできる技術の開発が必要です。この文脈で、研究者たちは暗号学に適した2つの重要な特徴、すなわち半群性質とカオス的振る舞いを持つチェビシェフ多項式の応用を調査してきました。チェビシェフ多項式演算を使う主な利点は、楕円曲線よりも計算複雑さが少ないことです。この特別な特性は、対称暗号と公開鍵暗号のアイデアを組み合わせた新しい認証システムの構築に活用されています。例えば、これらの多項式から構築された一方向関数を用いて共有シークレットやデジタル署名を作成し、効率性と否認防止を提供します。すでに研究によれば、これらのチェビシェフプロトコルが認証に使われると、車両搭載ユニットが行う作業量が大幅に減少することが示されています。本研究は、提案されたスキームで用いられるチェビシェフ多項式ベースの演算の形式的定義と数学的詳細を提供します。具体的には、本研究は古典的な暗号学的ハード問題に類似した2つの仮定、すなわちチェビシェフ多項式離散対数問題(CPDLP)とチェビシェフ多項式ディフィー–ヘルマン問題(CPDHP)に基づいてセキュリティを確立しています。これらの問題は計算的に解決困難であることが知られており、車両の認証を偽造したり有効なノードを偽装したりすることは計算的に不可能であることを証明しています。さらに、チェビシェフ多項式が実用的なビット長を持つ大きな有限体上で定義されている場合(例:160–256ビット)、公開多項式から多項式次数または秘密パラメータを取得することは、現在の古典的アルゴリズムでは計算的に不^{可能です。}

近年、車両から電力網(V2G)^{システムにおける電力} データの処理のために、CDAS(集中型データ認証方式)とDDAS(分散データ認証方式)スキーマが提案されました。両方法とも、従来の方法よりも高速、セキュリティ、効率が向上し、ユーザーのプライバシーを効果的に保護しました。しかし、この研究は実際の展開に欠けており、動的価格設定シナリオを無視しています。 バイリニアペアリングと集約シグネチャを用いて複数の電気自動車(EV)シグネチャを同時に検証するスマートかつ効率的なバッチ認証方式^{が提案されました} が、この研究はブロックチェーンが長期保存に与える影響には触れていません。エッジコンピューティングを用いて高密度のEVを同時にチェックするスマートバッチ認証アプローチが提案されました。^これは 、ショートグループ署名と証明書なし暗号を用いて遅延を減らし証明書問題を回避するものです。エッジコンピューティングと短いグループ署名を用いたV2Gネットワーク向けのバッチ認証方式は5つ作成^{されましたが、} 混雑したEVエリアでの性能を完全には検証しておらず、EVの取り消しポリシーは明記されていません。

ブロックチェーンを用いたV2Gネットワークにおけるプライバシー重視のデータ共有フレームワーク^{が提案されました}が、この研究ではバッチ認証には対応していません。ブロックチェーンとバッチ処理を用いたV2Gネットワーク向けのプライバシー保護認証方法^が7つ作成され、複数のEVグループを同時にチェックする楕円曲線暗号(ECC)に対応するためです。しかし、密度の高いネットワークのスケーラビリティ課題には対応できていません。V2G向けのブロックチェーンベースの鍵管理は、バッチ処理も用い、安全な鍵配布、更新、取り消し^{のために8つの}スマートコントラクトを提案し、EVのプライバシーを確保します。しかし、リアルタイムの作業状況は確認しておらず、EVをまとめて取り消す方法についても明確にしていません。VANET向けの軽量バッチ認証法9^{が提案されており}、チェビシェフ多項式を用いて低計算で複数の車両を同時にチェックします。チェビシェフ多項式の数学的特徴は、複雑な暗号手順を回避できるため、システムはより高速かつリアルタイムの車両通信により適しています。また、プライバシーを守り、強力なセキュリティを提供します。しかし、非常に大規模な交通、移動中の車両、停止された利用者、そして重要な更新プロセスをどのように管理するかについては十分に説明されていません。VANETのチェビシェフ多項式を用いたバッチ認証方式は、遅延を抑えて多くの車両IDを検証するために¹⁰個提示されました。チェビシェフ多項式の混沌とした部分は匿名ID、鍵生成、プライバシーをサポートしています。しかし、この研究では、交通量の多い交通、高速車、不良車両のバッチ除去、譲渡認証、フルキーの取り扱いについてはあまり説明されていませんでした。VANET向けの軽型バッチ認証システム¹¹が作成され、チェビシェフ多項式を用いた安全なシステムとして、低コストで大量の車両を一度にチェックできます。プライバシーを提供し、必要に応じてトレースも可能です。しかし、大規模なネットワークについては触れていません。また、VANETルールやフルキーハンドリングの作業にも対応していません。VANET向けのチェビシェフカオスマップベースのバッチ認証方式が提案されました。^これは、複数の車両を同時に認証し、計算コストを削減するためのものです。匿名IDの提供、追跡機能、重い暗号処理のスキップなどでユーザーのプライバシーを守り、ライブ通信に適しています。しかし、悪意のある車両の取り消しやVANET規則の遵守については説明されていません。VANETネットワーク向けに、認証および鍵合意(AKA)方式とチェビシェフカオスマップを組み合わせて複数の車両メッセージを同時にチェックする軽量バッチ認証が提案されました。¹³は、時間と労力の節約のために提案されました。この仕組みはプライバシー、メッセージの安全性を守り、実際のトラフィックに適しています。しかし、大規模な車両群での仕組み、迅速なRSU変更の採用、悪意のある車両のバッチ除去については説明されていません。チェビシェフカオスマップを用いたVANET向けの軽度バッチ認証方法が¹⁴で作成され、多くの車両メッセージを遅延と計算を抑えて迅速に確認できるようになった。プライバシー、安全な鍵交換、追跡を重い暗号なしで維持できるため、リアルタイムの車両通信に適しています。しかし、論文では、システムがどのように大量車両を扱うのか、問題を起こした車両や、RSU間の高速移動車の切り替えについて説明していません。また、標準的なVANETプロトコルとの統合が欠けており、エッジコンピューティングによるパフォーマンス向上もありません。

本研究は、VANET向けの認証フレームワークを提案します。これは、チェビシェフ多項式ベースの機構のみを用いて、メッセージのバッチ検証と車両ハンドオーバー時の転送認証を行います。バッチ検証方式により、RSUや受信車両が個別に複数のメッセージ署名を個別に検証するのではなく同時に検証できるため、トラフィックが重負荷の場合に1メッセージあたりの遅延が大幅に^{削減されます。}転送認証プロトコルにより、車両は異なるRSUカバレッジエリアを移動する際に、各ホップでフルかつ高価なハンドシェイクを行うことなく、継続的に認証された状態を保つことができます。代わりに、軽量な動的セッション機構を用いて、認証状態をあるセッションやドメインから別のセッションへ転送します。このスキームは両方の側面でチェビシェフ多項式を用いることで、VANETの実体に対して単純な数学的演算(モジュラー乗法や多項式評価からの加算など)のみを用いることを保証し、OBUの制約された計算環境に非常に適しています。

プロトコル

予備

システムモデル:VANETシステムは主に3つのエンティティタイプで構成されています:信頼された権限者(TA)、ロードサイドユニット(RSU)、および車載ユニットを持つ車両(OBU)。TAは初期化、鍵管理、時折の取り消しの開始において中心的な役割を果たします。完全に信頼されており、通常は政府やインフラによって管理されています。各 RSU は道路沿いに配置された固定ユニットです。これにより通信インフラが整備されます。このモデルでは、RSUは安全なバックボーン(例:光ファイバーやセキュアネットワーク)を介してTAに接続されていると仮定され、必要に応じてTAから更新を送受信できます。車両にはOBUが装備されており、車両同士(V2V)および車両間(V2I)通信を可能にします。本研究は、OBUが暗号鍵を保存し、暗号操作を単独で実行できる改ざん防止装置(TPD)または安全なハードウェアモジュールを備え、長期的な秘密を物理的な侵害から守っていると仮定しています。

通信モデル:車両は定期的なワンホップメッセージ(基本的な安全メッセージなど)を無線チャネル(例:IEEE 802.11pやC-V2X PC5)で送信し、他の車両やRSUが受信可能です。これらのメッセージは受信者によって認証され、その有効性が保証されます。RSUはまた、車両とインフラ(V2I)通信を通じて定期的に交通信号や警告などの情報を車両に送信します。本研究の主な焦点は、車両からインフラへのメッセージ(V2I)メッセージの認証です。つまり、車両はRSUのカバレッジエリアに入る際にバッチ認証によって認証されます。V2V認証も、車両同士で同じ署名方式を使うことで同様に扱うことができます。しかし、複数の車両のメッセージを同時に検証する必要があるRSUでは、バッチ検証が最も効果的です。

図1:VANETネットワークにおけるバッチ検証。この図はバッチ認証に用いられるアーキテクチャを示しており、車両バッチ内の複数のOBU(例:BATCH1およびBATCH2)が交差点や交通ポイントのRSUと無線通信し、これらの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は公開基数です。出力は車両のデジタルIDおよびタイムスタンプと連結され、ハッシュ処理されて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アクセスのためのチェビシェフ多項式ベースのバッチ認証と、モビリティハンドオーバーのための転送認証を組み合わせることで、このシステムはスケーラビリティと^{連続性の両方}を実現しています。バッチ認証は多くの同時車両認証を効果的に処理しますが、転送認証は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) = 84-8x 2+1 (cos(4θ) = 8cos4θ-8cos2θ+1	T4(x) = 84-8x 2+1

表2:再帰関係の評価。 この表は、第一種のT_n(x)(次数0から4に対して)の最初の数個のチェビシェフ多項式を示しており、提案された認証スキームの数学的基盤を形成する再帰関係を用いて計算されます。略語;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)でPを模す場合、整数nを見つけるのは非常に困難です。言い換えれば、xとyを知っていると、数が大きいとnを解くのは非常に困難です。これは、g^{a a} mod P から を探すのが難しい古典的な離散対数問題に似ています。

チェビシェフのディフィー–ヘルマン多項式問題(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)))であることに注目してください。したがって、2人がそれぞれa,bのうち1つずつを知っていれば、それぞれ簡単にT_ab(x)を計算できますが、盗み聞き者は個々の結果だけを知っているとできません。

スキームの安全性はこれらの前提に依存しています(CPDLPとCPDHPは解決困難です)。実用的な実装のために、本研究は有限体(大きな素数Pを割った)で動作し、異なる挙動を保証します。通常、[2,P-2]の乱数xが系パラメータとして選ばれます(これは乗法群における生成元のような役割を果たします)。TAはそのようなxを選び、公開パラメータの一部として公開します。このとき、チェビシェフ多項式は再帰式を用いてPを割って計算できます。この場合 x は [-1,1] に含まれませんが、[-1,1] 外の値に対してチェビシェフ多項式と双曲余弦の同型を用いるか、単に P で模された代数的に再帰を扱うことができます。カオス的性質は厳密には実区間に適用されます。しかし、暗号学の利用においては、有限場におけるCPDHPの難易度による予測不可能性に研究が依存します。

攻撃モデル

チェビシェフ多項式を用いたVANET向けのバッチおよび転送認証フレームワークの提案では、外部および内部の敵対者が安全な通信を妨害しようとする現実的な脅威の状況を研究者たちは考慮しています。外部攻撃者は、車両ネットワーク外に存在し、正当な認証資格を持たないまま悪意あるメッセージを傍受、改変、または注入することを目的とした存在です^。一方、内部攻撃者は、有効な認証情報を保有しているものの、不正利用して他人を偽装したり、データを偽造したり、協調攻撃を仕掛けたりする、侵害された悪意ある車両やRSUです。

中間者攻撃(MIM):敵対者は正当な2者間でメッセージを傍受・中継し、その内容を改ざんする可能性があります。このプロトコルは、チェビシェフ多項式問題の難易度に基づく相互認証とセッション鍵合意を用いることでこれを緩和し、傍受されたデータを検出されずに計算的に操作不可能であること^{を保証します。}

リプレイ攻撃:攻撃者が以前に取得した有効なメッセージを再送信し、不正アクセスやネットワーク混乱を引き起こします。研究者たちはこの問題に対処し、認証プロセスにタイムスタンプとセッション識別子を取り入れ、メッセージが短時間内のみ有効で、後で再利用されないようにしています。

なりすまし攻撃:攻撃者が正当な車両やRSUを装おうとする攻撃も含まれます。認証プロセスをチェビシェフ多項式鍵に厳しく結びつけ、バッチ認証や転送認証時にデジタル署名を検証することで、本物の参加者のみが通信できるようにします。

盗聴攻撃:敵対者が通信を受動的に監視し、機密情報を抽出する攻撃です。提案されたスキームは、安全なセッションキー生成を通じて機密性を確保しています。したがって、データパケットがインターセプトされても、秘密鍵がなければ理解不能なままです。

共謀攻撃:複数の侵害された組織が協力して認証プロトコルを破るものです。バッチ認証における集約検証と転送認証における独立検証の利用により、侵害されたノードが集団で有効な認証情報を偽造するのを防ぎます。

シンボル	概要
Ui	VANETの第1車両
RSU	ロードサイドユニット
TA	信頼された権威
TSi	車両によって生成されるタイムスタンプ
TARSU	RSUによって生成されたタイムスタンプ
TSTA	TAによって生成されたタイムスタンプ
ΔT	メッセージ有効性のための最大許容クロック差
DIDのUI(DID UI)	車両Uiの偽名に基づく同一性
DIDRSU	RSUの偽名に基づくアイデンティティ
Tv(x)	車両の秘密鍵「v」を持つチェビシェフ多項式
Tv(x)	チェビシェフ多項式に信頼権威秘密鍵「b」を含みます
TPKRi(x)	RSUの公開鍵を持つチェビシェフ多項式
α	車両Uiによる恒等ハッシュ
β	Uiに対してRSUによって計算された恒等ハッシュ
θi	集約に使用されるUiの多項式検証トークン
θ'agg	期待集約多項式(TA計算)
θagg	すべての車両 Θi からの集計多項式積
mi,n i	TAによって生成されたランダムなセッションキーのシード値
Ri,u i	RSUと車両にそれぞれ割り当てられた秘密のスカラー値
PUBRSU	RSUの公開鍵
PUBUI	車両Uiの公開鍵
E1(i)、E2(i)	機密性のためのハッシュによるマスキング値
IK(i)	認証/セッション鍵交換メッセージの構成要素
SKi	車両とRSU間で最終セッションキーが確定
H(.)	衝突耐性ハッシュ関数
ESK(.)/DSK(.)	セッションキーを用いた対称的な暗号化/復号
||	連結演算子
モッドP	大きな素数p上のモジュラー演算

表3:記譜。 この表は、論文全体で用いられている主要な記号、パラメータ、暗号記法を一覧にしています。

提案されたスキーマ:

この提案されたスキームは主に2つの要素で構成されています。(i) チェビシェフ多項式を用いたバッチメッセージ検証機構、(ii) RSU間の車両ハンドオーバーのための転送認証プロトコルです。本研究ではまずシステム構成の概要を示し、その後各構成要素を詳細に説明し、用語や表記法が表 3に示されていることを示します。

車両登録:

ステップ1:各車両が認証プロセスを開始します。n 台の車両が u_{1,u 2,u 3}....,u_n が同じ RSU で認証を試みているとします。各車両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-1⁽ⁱ⁾を受け取った後、集合およびバッチ認証の準備を行います。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:各_uiに対してセッションキーのバッチ設定、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||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₆⁽ⁱ⁾, TS_TA}ⁿ_i=1 

ステップ5:RSUが各車両にセッション情報を送る 
1. 回復:H(m_i) = I₃⁽ⁱ⁾E₁⁽ⁱ⁾ 
SK_i = I₅⁽ⁱ⁾H(m_i)
2. あなたに送る_i : {I₄⁽ⁱ⁾, I₆⁽ⁱ⁾, TS_RSU+1}

ステップ6:各_uiのセッションキー抽出を完了する車両 
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 
(TK_{i,ω 2,ω 3})を次のRSUに送信します。
ステップ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})を送信し、これらのパラメータを受け取った後、検証を検証する方法を説明しています。
T_TKi(IK_i^'(HOR_i))mod P = T_t(x)mod P .このセッションから、鍵は新しいRSUによって回収され、ビークルに送信されます。

図3:2つのRSU間の認証転送。 この図は、車両が現在のロードサイドユニット(RSU 1)と次のロードサイドユニット(RSU 2)間の安全なハンドオーバーを促進するVANETにおける転送認証プロトコルのフローチャートを示しています。プロセスはRSU 1で認証済みカード生成と暗号計算から始まり、その後RSU 2でパラメータの送信、検証、セッションキーの回復、そして安全なセッションキーの確立で締めくくられます。略語; VANET = 車両アドホックネットワーク;RSU = ロードサイドユニット。 この図の拡大版はこちらをクリックしてご覧ください。

結果

セキュリティ分析

非公式なセキュリティ分析

なりすまし攻撃:敵対者は不正アクセスや認証妨害のために正当な車両(_ui)やロードサイドユニット(RSU)をなりすまして認証を妨害しようとしますが、堅牢なセキュリティ機構のため計算的に不可能です。各車両とRSUは、それぞれの秘密鍵(v_{i,r i})と公開鍵(TPKR_i(x))を含み、チェビシェフ多項式に基づく署名を用いて認証トークンを生成します。車両の場合、トークン α_i = H(DID_ui||T_vi(T_b(x))||TS_i)は車両固有の秘密パラメータを組み込み、その検証は_信頼機関(TA)での計...

ディスカッション

提案されたバッチおよび転送認証方式は、従来の1対1検証の限界を克服することでVANETのパフォーマンスを大幅に向上させます。バッチ認証により、複数の車両をRSUで同時に認証でき、計算負荷や通信負荷を削減し、交通量の多い状況下でも大規模に効率的な運用を可能にします。この仕組みにより、より速い認証サイクルと帯域幅の利用率が向上し、速度と信頼性の両方が求められるリアルタイムの車両ネットワークに適しています。

さらに、トランスファー認証は、車両がRSU間で認証済みの認証情報を転送できるようにし、再認証の遅延を最小限に抑え、継続的な安全な通信を維持することでシームレスなモビリティを実現します^。チェビシェフ多項式ベースの暗号関数を用いるこのスキームは、リプレイ攻撃やなりすまし攻撃などの脅威に対して堅牢な保護を実現しつつ、計算の軽量さを保っています。その結果、レイテンシー、スケーラビリティ、スループットの向上は、インテリジェント交通システムのビジョンと一致しています。将来的にはブロ...

材料

この記事で使用された材料の一覧

名前	会社	カタログ番号	コメント
構成要素	仕様/詳細
バッチサイズ(n)	10台から100台の車両
比較スキーム	[20],[21],[22](文献からの分析)
暗号プリミティブ	チェビシェフ多項式(カスタム再帰実装)、SHA-256ハッシュ
ハードウェアプラットフォーム	Intel Core i7プロセッサ、16GB RAM、Windows 11(またはあなたの特定のOSを搭載)
主要ライブラリ	hashlib(SHA-256用)、time(測定用)、組み込みの数学演算
測定方法	時間モジュールを用いた平均1000回以上の実行時間
素数(p)	256–512ビット(テスト用に7919のような小さな値、セキュリティ解析用にスケール)
プログラミング言語	Python 3.10
シミュレーションタイプ	暗号操作タイミング(ネットワークシミュレータは使用されていません)