複数のサブフレームを時間多重することによって形成されたスーパーフレームのうち、2つ以上のサブフレームのそれぞれにおいて、基地局装置からのパケット信号を周期的に受信する受信部と、前記受信部において受信したパケット信号をもとに、基地局装置からのパケット信号を受信したサブフレームに対して、優先順位を付与する解析部と、前記解析部において付与した優先順位のうち、高い優先順位が付与されたサブフレームにて受信したパケット信号を優先的に処理する処理部と、を備えることを特徴とする端末装置。前記受信部において受信したパケット信号には、送信元になる装置の位置情報が含まれており、本端末装置は、本端末装置の位置情報を取得する取得部をさらに備え、前記解析部は、前記受信部において受信したパケット信号に含まれる送信元の位置情報と、前記取得部において取得した位置情報に基づいて優先順位を付与することを特徴とする請求項1に記載の端末装置。本端末装置は、さらにサブフレーム毎の受信電力を測定する測定部を備え、前記解析部は、前記測定部において測定した受信電力に基づいて優先順位を付与することを特徴とする請求項1に記載の端末装置。前記解析部は、スーパーフレームに含まれた複数のサブフレームを、2つ以上のグループに区分し、区分したグループ毎に優先順位を独立して付与することを特徴とする請求項1から3のいずれかに記載の端末装置。前記処理部は、前記解析部において基地局装置からのサブフレーム毎に付与した優先順位に応じた間引き率で、当該基地局装置からのサブフレーム毎の検証タイミングを設定し、前記検証タイミングにて、当該基地局装置からのサブフレームにて受信したパケット信号に含まれた電子署名に対する検証処理を実行することを特徴とする請求項1から3のいずれかに記載の端末装置。前記処理部は、さらに公開鍵証明書の検証処理を行い、前記検証タイミングでは、公開鍵証明書の検証処理または電子署名に対する検証処理のいずれか一方を実行することを特徴請求項5に記載の端末装置。前記処理部は、パケット信号に含まれた電子署名に対する検証処理を実行し、前記解析部は、前記処理部おいて実行された検証結果が無効であると判断された場合、次のスーパーフレームに含まれるサブフレームのうち、そのパケット信号が受信されたサブフレームに対する優先順位を下げることを特徴とする請求項1から6のいずれかに記載の端末装置。少なくともセキュリティヘッダとペイロードとをもとに、秘密鍵による電子署名を生成する生成部と、少なくともペイロードとセキュリティフッタとに対して、暗号化処理を実行する暗号化部と、少なくともセキュリティヘッダ、ペイロード、セキュリティフッタが配置されたセキュリティフレームを出力する出力部とを備え、前記生成部が生成すべき電子署名の対象となるセキュリティヘッダには、公開鍵証明書が含まれており、当該公開鍵証明書に対応した秘密鍵が電子署名を生成するために使用されており、前記暗号化部は、セキュリティヘッダを暗号化処理の対象から除外しており、セキュリティフッタには、前記生成部において生成した電子署名が含まれており、前記出力部から出力されるセキュリティフレームのうち、ペイロード、セキュリティフッタには、前記暗号化部による暗号化処理がなされていることを特徴とする通信装置。無線LANを車車間通信に適用する場合、不特定多数の端末装置へ情報を送信する必要があるために、信号はブロードキャストにて送信されることが望ましい。しかしながら、交差点などでは、車両数の増加、つまり端末装置数の増加がトラヒックを増加させることによって、パケット信号の衝突の増加が想定される。その結果、パケット信号に含まれたデータが他の端末装置へ伝送されなくなる。このような状態が、車車間通信において発生すれば、交差点の出会い頭の衝突事故を防止するという目的が達成されなくなる。さらに、車車間通信に加えて路車間通信が実行されれば、通信形態が多様になる。その際、車車間通信と路車間通信との間における相互の影響の低減が要求される。このような状況において、なりすましやメッセージの改ざんを防止する目的のために、共通鍵暗号方式によって生成されたメッセージ認証コードMAC:MessageAuthenticationCodeあるいは公開鍵暗号方式によって生成された電子署名がメッセージに添付される。受信側においては、メッセージ認証コードや電子署名によるメッセージの検証がなされる。ブロードキャストにて送信されたメッセージにメッセージ認証コードあるいは電子署名が付加されている場合、メッセージ認証コードあるいは電子署名によるメッセージの検証を所定の期間内に完了することが要求される。本発明はこうした状況に鑑みてなされたものであり、その目的は、電子署名によるメッセージの検証を所定の期間内に完了させる技術を提供することにある。上記課題を解決するために、本発明のある態様の端末装置は、複数のサブフレームを時間多重することによって形成されたスーパーフレームのうち、2つ以上のサブフレームのそれぞれにおいて、基地局装置からのパケット信号を周期的に受信する受信部と、受信部において受信したパケット信号をもとに、基地局装置からのパケット信号を受信したサブフレームに対して、優先順位を付与する解析部と、解析部において付与した優先順位のうち、高い優先順位が付与されたサブフレームにて受信したパケット信号を優先的に処理する処理部と、を備える。本発明の別の態様もまた、通信装置である。この装置は、少なくともセキュリティヘッダとペイロードとをもとに、秘密鍵による電子署名を生成する生成部と、少なくともペイロードとセキュリティフッタとに対して、暗号化処理を実行する暗号化部と、少なくともセキュリティヘッダ、ペイロード、セキュリティフッタが配置されたセキュリティフレームを出力する出力部とを備える。生成部が生成すべき電子署名の対象となるセキュリティヘッダには、公開鍵証明書が含まれており、当該公開鍵証明書に対応した秘密鍵が電子署名を生成するために使用されており、暗号化部は、セキュリティヘッダを暗号化処理の対象から除外しており、セキュリティフッタには、生成部において生成した電子署名が含まれており、出力部から出力されるセキュリティフレームのうち、ペイロード、セキュリティフッタには、暗号化部による暗号化処理がなされている。なお、以上の構成要素の任意の組合せ、本発明の表現を方法、装置、システム、記録媒体、コンピュータプログラムなどの間で変換したものもまた、本発明の態様として有効である。本発明によれば、電子署名によるメッセージの検証を所定の期間内に完了できる。本発明を具体的に説明する前に、概要を述べる。本発明の実施例は、車両に搭載された端末装置間において車車間通信を実行するとともに、交差点等に設置された基地局装置から端末装置へ路車間通信も実行する通信システムに関する。車車間通信として、端末装置は、車両の速度や位置等の自車両情報を格納したパケット信号をブロードキャストにより送信する以下、パケット信号のブロードキャストによる送信を報知という。また、他の端末装置は、パケット信号を受信するとともに、データをもとに車両の接近等を認識する。さらに、路車間通信として、基地局装置は、交差点情報および渋滞情報等が格納されたパケット信号を報知する。以下、説明を簡単にするために、車車間通信および路車間通信のパケット信号に含まれる情報の総称をデータという。交差点情報には、交差点の位置、基地局装置が設置された交差点の撮影画像や、交差点内の車両の位置情報等の交差点の状況に関する情報が含まれる。端末装置は、この交差点情報をモニタに表示、この交差点情報をもとに交差点車両の状況を認識して、出会い頭右折左折による衝突防止を目的とした他の車両や歩行者の存在等をユーザに伝達し、事故の防止を図る。また、渋滞情報は、基地局装置が設置された交差点近辺の走路の混雑状況、道路工事や事故に関する情報が含まれる。この情報をもとに進行方向の渋滞をユーザに伝達、あるいは、迂回路を提示する。このような通信では、データの完全性、真正性、機密性が望まれる。完全性とは、情報が改ざんされていないことを保障することであり、真正性とは、データの提供元を保証することであり、機密性とは、データが第三者に知られないことである。例えば、完全性のためには共通鍵暗号を用いたデータ認証子コードあるいは公開鍵暗号を用いた電子署名の付加が、真正性のためには、公開鍵証明書とデータへの電子署名PKI:公開鍵インフラストラクチャーの付加が、機密性のためには、データの暗号化が行われる。これらの処理の量は互いに異なっており、必要に応じて適用されるべきである。車車間通信のトラヒックは路車間通信のトラヒックよりも多いので、車車間通信では、データの完全性および機密性を保証することとし、データ認証子コードの添付と、データの暗号化を行う。データ認証子コードを使用するのは、電子署名に比べてデータ量が少なく、検証処理が軽いためである。路車間通信では、完全性、真正性および機密性を保証し、路側機の公開鍵証明書、電子署名の添付、データの暗号化を行う。これは、車車間通信に比べて送信データ長に余裕があること、送信されるデータに信号機の情報などの重要な情報が含まれるためである。また、送信されるデータの種類によって、データの暗号化を行わない場合も、メッセージ認証コードあるいは電子署名を添付しない場合も対応する。図1は、本発明の実施例に係る通信システム100の構成を示す。これは、ひとつの交差点を上方から見た場合に相当する。通信システム100は、基地局装置10、車両12と総称される第1車両12a、第2車両12b、第3車両12c、第4車両12d、第5車両12e、第6車両12f、第7車両12g、第8車両12h、ネットワーク202を含む。なお、各車両12には、図示しない端末装置が搭載されている。図示のごとく、図面の水平方向、つまり左右の方向に向かう道路と、図面の垂直方向、つまり上下の方向に向かう道路とが中心部分で交差している。ここで、図面の上側が方角の北に相当し、左側が方角の西に相当し、下側が方角の南に相当し、右側が方角の東に相当する。また、ふたつの道路の交差部分が交差点である。第1車両12a、第2車両12bが、左から右へ向かって進んでおり、第3車両12c、第4車両12dが、右から左へ向かって進んでいる。また、第5車両12e、第6車両12fが、上から下へ向かって進んでおり、第7車両12g、第8車両12hが、下から上へ向かって進んでいる。通信システム100は、交差点に基地局装置10を配置する。基地局装置10は、端末装置間の通信を制御する。基地局装置10は、図示しないGPS衛星から受信した信号や、図示しない他の基地局装置10にて形成されたスーパーフレームをもとに、複数のサブフレームが含まれたスーパーフレームを繰り返し生成する。ここで、各サブフレームの先頭部分に路車送信期間が設定可能であるような規定がなされている。基地局装置10は、複数のサブフレームのうち、他の基地局装置10によって路車送信期間が設定されていないサブフレームを選択する。基地局装置10は、選択したサブフレームの先頭部分に路車送信期間を設定する。基地局装置10は、設定した路車送信期間においてパケット信号を報知する。これが、前述の路車間通信に相当する。端末装置は、基地局装置10からのパケット信号を受信すると、パケット信号に含まれた情報をもとに、スーパーフレームを生成する。その結果、複数の端末装置のそれぞれにおいて生成されるスーパーフレームは、基地局装置10において生成されるスーパーフレームに同期する。ここで、端末装置が、基地局装置10からのパケット信号を受信できる場合、端末装置はエリア212に存在するといえる。端末装置は、エリア212に存在する場合、車車送信期間においてキャリアセンスにてパケット信号を報知する。これが、前述の車車間通信に相当する。路車間通信では、公開鍵暗号方式における秘密鍵によって生成した電子署名と、この電子署名を検証する路側機の公開鍵証明書が添付される。電子署名とは、紙文書における印や署名に相当し、主に本人確認、偽造かいざんの防止のために使用される。具体的に説明すると、ある文書についてその作成者として文書に記載されている者がある場合、その文書が本当にその作成名義人によって作成されたものであることは、紙の文書の場合、その文書に付されたその作成者の署名や印によって証明される。しかしながら、電子文書には直接印を押したり署名を付したりすることはできないので、これを証明するために、電子署名が使用される。電子署名を生成するためには、ハッシュ関数と公開鍵暗号が使用される。電子署名として、公開鍵暗号方式に基づくデジタル署名が有力である。公開鍵暗号方式に基づく方式として、具体的には、RSA、DSA、ECDSA等が使用される。電子署名方式は、鍵生成アルゴリズム、署名アルゴリズム、検証アルゴリズムによって構成される。鍵生成アルゴリズムは電子署名の事前準備に相当する。鍵生成アルゴリズムは、ユーザの公開鍵および秘密鍵を出力する。鍵生成アルゴリズムが実行される度に異なる乱数が選ばれ、路側機毎に異なる公開鍵秘密鍵のペアが割り当てられる。公開鍵のさらに第三者によって電子署名を添付された公開鍵証明書の体をなしている。路側機は、署名アルゴリズムによって電子署名を作成する際、データとともに自分の秘密鍵を入力する。署名に用いる秘密鍵を知っているのは、その秘密鍵をもつ路側機だけのはずなので電子署名を添付したデータの送信元を、識別する根拠となる。データと公開鍵証明書と電子署名を受け取ったユーザ端末装置は、予め公開されている路側機の公開鍵署名書検証用の認証鍵によって、添付された路側機の公開鍵証明書を検証し、発信元である路側機の正当性を確認する。正当性が確認されると、路側機の公開鍵証明書から公開鍵を取り出し、データに添付された電子署名を検証し、その結果を出力する。このような公開鍵暗号方式の検証処理の処理負荷は、一般的に重い。一方、車車間通信では、共通鍵暗号方式によって生成されたメッセージ認証コードが添付されたパケット信号が報知される。共通鍵暗号方式では、送信側の端末装置と受信側の端末装置とが同一の鍵を用いる。受信側の端末装置にとって検証に用いる鍵が既知であり、鍵の証明書が不要になるので、公開鍵暗号方式と比較して伝送効率の悪化が抑制される。また、同じ鍵を持たない場合、データ認証コードが確認できないため、データの完全性は保証される。共通鍵暗号は、DES、AESなどがある。なお、データの暗号化は、路車間通信も車車間通信も共通鍵暗号方式が用いられる。図2a-dは、通信システム100において規定されるスーパーフレームのフォーマットを示す。図2aは、スーパーフレームの構成を示す。スーパーフレームは、第1サブフレームから第Nサブフレームと示されるN個のサブフレームによって形成されている。例えば、スーパーフレームの長さが100msecであり、Nが8である場合、12.5msecの長さのサブフレームが規定される。Nは、8以外であってもよい。図2bは、第1基地局装置10aによって生成されるスーパーフレームの構成を示す。第1基地局装置10aは、基地局装置10のうちの任意のひとつに相当する。第1基地局装置10aは、第1サブフレームの先頭部分に路車送信期間を設定する。また、第1基地局装置10aは、第1サブフレームにおいて路車送信期間に続いて車車送信期間を設定する。車車送信期間とは、端末装置がパケット信号を報知可能な期間である。つまり、第1サブフレームの先頭期間である路車送信期間において第1基地局装置10aはパケット信号を報知可能であり、かつフレームのうち、路車送信期間以外の車車送信期間において端末装置がパケット信号を報知可能であるような規定がなされる。さらに、第1基地局装置10aは、第2サブフレームから第Nサブフレームに車車送信期間のみを設定する。図2cは、第2基地局装置10bによって生成されるスーパーフレームの構成を示す。第2基地局装置10bは、第1基地局装置10aとは異なった基地局装置10に相当する。第2基地局装置10bは、第2サブフレームの先頭部分に路車送信期間を設定する。また、第2基地局装置10bは、第2サブフレームにおける路車送信期間の後段、第1サブフレーム、第3サブフレームから第Nサブフレームに車車送信期間を設定する。図2dは、第3基地局装置10cによって生成されるスーパーフレームの構成を示す。第3基地局装置10cは、第1基地局装置10aや第2基地局装置10bとは異なった基地局装置10に相当する。第3基地局装置10cは、第3サブフレームの先頭部分に路車送信期間を設定する。また、第3基地局装置10cは、第3サブフレームにおける路車送信期間の後段、第1サブフレーム、第2サブフレーム、第4サブフレームから第Nサブフレームに車車送信期間を設定する。このように、複数の基地局装置10は、互いに異なったサブフレームを選択し、選択したサブフレームの先頭部分に路車送信期間を設定する。図3a-bは、サブフレームの構成を示す。図示のごとく、ひとつのサブフレームは、路車送信期間、車車送信間の順に構成される。路車送信期間では、基地局装置10がパケット信号を報知し、車車送信期間は、所定の長さを有し、かつ端末装置がパケット信号を報知可能である。図3bは、路車送信期間におけるパケット信号の配置を示す。図示のごとく、路車送信期間において、複数のRSUパケット信号が並べられている。ここで、前後のパケット信号は、SIFSShortInterframeSpaceだけ離れている。図4a-fは、通信システム100において規定される各レイヤのフレームのフォーマットを示す。図4aは、物理レイヤのフレームフォーマットを示す。図示のごとく、フレームには、PLCPプリアンブル、PLCPヘッダ、PSDUPhysicalLayerServiceDataUnit、テールが順に配置される。図4bは、MACレイヤのフレームフォーマットを示す。このフレームは、図4aのPSDUに格納される。図示のごとく、フレームには、MACヘッダ、MSDUMACLayerServiceDataUnit、FCSが順に配置される。図4cは、LLCレイヤのフレームフォーマットを示す。このフレームは、図4bのMSDUに格納される。図示のごとく、フレームには、LLCヘッダ、LSDULLCLayerServiceDataUnitが順に配置される。図4d車車間路車間共用通信制御情報レイヤのフレームフォーマットを示す。このフレームは、図4cのLSDUに格納される。図示のごとく、フレームには、RSU制御ヘッダ、APDUApplicationProtocolDataUnitが順に配置される。図4eは、セキュリティレイヤのフレームフォーマットを示す。このフレームは、図4dのAPDUに格納される。図示のごとく、フレームには、セキュリティヘッダ、SPDUSecurityProtocolDataUnit、セキュリティフッタが順に配置される。図4fは、アプリケーションレイヤのフレームフォーマットを示す。このフレームは、図4eのSPDUに格納されており、アプリケーションデータによって構成される。なお、以上のフレームを単にパケット信号ということもある。図5は、セキュリティフレームのデータ構造を示す。これは、図4eの内容を詳細にした図である。図中のペイロードは、図4eのSPDUに相当する。また、図中の管理データは、オプションであり、図4eには示されていない。ここで、発信元情報、ペイロード、データ認証のデータ長さが可変である。発信元情報は、共通鍵方式を使用している場合、機器識別番号機器ID4バイトであり、公開鍵方式を使用している場合、発信元の機器IDを含んだ公開鍵証明書111バイトである。また、データ認証は、共通鍵方式の場合、メッセージ認証コード12バイトであり、公開鍵方式の場合、電子署名56バイトである。ここでは、共通鍵方式におけるメッセージ認証コードは、AES128ビット、CBCモードにより暗号化されたデータの最終ブロック16バイトの先頭から12バイトである。また、公開鍵方式における電子署名は、224ビットの楕円曲線暗号を用いたECDASアルゴリズムによってもとめられた56バイトである。ハッシュ関数としてはSHA-224を用いるものとする。図6は、メッセージタイプのデータ構造を示す。メッセージタイプは0.5バイトにて構成されている。認証方式として、共通鍵方式は車車間通信に使用され、公開鍵方式は路車間通信に使用される。メッセージ形式がデータ認証付きデータである場合、電子署名やメッセージ認証コードが添付される。メッセージ形式が認証付き暗号化データである場合、電子署名やメッセージ認証コードの添付に加えてデータ暗号化がなされる。メッセージ形式が平文である場合、電子署名やメッセージ認証コードが添付されず、かつデータ暗号化もなされていない。図7は、鍵IDのデータ構造を示す。鍵IDは2バイトにて構成されている。テーブル番号は、共通鍵のテーブル識別番号を示し、鍵番号は、共通鍵テーブル内での識別番号を示す。発信時には、鍵番号がランダムに選択される。図8は、機器IDのデータ構造を示す。機器IDは4バイトにて構成されており、メッセージ認証コードのときに使用される。種別には、機器の種類、機器が搭載されている車両の種類が示されている。個別種別には、各機器を識別するための識別番号が示されている。図9は、公開鍵証明書のデータ構造を示す。公開鍵証明書には、図8の機器IDが含まれている。また、公開鍵証明書は、電子署名のときに使用される。図10は、Nonceのデータ構造を示す。Nonceは6バイトにて構成されている。また、Nonceは、時計機能の有無精度により選択して設定される。図11は、データ長のデータ構造を示す。データ長は1バイトから2バイトにて構成される。図示のごとく、車車間通信と路車間通信とでは、異なったデータ長が規定される。図12a-bは、管理データのデータ構造を示す。図12aは、通知コードのデータ構造を示す。図12bは、通知コードの通知内容を示す。図13は、基地局装置10の構成を示す。基地局装置10は、アンテナ20、RF部22、変復調部24、MACフレーム処理部26、セキュリティ処理部28、制御部30、ネットワーク通信部32を含む。また、セキュリティ処理部28は、データ認証処理部34、暗号化処理部36を含む。RF部22は、受信処理として、図示しない端末装置や他の基地局装置10からのパケット信号をアンテナ20にて受信する。RF部22は、受信した無線周波数のパケット信号に対して周波数変換を実行し、ベースバンドのパケット信号を生成する。さらに、RF部22は、ベースバンドのパケット信号を変復調部24に出力する。一般的に、ベースバンドのパケット信号は、同相成分と直交成分によって形成されるので、ふたつの信号線が示されるべきであるが、ここでは、図を明瞭にするためにひとつの信号線だけを示すものとする。RF部22には、LNALowNoiseAmplifier、ミキサ、AGC、A/D変換部も含まれる。RF部22は、送信処理として、変復調部24から入力したベースバンドのパケット信号に対して周波数変換を実行し、無線周波数のパケット信号を生成する。さらに、RF部22は、路車送信期間において、無線周波数のパケット信号をアンテナ20から送信する。また、RF部22には、PAPowerAmplifier、ミキサ、D/A変換部も含まれる。変復調部24は、受信処理として、RF部22からのベースバンドのパケット信号に対して、復調を実行する。さらに、変復調部24は、復調した結果から、MACフレームをMACフレーム処理部26に出力する。また、変復調部24は、送信処理として、MACフレーム処理部26からのMACフレームに対して、変調を実行する。さらに、変復調部24は、変調した結果をベースバンドのパケット信号としてRF部22に出力する。ここで、通信システム100は、OFDMOrthogonalFrequencyDivisionMultiplexing変調方式に対応するので、変復調部24は、受信処理としてFFTFastFourierTransformも実行し、送信処理としてIFFTInverseFastFourierTransformも実行する。MACフレーム処理部26は、受信処理として、変復調部24からのMACフレームから、セキュリティフレームを取り出し、セキュリティ処理部28に出力する。MACフレーム処理部26は、送信処理として、セキュリティ処理部28からのセキュリティフレームに対して、MACヘッダ、LLCヘッダ、およびRSU制御ヘッダを付加し、MACフレームを生成し、変復調部24に出力する。また、他の基地局装置あるいは端末装置からのパケット信号がぶつからないようにタイミング制御をする。データ認証処理部34は、送信処理として、ネットワーク通信部32からのアプリケーションデータを受けつける。これは、図4fのアプリケーションデータに相当する。データ認証処理部34は、アプリケーションデータをペイロードに格納する。また、データ認証処理部34は、図5から図10に示されたセキュリティヘッダを生成する。その際、図9に示した公開鍵証明書が添付されるが、それが発信者認証に相当する。また、図6に示したメッセージ認証が、データ認証付きデータであるか、認証付き暗号化データである場合、データ認証処理部34は、セキュリティヘッダとペイロードに対して電子署名を生成する。そのため、電子署名の対象となるセキュリティヘッダには、公開鍵証明書が含まれており、当該公開鍵証明書に対応した秘密鍵が電子署名を生成するために使用されている。データ認証処理部34は、電子署名をセキュリティフッタに格納する。なお、管理データが含まれている場合、データ認証処理部34は、セキュリティヘッダ、管理データ、ペイロードをもとに、秘密鍵による電子署名を生成する。一方、図6に示したメッセージ認証が、平文である場合、データ認証処理部34は、電子署名を生成しない。その際、データ認証処理部34は、セキュリティフッタにダミーデータを格納する。図14a-eは、基地局装置10においてなされる署名生成処理の概要を示す。図14aは、データ認証処理部34での処理対象となるセキュリティヘッダ、管理データ、ペイロードを示す。図14bは、データ認証処理部34において、セキュリティヘッダ、管理データ、ペイロードに対してなされるSHA-224の演算を示す。SHA-224SecureHashAlgorithmは、一群の関連したハッシュ関数である。図14cは、SHA-224の結果であるハッシュ値を示す。ハッシュ値は、28バイトの固定長である。図14dは、データ認証処理部34において、ハッシュ値に対してなされるECDSA署名の演算を示す。図14eは、ECDSA署名の演算結果である電子署名を示す。電子署名は、56バイトの固定長である。図13に戻る。暗号化処理部36は、図6に示したメッセージ認証が、認証付き暗号化データである場合に、データ認証処理部34からのペイロードとセキュリティフッタとを受けつける。前述のごとく、セキュリティフッタには、データ認証処理部34において生成した電子署名が含まれている。暗号化処理部36は、ペイロードとセキュリティフッタとに対して、暗号化処理を実行する。暗号化には、例えば、AES128-CTRが使用される。なお、管理データが含まれている場合、暗号化処理部36は、管理データ、ペイロード、セキュリティフッタに対して、暗号化処理を実行する。ここで、暗号化処理部36は、セキュリティヘッダを暗号化処理の対象から除外する。図15a-dは、基地局装置10においてなされる暗号化処理の概要を示す。図15aは、暗号化処理部36における暗号化に使用される暗号鍵の構成を示す。図示のごとく、暗号鍵は16バイトの固定長である。図15bは、暗号化処理部36における暗号化処理のための演算を示す。図示のごとく、暗号化は、暗号鍵によって16バイト単位になされる。具体的に説明すると、暗号化処理部36は、管理データとペイロードとのサイズが16バイトの整数倍になるように、パディングを挿入するとともに、署名のサイズも16バイトの整数倍になるように、8バイトのパディングを挿入する。図15cは、暗号化の結果を示す。図示のごとく、暗号化管理データ、暗号化ペイロード、暗号化署名が生成される。図15dは、暗号化処理部36からの出力を示す。図示のごとく、暗号化管理データ、暗号化ペイロード、暗号化署名が一体的に出力される。図13に戻る。セキュリティ処理部28は、図4e、図5のごとく、少なくともセキュリティヘッダ、ペイロード、セキュリティフッタが配置されたセキュリティフレームを出力する。管理データが含まれていることもある。なお、メッセージ認証が、認証付き暗号化データである場合、セキュリティフレームのうち、ペイロード、セキュリティフッタは、暗号化されている。管理データが含まれている場合、管理データも暗号化されている。図16a-dは、基地局装置10において生成されるセキュリティフレームのフォーマットを示す。図16aは、管理データが含まれていない場合を示す。図16bは、管理データのうち、通知コードおよび機器IDのみが含まれている場合を示す。図16cは、管理データにパラメータが含まれている場合を示す。図16dは、管理データのみが含まれ、ペイロードが含まれていない場合を示す。これらの図に示されているように、メッセージ形式が、データ認証付きデータであるか、認証付き暗号化データであるか、平文であるかにかかわらず、セキュリティフレームのフォーマットは共通である。図13に戻る。セキュリティ処理部28は、セキュリティフレームをMACフレーム処理部26へ出力する。セキュリティ処理部28は、受信処理として、MACフレーム処理部26からのセキュリティフレームを受けつける。セキュリティ処理部28は、セキュリティフレームのうちのセキュリティヘッダの内容を確認する。メッセージ形式がデータ認証付きデータである場合、データ認証処理部34は、メッセージの検証処理を実行する。メッセージ形式が認証付き暗号化データである場合、データ認証処理部34は、メッセージの検証処理を実行し、暗号化処理部36は、復号処理を実行する。なお、メッセージ形式が平文である場合、これらの処理は省略される。ここで、セキュリティフレームの送信元が他の基地局装置10である場合、データ認証処理部34や暗号化処理部36は、前述の電子署名の生成処理や暗号化処理に対応したメッセージの検証処理や復号処理を実行する。さらに、データ認証処理部34は、セキュリティフレームに含まれた公開鍵証明書をもとに、機器認証も実行する。一方、セキュリティフレームの送信元が端末装置である場合、データ認証処理部34や暗号化処理部36は、端末装置においてなされる電子署名の生成処理や暗号化処理に対応したメッセージの検証処理や復号処理を実行する。端末装置においてなされる電子署名の生成処理や暗号化処理は後述する。セキュリティ処理部28は、処理結果をネットワーク通信部32へ出力する。ネットワーク通信部32は、図示しないネットワークに接続される。ネットワーク通信部32は、セキュリティ処理部28での処理結果を図示しないネットワークへ出力したり、内部に蓄積して、定期的に図示しないネットワークへ出力したりする。ネットワーク通信部32は、図示しないネットワークから道路情報工事、渋滞などを受けつける。制御部30は、基地局装置10全体の処理を制御する。この構成は、ハードウエア的には、任意のコンピュータのCPU、メモリ、その他のLSIで実現でき、ソフトウエア的にはメモリにロードされたプログラムなどによって実現されるが、ここではそれらの連携によって実現される機能ブロックを描いている。したがって、これらの機能ブロックがハードウエアのみ、ソフトウエアのみ、またはそれらの組合せによっていろいろな形で実現できることは、当業者には理解されるところである。図17は、車両12に搭載された端末装置14の構成を示す。端末装置14は、アンテナ50、RF部52、変復調部54、MACフレーム処理部56、セキュリティ処理部58、受信処理部60、データ生成部62、通知部70、制御部72を含む。また、セキュリティ処理部58は、データ認証処理部64、暗号化処理部66を含む。アンテナ50、RF部52、変復調部54、MACフレーム処理部56は、図13のアンテナ20、RF部22、変復調部24、MACフレーム処理部26と同様の処理を実行する。そのため、ここでは、同様の処理の説明を割愛し、差異を中心に説明する。データ認証処理部64は、送信処理として、データ生成部62からのアプリケーションデータを受けつける。これは、図4fのアプリケーションデータに相当する。データ認証処理部64は、アプリケーションデータをペイロードに格納する。また、データ認証処理部64は、図5から図10に示されたセキュリティヘッダを生成する。また、図6に示したメッセージ認証が、データ認証付きデータであるか、認証付き暗号化データである場合、データ認証処理部64は、セキュリティヘッダとペイロードとをもとに、共通鍵によるメッセージ認証コードを生成する。データ認証処理部64は、メッセージ認証コードをセキュリティフッタに格納する。なお、管理データが含まれている場合、データ認証処理部64は、セキュリティヘッダ、管理データ、ペイロードをもとに、共通鍵によるメッセージ認証コードを生成する。一方、図6に示したメッセージ認証が、平文である場合、データ認証処理部64は、メッセージ認証コードを生成しない。その際、データ認証処理部64は、セキュリティフッタにダミーデータを格納する。図18a-cは、端末装置14においてなされるメッセージ認証コード生成の概要を示す。図18aは、データ認証処理部64での処理対象となるセキュリティヘッダ、管理データ、ペイロードを示す。データ認証処理部64は、セキュリティヘッダのサイズが32バイトになるようにパディングを挿入するとともに、管理データとペイロードとのサイズが16バイトの整数倍になるように、パディングを挿入する。図18bは、データ認証処理部64において、パディングが挿入されたセキュリティヘッダ、管理データ、ペイロードに対してなされるAES128-CBCモード暗号処理の演算を示す。図18cは、暗号結果を示すとともに、暗号結果から生成されるメッセージ認証コードを示す。メッセージ認証コードは、12バイトの固定長である。図17に戻る。暗号化処理部66は、図6に示したメッセージ認証が、認証付き暗号化データである場合に、データ認証処理部64からのペイロードとセキュリティフッタとを受けつける。前述のごとく、セキュリティフッタには、データ認証処理部64において生成したメッセージ認証コードが含まれている。暗号化処理部66は、ペイロードとセキュリティフッタとに対して、暗号化処理を実行する。暗号化には、例えば、AES-CTRが使用される。なお、管理データが含まれている場合、暗号化処理部66は、管理データ、ペイロード、セキュリティフッタに対して、暗号化処理を実行する。ここで、暗号化処理部66は、セキュリティヘッダを暗号化処理の対象から除外する。図19a-dは、端末装置14においてなされる暗号化処理の概要を示す。図19aは、暗号化処理部66における暗号化に使用される暗号鍵の構成を示す。図示のごとく、暗号鍵は16バイトの固定長である。図19bは、暗号化処理部66における暗号化処理のための演算を示す。図示のごとく、暗号化は、暗号鍵によって16バイト単位になされる。具体的に説明すると、暗号化処理部66は、管理データとペイロードとのサイズが16バイトの整数倍になるように、パディングを挿入するとともに、メッセージ認証コードのサイズも16バイトの整数倍になるように、4バイトのパディングを挿入する。図19cは、暗号化の結果を示す。図示のごとく、暗号化管理データ、暗号化ペイロード、暗号化メッセージ認証コードが生成される。図19dは、暗号化処理部66からの出力を示す。図示のごとく、暗号化管理データ、暗号化ペイロード、暗号化メッセージ認証コードが一体的に出力される。図17に戻る。セキュリティ処理部58は、図4e、図5のごとく、少なくともセキュリティヘッダ、ペイロード、セキュリティフッタが配置されたセキュリティフレームを出力する。管理データが含まれていることもある。なお、メッセージ認証が、認証付き暗号化データである場合、セキュリティフレームのうち、ペイロード、セキュリティフッタは、暗号化されている。管理データが含まれている場合、管理データも暗号化されている。図20a-bは、端末装置14において生成されるセキュリティフレームのフォーマットを示す。図16aは、管理データが含まれていない場合を示す。図16bは、管理データが含まれている場合を示す。図17に戻る。セキュリティ処理部58は、セキュリティフレームをMACフレーム処理部56へ出力する。セキュリティ処理部58は、受信処理として、MACフレーム処理部26からのセキュリティフレームを受けつける。セキュリティ処理部58は、セキュリティフレームのうちのセキュリティヘッダの内容を確認する。メッセージ形式がデータ認証付きデータである場合、データ認証処理部64は、メッセージの検証処理を実行する。メッセージ形式が認証付き暗号化データである場合、データ認証処理部64は、メッセージの検証処理を実行し、暗号化処理部66は、復号処理を実行する。なお、メッセージ形式が平文である場合、これらの処理は省略される。ここで、セキュリティフレームの送信元が他の端末装置14である場合、データ認証処理部64や暗号化処理部66は、前述の電子署名の生成処理や暗号化処理に対応したメッセージの検証処理や復号処理を実行する。一方、セキュリティフレームの送信元が基地局装置10である場合、データ認証処理部64や暗号化処理部66は、既に説明した基地局装置10においてなされる電子署名の生成処理や暗号化処理に対応したメッセージの検証処理や復号処理を実行する。セキュリティ処理部58は、処理結果を受信処理部60へ出力する。受信処理部60は、セキュリティ処理部58から受け取ったデータと、データ生成部62から受け取った自車両情報に基づいて、衝突の危険性、救急車や消防車といった緊急車両の接近、進行方向の道路および交差点の混雑状況などを推定する。また、データが、画像情報であれば通知部70にて表示できるように処理する。通知部70は、図示しないモニタやランプやスピーカ等のユーザへの通知手段を含む。受信処理部60からの指示にしたがって、図示しない他の車両12の接近等を運転者へモニタやランプやスピーカを介して通知する。また、渋滞情報や交差点等の画像情報等をモニタに表示する。データ生成部62は、図示しないGPS受信機、ジャイロスコープ、車速センサ等を含んでおり、それらから供給される情報によって、図示しない自車両の情報、つまり端末装置14が搭載された車両12の存在位置、進行方向、移動速度等を取得する。なお、存在位置は、緯度経度によって示される。これらの取得には公知の技術が使用されればよいので、ここでは説明を省略する。データ生成部62は、取得した情報をもとにデータを生成し、生成したデータをアプリケーションデータとしてセキュリティ処理部58に出力する。制御部72は、端末装置14全体の動作を制御する。次に、本発明の変形例を説明する。本発明の変形例は、実施例と同様に、車車間通信と路車間通信とが実行される通信システムに関する。端末装置は、路車送信期間において、基地局装置からのパケット信号を複数受信する。パケット信号の数が7であり、かつ電子署名が添付されている場合、端末装置は、1回の発信者認証処理と7回のメッセージ認証処理を実行する。ここで、発信者認証処理は、最初のパケット信号に対してのみ実行する。その結果、端末装置は、路車送信期間において、ECDSA検証処理を8回実行し、SHA演算を7回実行する。さらに、スーパーフレームには、複数のサブフレームが含まれており、サブフレーム数を16とすると、端末装置には、スーパーフレームの間に128回のECDSA検証処理が要求される。前述のごとく、スーパーフレームの長さは100msecであるので、1回のECDSA検証処理に対して、1msecよりも短期間に終了することが必要とされる。一般的に、ECDSA検証処理の処理量は大きく、1msecよりも短期間に処理を完了するような高速な演算器を端末装置に搭載することは困難である。すなわち、全ての路車間通信によるパケットを検証しようとすると端末装置の大幅なコストアップに繋がり、普及を妨げる結果となる。これに対応するために、変形例に係る基地局装置は、基地局装置の位置情報をパケット信号に含めて報知する。例えば、基地局装置の位置情報は、セキュリティヘッダに含まれる。端末装置は、所定の期間にわたって、基地局装置からのパケット信号を複数受信すると、各パケット信号から位置情報を抽出する。端末装置は、各パケット信号から抽出した位置情報と、自らの位置情報とを比較することによって、各パケット信号を報知した基地局装置と端末装置との距離を導出する。端末装置は、距離の短い基地局装置に対して優先順位が高くなるように、複数のサブフレームのそれぞれに対して優先順位を付与する。端末装置は、優先順位の高いサブフレームから優先的に、路車送信期間においてパケット信号を受信する。スーパーフレームの間に処理ができないサブフレームにおいて、端末装置は、路車送信期間におけるパケット信号を受信しない。本発明の変形例に係る通信システム100は、図1と同様のタイプであり、本発明の変形例に係る基地局装置10は、図13と同様のタイプである。ここでは差異を中心に説明する。基地局装置10におけるセキュリティ処理部28は、セキュリティヘッダに位置情報を含める。位置情報は、緯度と経度とによって示されるが、高度が含まれていてもよい。なお、位置情報の情報量を低減するために、緯度と経度との上位部分の情報が省略されていてもよい。図21は、本発明の変形例に係る端末装置14の構成を示す。端末装置14は、アンテナ50、RF部52、変復調部54、MACフレーム処理部56、セキュリティ処理部58、受信処理部60、データ生成部62、通知部70、制御部72、解析部74を含む。また、セキュリティ処理部58は、データ認証処理部64、暗号化処理部66を含み、解析部74は、フレーム検出部76、RSU検出部78、取得部80、導出部82、優先順位決定部84、優先順位保持部86、決定部88を含む。端末装置14の送信処理は、図17の端末装置14と同様である。フレーム検出部76は、MACフレーム処理部56を介して、受信されたパケット信号であって、かつ基地局装置10からのパケット信号を取得する。このようなパケット信号は、スーパーフレームのうち、2つ以上のサブフレームのそれぞれにおける路車送信期間にて、周期的に受信されている。前述のごとく、パケット信号には、送信元になる基地局装置10の位置情報が含まれている。フレーム検出部76は、このようなパケット信号を取得したときに、スーパーフレームの検出を確認する。その結果、スーパーフレームとのタイミング同期、スーパーフレームに含まれた複数のサブフレームのそれぞれとのタイミング同期が確立する。RSU検出部78は、フレーム検出部76において検出されたスーパーフレームに含まれた複数のサブフレームのうち、基地局装置10からのパケット信号を受信したサブフレームを特定する。これは、複数のサブフレームのうち、路車送信期間が設定されたサブフレームを検出することに相当する。RSU検出部78は、路車送信期間が設定されたサブフレームに関する情報を優先順位決定部84へ出力する。ここで、路車送信期間が設定されたサブフレームに関する情報では、サブフレームと、当該サブフレームにおいて路車送信期間を設定している基地局装置10とが対応づけて示されている。取得部80は、受信したパケット信号のうち、セキュリティヘッダに含まれた基地局装置10の位置情報を取得する。複数の基地局装置10からのパケット信号を受信している場合、取得部80は、各基地局装置10の位置情報を取得する。取得部80は、本端末装置14の位置情報も取得する。本端末装置14の位置情報は、データ生成部62から供給されている。取得部80は、本端末装置14の位置情報と各基地局装置10の位置情報とを導出部82へ出力する。導出部82は、取得部80から、本端末装置14の位置情報と各基地局装置10の位置情報とを受けつける。導出部82は、本端末装置14の位置情報と各基地局装置10の位置情報とをもとに、各基地局装置10との間の距離を導出する。距離の導出のために、例えば、ベクトル演算がなされる。導出部82は、各基地局装置10との間の距離を優先順位決定部84へ出力する。優先順位決定部84は、RSU検出部78から、路車送信期間が設定されたサブフレームに関する情報を受けつけるとともに、導出部82から、各基地局装置10との間の距離を受けつける。優先順位決定部84は、導出した距離が短くなるほど優先順位が高くなるように、各基地局装置10に対して優先順位を付与する。また、優先順位決定部84は、路車送信期間が設定されたサブフレームに関する情報をもとに、各基地局装置10が路車送信期間を設定しているサブフレームを特定することによって、各サブフレームに優先順位を付与する。なお、路車送信期間が設定されていないサブフレームに対しては優先順位が付与されなくてもよく、最も低い優先順位が付与されてもよい。優先順位決定部84は、各サブフレームに付与した優先順位を優先順位保持部86へ出力する。優先順位保持部86は、優先順位決定部84から、各サブフレームに付与した優先順位を受けつけ、優先順位に関する情報を記憶する。決定部88は、各サブフレームに付与した優先順位のうち、高い優先順位が付与されたサブフレームにて受信したパケット信号をセキュリティ処理部58に優先的に処理させる。例えば、端末装置14の処理能力から、2つのサブフレームに設定された路車送信期間でのパケット信号を処理可能であった場合、決定部88は、優先順位の高い方からふたつのサブフレームを選択する。セキュリティ処理部58は、決定部88から指示されたサブフレームの路車送信期間において、パケット信号に対する受信処理を実行する。セキュリティ処理部58は、その他のサブフレームの路車送信期間において、受信処理を停止する。図22は、端末装置14の受信処理の概要を示す。図中の横軸が時間を示す。ここでは、ひとつのスーパーフレームにおいて、第iサブフレームの路車送信期間にパケット信号を報知している基地局装置10までの距離が中であるとする。また、第jサブフレームの路車送信期間にパケット信号を報知している基地局装置10までの距離が近であり、第kサブフレームの路車送信期間にパケット信号を報知している基地局装置10までの距離が遠であるとする。そのため、端末装置14は、第iサブフレームに優先順位2を付与し、第jサブフレームに優先順位1を付与し、第kサブフレームに優先順位3を付与する。ここで、路車送信期間でのパケット信号を処理可能なサブフレーム数が2であった場合、端末装置14は、第iサブフレームと第jサブフレームにおける受信を決定する。以上の構成による通信システム100の動作を説明する。図23は、端末装置14による受信処理の手順を示すフローチャートである。決定部88は、スーパーフレームの間に処理可能なサブフレーム数あるいは復号可能なECDSA数を設定するS10。導出部82は、各基地局装置10との間の距離を導出するS12。優先順位決定部84は、RSUパケット信号を受信したサブフレームに対して、距離をもとに優先順位を付与するS14。セキュリティ処理部58は、優先順位にしたがってパケット信号を処理するS16。ここでは、優先順位を基地局装置と端末装置の距離によって決定するとしたが、車両に搭載された端末装置は移動するので、端末装置の移動方向を優先順位の決定に加味することも考えられる。すなわち、端末装置を搭載した車両の進行方向を判断基準に加え、進行方向に近いものに対して優先順位を高く設定するようにしてもよい。次に、本発明の別の変形例を説明する。本発明の別の変形例も、これまでと同様に、車車間通信と路車間通信とが実行される通信システムに関する。変形例では、スーパーフレームの長さに合わせてECDSA検証処理数を制限するために、基地局装置が、位置情報をパケット信号に含めて報知する。また、端末装置は、距離の近い基地局装置が路車送信期間を設定したサブフレームに対して高くなるような優先順位を設定し、優先順位の高いサブフレームから優先的にECDSA検証処理を実行する。別の変形例でも、スーパーフレームの長さに合わせてECDSA検証処理数を制限することを目的とする。しかしながら、別の変形例に係る基地局装置は、位置情報をパケット信号に含めない。一方、端末装置は、基地局装置からのパケット信号を複数受信すると、各パケット信号の受信電力を測定する。端末装置は、受信電力の高いパケット信号の送信元になる基地局装置に対して優先順位が高くなるように、複数のサブフレームのそれぞれに対して優先順位を付与する。端末装置は、優先順位の高いサブフレームから優先的に、路車送信期間においてパケット信号を受信する。本発明の別の変形例に係る通信システム100は、図1と同様のタイプであり、本発明の別の変形例に係る基地局装置10は、図13と同様のタイプである。ここでは差異を中心に説明する。図24は、本発明の別の変形例に係る端末装置14の構成を示す。端末装置14は、図21に示された端末装置14の取得部80、導出部82の代わりに、RSSI検出部90を含む。RSSI検出部90は、サブフレーム中に設定された路車送信期間において受信したパケット信号のRSSIを検出する。これは、パケット信号の受信電力を測定することに相当する。なお、ひとつの路車送信期間では、複数のパケット信号を受信しているが、RSSI検出部90は、これらの平均を計算し、平均値を当該サブフレームにおけるRSSIとする。RSSI検出部90は、各サブフレームにおけるRSSIを優先順位決定部84へ出力する。優先順位決定部84は、RSU検出部78から、路車送信期間が設定されたサブフレームに関する情報を受けつけるとともに、RSSI検出部90から、各サブフレームにおけるRSSIを受けつける。優先順位決定部84は、RSSIが高くなるほど優先順位が高くなるように、各サブフレームに対して優先順位を付与する。これは、各基地局装置10に対して優先順位を付与することに相当する。優先順位決定部84は、各サブフレームに付与した優先順位を優先順位保持部86へ出力する。図25は、優先順位保持部86に記憶されたテーブルのデータ構造を示す。ここでは、スーパーフレーム中に16のサブフレームが配置されているとしている。RSUの存在は、路車送信期間が設定されていることに相当する。優先順位フロー1が、優先順位決定部84によって、前述のごとく、決定された優先順位である。また、優先順位決定部84は、RSSIの時間変動も監視し、時間変動をもとに優先順位を設定してもよい。例えば、RSSIが増加しているほど、高い優先順位が付与されてもよい。これが、優先順位フロー1増減考慮に相当する。優先順位2フローM=2と優先順位フロー1増減考慮偽対策については後述する。以上の構成による通信システム100の動作を説明する。図26は、端末装置14による受信処理の手順を示すフローチャートである。決定部88は、スーパーフレームの間に処理可能なサブフレーム数あるいは復号可能なECDSA数を設定するS30。優先順位決定部84は、RSUパケット信号を受信したサブフレームに対して、RSSIをもとに優先順位を付与するS32。セキュリティ処理部58は、優先順位にしたがってパケット信号を処理するS34。なお、RSSIの増減と距離との組合せをもとに優先順位が付与されてもよい。次に、本発明のさらに別の変形例を説明する。本発明のさらに別の変形例も、これまでと同様に、車車間通信と路車間通信とが実行される通信システムに関する。別の変形例では、スーパーフレームの長さに合わせてECDSA検証処理の回数を制限するために、受信電力をもとに、複数のサブフレームのそれぞれに対して優先順位を付与している。さらに別の変形例は、これに続く処理に相当する。端末装置は、高い優先順位のサブフレームにおける路車送信期間から優先的にパケット信号を処理する。パケット信号に含まれた電子署名によってメッセージ認証がなされるが、検証を通らないこともありえる。端末装置は、検証が通らなかった場合、次のスーパーフレームから、当該サブフレームにおける路車送信期間での処理を除外する。これは、当該サブフレームの優先順位を破棄し、これよりも低い優先順位を繰り上げることに相当する。本発明のさらに別の変形例に係る通信システム100は、図1と同様のタイプであり、本発明のさらに別の変形例に係る基地局装置10は、図13と同様のタイプであり、本発明のさらに別の変形例に係る端末装置14は、図24と同様のタイプである。ここでは差異を中心に説明する。データ認証処理部64は、前述のごとく、受信処理として、セキュリティフッタに含まれた電子署名に対して検証処理を実行し、検証結果が無効である場合、その旨を解析部74へ通知する。優先順位決定部84は、検証結果が無効である旨を受けつけると、優先順位保持部86を参照して、それに対応したサブフレームに対する優先順位を破棄する。さらに、優先順位決定部84は、優先順位保持部86を参照して、破棄した優先順位よりも低い優先順位を繰り上げるように、優先順位を修正する。優先順位保持部86は、修正した優先順位を記憶する。これが、図25の優先順位フロー1増減考慮偽対策に相当する。セキュリティ処理部58は、新たな優先順位に対応したパケット信号を処理する。つまり、セキュリティ処理部58は、検証結果が無効であったサブフレームに対する処理を次のスーパーフレームから除外する。図27は、本発明のさらに別の変形例に係る端末装置14の受信処理の概要を示す。ここでは、ひとつのスーパーフレームにおいて、第iサブフレームの路車送信期間に受信したパケット信号のRSSIが中であるとする。また、第jサブフレームの路車送信期間に受信したパケット信号のRSSIが大であり、第kサブフレームの路車送信期間に受信したパケット信号のRSSIが小であるとする。そのため、端末装置14は、第iサブフレームに優先順位2を付与し、第jサブフレームに優先順位1を付与し、第kサブフレームに優先順位3を付与する。しかしながら、第jサブフレームに対する認証が失敗したので、第iサブフレームに優先順位1を付与し、第kサブフレームに優先順位2を付与する。次に、本発明のさらに別の変形例を説明する。本発明のさらに別の変形例も、これまでと同様に、車車間通信と路車間通信とが実行される通信システムに関する。別の変形例では、スーパーフレームの長さに合わせてECDSA検証処理数を制限するために、受信電力をもとに、複数のサブフレームのそれぞれに対して優先順位を付与している。さらに別の変形例でも、同様に優先順位を付与するが、優先順位の付与対象が別の実施例と異なる。さらに別の実施例では、スーパーフレームを複数の区間に分割する。例えば、前半の区間と後半の区間のように、スーパーフレームが2つの区間に分割される。その際、各区間には、整数個のサブフレームが含まれる。端末装置は、前半の区間以下、第1区間というに含まれた複数のサブフレームに対して優先順位を付与し、後半の区間以下、第2区間というに含まれた複数のサブフレームに対しても優先順位を付与する。ここで、第1区間における優先順位と第2区間における優先順位とは独立である。このように処理することによって、連続したサブフレームにてECDSAを演算する可能性が低減される。本発明のさらに別の変形例に係る通信システム100は、図1と同様のタイプであり、本発明のさらに別の変形例に係る基地局装置10は、図13と同様のタイプであり、本発明のさらに別の変形例に係る端末装置14は、図24と同様のタイプである。ここでは差異を中心に説明する。優先順位決定部84は、スーパーフレームのうちの第1区間に含まれた複数のサブフレームに対して、優先順位を付与するとともに、第2区間に含まれた複数のサブフレームのうちの一部とは別の部分に対しても優先順位を独立して付与する。図28は、本発明のさらに別の変形例に係る端末装置14の受信処理の概要を示す。ここでは、説明を明瞭にするために、ひとつのスーパーフレームが8つのサブフレームによって形成されているとする。端末装置14は、第1区間において、第3サブフレームに最も高い優先順位を付与するとともに、第2区間において、第5サブフレームに最も高い優先順位を付与する。次に、本発明のさらに別の変形例を説明する。本発明のさらに別の変形例も、これまでと同様に、車車間通信と路車間通信とが実行される通信システムに関する。本変形例に係る通信システム100は図1と同様のタイプであり、基地局装置10は図13と同様のタイプであり、端末装置14は図21と同様のタイプである。本変形例では、優先順位決定部84によりサブフレームに優先順位が付与された後、決定部88はその優先順位にしたがい電子署名検証の間引き率を調整する。決定部88は優先順位が高いサブフレームほどRSUパケット信号の電子署名検証の間引き率を低く設定し、優先順位が低いサブフレームほどRSUパケット信号の電子署名検証の間引き率を高く設定する。なお、優先順位が最も高いサブフレームでは、RSUパケット信号の電子署名検証の間引きを実行しなくてもよい。セキュリティ処理部58は、解析部74において基地局装置10からのサブフレーム毎に付与した優先順位に応じた間引き率で、基地局装置10からのサブフレーム毎の検証タイミングを設定し、その検証タイミングにて、基地局装置10からのサブフレームにて受信したパケット信号に含まれた電子署名に対する検証処理を実行する。セキュリティ処理部58は、さらに公開鍵証明書の検証処理を行い、当該検証タイミングでは、公開鍵証明書の検証処理または電子署名に対する検証処理のいずれか一方を実行する。図29は、変形例に係るセキュリティフレームのデータ構造例を示す図である。このデータ構造では、セキュリティヘッダとしてバージョン、メッセージ形式、鍵ID、nonse、データ長および公開鍵証明書が配置され、その後にペイロードが配置され、最後にセキュリティフッタとして電子署名およびMACが配置される。この例では、署名対象はペイロードであり、MAC生成対象はnonse、データ長、公開鍵証明書、ペイロードおよび電子署名であり、暗号対象はペイロード、電子署名およびMACである。したがって、電子署名を生成した後、MACを生成し、次いで、暗号化する。バージョンはフレームフォーマットのバージョンを示す。メッセージ形式はメッセージ形式を指定する。メッセージ形式には、平文データ形式、認証付きデータ形式および認証付き暗号化データ形式がある。メッセージ形式が、平文データ形式および認証付きデータ形式である場合、先に述べた暗号化が行われない。また、平文データ形式である場合、電子署名およびMACが生成されない。従って、電子署名およびMACには既知のデータ、例えば、全てに0が設定される。鍵IDは基地局装置10と端末装置14間で共有されている通信鍵を識別するための情報である。データ形式が証付きデータ形式および認証付き暗号化データ形式である場合、機器IDで識別される通信鍵を用いてMAC生成あるいは暗号化が行われる。当該通信鍵には、事前に共有された共通鍵暗号方式の共通鍵、たとえば、AESAdvancedEncryptionStandard鍵を用いることができる。nonseは、通信鍵を用いたMAC生成および暗号化において結果を攪乱するために用いる通信毎にユニークな値がセットされる。この値は乱数であってもよいし、送信時刻であってもよい。さらに、乱数または送信時刻に発信元の機器IDが追加されてもよい。データ長は暗号対象のデータ長より具体的にはバイト数を設置する。なお、公開鍵証明書のデータ長が固定長であるならば、ペイロードのデータ長をセットしてもよい。公開鍵証明書は基地局装置10に固有の公開鍵に対する公開鍵証明書をセットする。公開鍵証明書は公開鍵とその公開鍵の所有主体を結びつける証明書である。公開鍵証明書には、署名者の識別情報、機器ID、有効期限、公開鍵鍵生成アルゴリズム、サイズなどを含む、署名者の署名などが含まれる。本変形例では、署名者は認証局CA:CertificateAuthorityとする。当該署名は、たとえば、RSA、DSADigitalSignatureAlgorithm、ECDSAEllipticCurve-DSAなどの公開鍵暗号方式により生成される。本変形例ではECDSAを採用する。電子署名には、ペイロードに対する署名がセットされる。署名は公開鍵証明書に含まれる公開鍵と対をなす秘密鍵を用いて生成された署名である。MACには、共通鍵とMAC対象に所定のMACアルゴリズムを適用して生成されMACがセットされる。共通鍵は基地局装置10と端末装置14間で共有されている通信鍵である。図29の例では、MACは、AESアルゴリズムと鍵IDにより特定される通信鍵を用いたCBC-MACの値を代入する。認証付き暗号化データの場合は、CCMCounterwithCBC-MACモードにより生成されることとなる。MACは電子署名より簡易な認証方法であり、データ量も少なく、かつ、高速処理が可能である。基地局装置10のデータ認証処理部34は、電子署名とMACの両方を生成する。本変形例に係る端末装置14による受信処理の手順は、図23のフローチャートと同様である。本変形例では図23のフローチャートのステップS16における優先順位にしたがったパケット信号の処理の内容が異なる。図30は、変形例に係る優先順位にしたがったパケット信号の処理手順を示すフローチャートである。決定部88は、優先順位決定部84によりRSUパケット信号を受信したサブフレームに対して付与された優先順位を参照するS161。決定部88は、優先順位が1のサブフレームにて受信されるRSUパケット信号のセキュリティフッタに含まれる電子署名を、セキュリティ処理部58に高頻度で検証させるS162。即ち、近距離に位置する基地局装置10からのRSUパケット信号における電子署名検証の間引きを少なくする。決定部88は、優先順位が2のサブフレームにて受信されるRSUパケット信号のセキュリティフッタに含まれる電子署名を、セキュリティ処理部58に中頻度で検証させるS163。決定部88は、優先順位が3のサブフレームにて受信されるRSUパケット信号のセキュリティフッタに含まれる電子署名を、セキュリティ処理部58に低頻度で検証させるS164。即ち、遠距離に位置する基地局装置10からのパケット信号における電子署名検証の間引きを多くする。なお、決定部88はスーパーフレームの間に処理可能なサブフレーム数あるいは復号可能なECDSA数に応じて、優先順位1、優先順位2、優先順位3のそれぞれに割り当てる間引き率および間引きタイミングを決定する。たとえば、優先順位が1のサブフレームにて受信されるRSUパケット信号に含まれる電子署名の検証を100msecに1回実行し、優先順位が2のサブフレームにて受信されるRSUパケット信号に含まれる電子署名の検証を1secに1回実行し、優先順位が1のサブフレームにて受信されるRSUパケット信号に含まれる電子署名の検証を1minに1回実行する。決定部88は、電子署名検証をスキップしたRSUパケット信号について、そのセキュリティフッタに付加されたMACを、セキュリティ処理部58に検証させるS165。MAC検証はECDSAを使用しないためECDSAコアの負荷を上昇させない。MAC検証はAESを使用するが、AESの処理負荷は小さい。これまで、端末装置14のデータ認証処理部64はセキュリティフッタに含まれる電子署名の検証処理を実行すると説明した。より厳密には、データ認証処理部64はセキュリティヘッダに含まれる公開鍵証明書の検証と、セキュリティフッタに含まれる電子署名の検証の両方を実行する。データ認証処理部64は、基地局装置10から送信されるRSUパケット信号に含まれる公開鍵証明書に含まれる電子署名を認証鍵公開鍵を用いて検証する。この認証鍵は予め組み込まれていてもよいし、安全な手段で事後的に取得したものであってもよい。公開鍵証明書の電子署名は、ペイロードの電子署名と同様に、ECDSAが採用される。公開鍵証明書に含まれる電子署名に対する検証が成功すれば、公開鍵証明書に含まれる基地局装置10が生成した公開鍵は、認証局により証明された真性なものであると推定できる。しかしながら、この署名にはECDSAが用いられるため、すべてのRSUパケット信号において公開鍵証明書の検証を実行すると処理負荷が増大する。そこで、公開鍵証明書の検証を適宜、スキップする。たとえば、ある基地局装置10の電波圏内に入って最初に受信したRSUパケット信号に含まれる公開鍵証明書のみを検証し、それ以降のRSUパケット信号については後述する記憶領域に保持されるダイジェストの比較だけを行い、一致した場合には、図29の電子署名の検証を行う。データ認証処理部64は、検証が成功した公開鍵証明書から取得したダイジェストを、証明書検証ログとして所定の記憶領域に保持する。ダイジェストは、公開鍵証明書の電子署名の対象データに対するハッシュ値、または、その部分である。なお、ダイジェストに変えて、公開鍵証明書に含まれるシリアル番号識別情報、電子署名、公開鍵、機器IDを使用してもよい。前述の記憶領域はFIFO形式のRAMで形成され、最大RSUスロットの数以上のデータを格納する領域を持つ。本実施例ではスーパーフレームは16のサブフレームを含むため、最大RSUスロットの数は16である。データ認証処理部64は、基地局装置10から送信されるパケット信号を受信すると、そのRSUパケット信号に含まれる公開鍵証明書から取り出したダイジェストと、前述の記憶領域に保持されるダイジェストとを比較する。両者が一致する場合、当該RSUパケット信号に含まれる公開鍵証明書の検証をスキップする。すなわち、正式な検証を実行せずに公開鍵証明書のダイジェストの一致をもって検証成功とみなす。これは、公開鍵証明書のダイジェストが一致している間は、同一の基地局装置10から送信されたパケット信号と推定できるためである。すなわち、ある基地局装置10から報知されたパケット信号に含まれる公開鍵証明書の検証が一度成功すれば、その基地局装置10から報知される後続のパケット信号の信頼性は高いと判断できる。データ認証処理部64は、公開鍵証明書のダイジェストが一致したRSUパケット信号に含まれる認証付きメッセージを検証する。検証には、受信した公開鍵証明書に含まれる公開鍵と機器IDを用いる。本実施例では電子署名付きメッセージ形式におけるペイロードの真性の検証をする。電子署名付き暗号化メッセージ形式では、暗号を復号した後、同様な処理を行う。この電子署名は、当該パケット信号に含まれる公開鍵証明書に格納される公開鍵と対をなす秘密鍵により生成されているため、当該公開鍵を用いた当該電子署名付きメッセージに対する検証が成功すれば、当該メッセージは基地局装置10により生成された真性なものであると推定できる。しかしながら、この電子署名にもECDSAが用いられるため、すべてのRSUパケット信号において電子署名付きメッセージの検証を実行すると処理負荷が増大する。そこで、公開鍵証明書を検証したパケット信号ではセキュリティフッタに含まれる電子署名の検証をスキップする。また前述の間引き処理を実行する。図31は、優先順位切り替え処理を説明するための図その1である。車両12には端末装置14が搭載される。図31では車両12が西から東に進行する。車両12の進行方向に基地局装置10である路側機が設置されている。端末装置14の決定部88は、基地局装置10から受信したパケット信号に含まれる基地局装置10の位置情報をもとに、基地局装置10の電波圏内において基地局装置10を中心に近距離エリアA1、中距離エリアA2、遠距離エリアA3を設定する。車両12が遠距離エリアA3に侵入すると端末装置14のデータ認証処理部64は、基地局装置10からRSUパケット信号を受信する。データ認証処理部64は、最初に受信したRSUパケット信号のセキュリティヘッダに含まれる公開鍵証明書を検証する。それ以降のRSUパケット信号については、公開鍵証明書のダイジェストの比較およびメッセージ検証を実行する。遠距離エリアA3では優先順位が3の場合に設定される頻度でRSUパケット信号のセキュリティフッタに含まれる電子署名を検証する。車両12がさらに進み、中距離エリアA2に侵入するとデータ認証処理部64は、優先順位が2の場合に設定される頻度で、RSUパケット信号のセキュリティフッタに含まれる電子署名を検証する。車両12がさらに進み、近距離エリアA1に侵入するとデータ認証処理部64は、優先順位が1の場合に設定される頻度で、RSUパケット信号のセキュリティフッタに含まれる電子署名を検証する。基地局装置10を通り過ぎ車両12が中距離エリアA2に再侵入するとデータ認証処理部64は、優先順位が2の場合に設定される頻度で、RSUパケット信号のセキュリティフッタに含まれる電子署名を検証する。車両12がさらに進み、遠距離エリアA3に再侵入するとデータ認証処理部64は、優先順位が3の場合に設定される頻度で、RSUパケット信号のセキュリティフッタに含まれる電子署名を検証する。車両12がさらに進み、基地局装置10の電波圏外に出ると基地局装置10からのパケット信号を受信できなくなり、その検証処理も終了する。図32は、優先順位切り替え処理を説明するための図その2である。図32は図31と基本的に同じであるが、近距離エリアA1、中距離エリアA2の設定位置が異なる。決定部88は、基地局装置10から受信したパケット信号に含まれる基地局装置10の位置情報をもとに、基地局装置10の電波圏内において近距離エリアA1、中距離エリアA2、遠距離エリアA3を設定する。その際、遠距離エリアA3は基地局装置10を中心に設定する。近距離エリアA1、中距離エリアA2は、基地局装置10より車両12に近い位置を中心に設定する。これにより、車両12の進行方向に位置する基地局装置10の優先順位が上がりやすくなる。本発明の実施例によれば、セキュリティフレームのうち、ペイロード、セキュリティフッタには暗号化がなされるが、セキュリティヘッダには暗号化がなされないので、セキュリティヘッダの内容を早期に取得できる。また、セキュリティヘッダの内容が早期に取得されるので、受信処理を高速化できる。また、サブフレームに対して優先順位を付与し、高い優先順位が付与されたサブフレームにて受信したパケット信号を優先的に処理するので、処理すべきパケット信号数を低減できる。また、処理すべきパケット信号数が低減されるので、ECDSA検証処理数を低減できる。また、ECDSA検証処理数が低減されるので、電子署名によるメッセージの検証を所定の期間内に完了できる。また、各基地局装置との間の距離が短くなるほど優先順位が高くなるように、優先順位を付与するので、近接した基地局装置からのパケット信号を受信しやすくできる。また、近接した基地局装置からのパケット信号が受信しやすくなるので、パケット信号の受信品質を向上できる。また、受信電力が高くなるほど優先順位が高くなるように、優先順位を付与するので、近接した基地局装置からのパケット信号を受信しやすくできる。また、パケット信号に含まれた電子署名に対して実行した検証処理が無効である場合、当該パケット信号が受信されたサブフレームに対する処理を次のスーパーフレームから除外するので、偽りの基地局装置を無視できる。また、スーパーフレームを複数の区間に分割し、それぞれの区間において優先順位を付与するので、ECDSA検証処理のタイミングを分散できる。また、ECDSA検証処理のタイミングが分散されるので、処理を分散できる。また、優先順位に応じて電子署名検証の間引き率を調整することにより柔軟な受信処理が可能となる。また、路車間通信において電子署名とMACを併用することにより、受信処理しないRSUパケット信号を低減できる。また、公開鍵証明書の検証結果をログに残すことにより、証明書の検証回数を低減できる。以上、本発明を実施例をもとに説明した。この実施例は例示であり、それらの各構成要素や各処理プロセスの組合せにいろいろな変形例が可能なこと、またそうした変形例も本発明の範囲にあることは当業者に理解されるところである。本発明の変形例において、セキュリティヘッダの中に、基地局装置10の位置情報が含まれている。しかしながらこれに限らず例えば、他の部分に、基地局装置10の位置情報が含まれてもよい。本変形例によれば、通信システム100の設計の自由度を向上できる。本発明の別の変形例やさらに別の変形例において、優先順位決定部84は、受信電力をもとに優先順位を付与している。しかしながらこれに限らず例えば、優先順位決定部84は、実施例と同様に、各基地局装置10との距離をもとに優先順位を付与してもよい。本変形例によれば、通信システム100の設計の自由度を向上できる。本発明のさらに別の変形例において、スーパーフレームは、ふたつの区間に分割されている。しかしながらこれに限らず例えば、スーパーフレームは、3つ以上の区間に分割されてもよい。本変形例によれば、通信システム100の設計の自由度を向上できる。