送信ノードから発信される証明書失効リストを、ランダムネットワーク符号化を用いた車々間通信により配布することを特徴とする証明書失効リストの配布方法。請求項1に記載の証明書失効リストの配布方法に用いられる送信ノードであって、受け取った証明書失効リストをランダムネットワーク符号化で符号化し路車間通信で符号化データをブロードキャストすることを特徴とする送信ノード。請求項1に記載の証明書失効リストの配布方法に用いられる中継局であって、一定間隔ごとに、受信した符号化データを再符号化してブロードキャストすることを特徴とする中継ノード。ある領域の車両が高密度になった場合、非特許文献1および特許文献1の方式では、証明書失効リストの要素を含んだパケット、または要素を符号化したパケットが、車両から同時に送信されるとパケット衝突が増大し、配信性能が劣化する。本発明は上記点に鑑みて、車両が高密度な環境下でも効率的に証明書失効リストを配布できるようにすることを目的とする。上記目的を達成するため、請求項1に記載の発明は、送信ノードから発信される証明書失効リストを、ランダムネットワーク符号化を用いた車々間通信により配布する証明書失効リストの配布方法を特徴としている。請求項2に記載の発明は、請求項1に記載の証明書失効リストの配布方法に用いられる送信ノードであって、受け取った証明書失効リストをランダムネットワーク符号化で符号化し路車間通信で符号化データをブロードキャストする送信ノードを特徴としている。請求項3に記載の発明は、請求項1に記載の証明書失効リストの配布方法に用いられる中継局であって、一定間隔ごとに、受信した符号化データを再符号化してブロードキャストする中継ノードを特徴としている。本実施形態は、ネットワークコーディングを使用した無線マルチホップ通信により証明書失効リストの配布を行うもので、車両が高密度な環境下でも効率的に証明書失効リストを配布できるようにするために、ランダムネットワーク符号化を用いた車々間通信により証明書失効リストの配布を行う。車両アドホックネットワークのような無線ネットワークでは複数のパケットの衝突によるパケットロスが発生する。複数のパケットを1つのパケットにネットワーク符号化して送信すれば、ネットワーク全体を伝搬するパケット数が減る。それに伴い衝突が減少し通信品質が向上する。ネットワーク符号化とは、複数のデータを1つのデータに符号化して中継する符号化技術である。元のデータは複数経路から送られてきた相異なる符号化データから復号できる。ネットワーク符号化の実装方法の1つにランダムネットワーク符号化がある。ランダムネットワーク符号化では入力データをランダムな符号化ベクトルで符号化し、毎回異なる符号化データを出力する。符号化データは、復号せずにさらに再符号化できる。そして、送信ノードが直接に符号化したデータだけではなく、中継ノードが再符号化したデータと合わせて、受信ノードが入力データと同じ個数のデータを受信すれば元のデータを復号できる。符号化ベクトルは復号に必要である。復号するノードに対する事前通信を不要にするために、符号化ベクトルと符号化データをパケットに含めて送信することがランダムネットワーク符号化の特徴である。本実施形態は、路側機のような送信ノードから発信される証明書失効リストを配布するためのランダムネットワーク符号化を用いた車両アドホックネットワーク上のブロードキャスト通信方式である。本実施形態では、図1に示した送信ノード路側機は認証局からインフラ通信で証明書失効リストを受け取る。受け取った証明書失効リストをランダムネットワーク符号化でN回符号化し路車間通信でN個の符号化データをブロードキャストする。中継ノードは受け取った複数の符号化データを1個の符号化データに再符号化して中継する。受信ノードは送信された符号化データと同じN個のデータを受信すれば復号する。図2は送信ノード路側機が証明書失効リストを符号化して送信する流れを示している。送信ノードは認証局から証明書失効リストXを受け取るS01。受け取った証明書失効リストXはN個のデータに分割するS02。受け取った証明書失効リストはランダムな符号化ベクトルでN回符号化するため、現在の符号化回数をカウントする変数を用意しS03、証明書失効リストをN回符号化するまで符号化送信処理を繰り返すS04。符号化では、まず符号化に必要なランダムな符号化ベクトルCを作成するS05。符号化ベクトルCとデータXを線形演算することで符号化し、符号化データyを作成するS06。符号化ベクトルCは復号に必要なため、符号化ベクトルCと符号化データyをパケットに含めてブロードキャストするS07。ブロードキャスト後は一定時間待機しS08、符号化回数をインクリメントしてからS09、次の符号化送信処理を行うS10。図3は受信した符号化データを再符号化してブロードキャストする中継ノードの流れを示している。中継ノードは一定間隔ごとに受信データを再符号化して中継するため、再符号化中継処理を繰り返すS11。受信パケットが送信データ数Nより少なくても一定間隔ごとに再符号化中継処理を行うS12。まず、受信パケットpiから符号化データyiと符号化ベクトルDiを取り出すS13。符号化と同様再符号化でもランダムな符号化ベクトルで符号化するので符号化ベクトルCを作成するS14。符号化ベクトルCと符号化データyiを線形演算し、再符号化するS15。復号には符号化データYの係数CではなくXの係数に相当する符号化ベクトルD’が必要なので符号化ベクトルを更新する。符号化ベクトルのN個の要素全てを更新するため、符号化ベクトルの何番目の要素を更新しているかを示す変数を用意するS16。符号化ベクトルのN個の要素全てを更新するまで更新処理を繰り返すS17。受信パケットに含まれる符号化ベクトルからなる行列Dに含まれる符号化ベクトルのi番目の要素の更新は、受信パケットに含まれる符号化ベクトルからなる行列Dに含まれる符号化ベクトルのi番目の要素からなるベクトルと符号化ベクトルCの線形演算で行うS18。符号化ベクトルの更新後は更新回数をインクリメントしS19、符号化ベクトルDのN番目の要素を更新するまで繰り返すS20。符号化ベクトルの更新が終われば、更新した符号化ベクトルD’と再符号化したデータZをパケットに含めてブロードキャストするS21。再符号化中継処理の後は一定時間待機しS22、次の再符号化中継処理を行うS23。図4は受信した符号化データを復号する受信ノードの流れを示している。復号にはN個の符号化データが必要なので、現在の受信パケット数を格納する変数を用意するS24。N個のパケットを受信するまで受信処理を繰り返すS25。受信処理では、まず送信ノード/中継ノードがブロードキャストしたパケットが届くまで受信待機するS26。パケットpiを受信するとS27、パケットpiから符号化データZiと符号化ベクトルDiを取り出すS28。パケットの受信後は現在の受信パケット数をインクリメントしS29、N個のパケットを受信するまで受信処理を繰り返すS30。復号に必要なN個のデータを受信すると復号する。受信パケットに含まれるDはXの係数に相当する符号化ベクトルなので、元のデータXと受信した符号化ベクトルDと符号化データZの間にはZ=DXの関係式が成り立つS31。Dは受信パケットに含まれる符号化ベクトルDiからなる行列であり、これに逆行列が存在すればX=D-1Zが成り立ち、DとZからXを復号するS32。図5は、本実施形態提案方式と、符号化しない車々間通信フラッディング、複数台の路側機による路車間通信のみでの配信のシミュレーション結果を示している。車両が高密度な環境下では、フラッディングではパケットロスが多数発生し、路側機1台での路車間通信のみで配信するよりも大きなリストを配信できるが、路側機4台での路車間通信のみで配信するよりも性能が良くない。本実施形態提案方式は、フラッディングよりも配信性能が高い。1台の路側機が配信したデータを車々間通信で中継配布する本実施形態提案方式は、12台の路側機による路車間通信のみでの配布と同等の性能でデータを配信でき、路側機の台数を減らせるので、路側設備の設置コストを削減できる。なお、上記した実施形態において、図2~図4に示す各ステップは、それぞれの機能を実現する手段として把握されるものであり、具体的には送信ノード、中継ノード、受信ノードに備えられたコンピュータによって実行される。