JP6344970B2 - 位置情報検証装置、中継装置、移動体装置、位置情報検証プログラム、中継プログラムおよび移動体プログラム - Google Patents

Description

本発明は、移動体の位置情報を検証する技術に関するものである。

特許文献１の位置認証システムにおいて、路側機は識別情報を送信し、車両は識別情報を受信して受信した識別情報と自身の位置情報とを位置情報管理センタに送信する。位置情報管理センタは、路側機の設置位置と車両の位置情報を比較することにより、車両の位置情報の正当性を判断する。
この位置認証システムには、不正に入手した識別情報と不正な位置情報とを位置情報管理センタに送信することによって車両の位置を偽ることができてしまう、という課題がある。

特許文献２の位置証明システムにおいて、証明書装置（路側機）は移動可能な端末に端末ＩＤ及び証明書要求情報の送信要求を送る。移動可能な端末は送信要求を受信し、証明書要求情報を固有鍵で暗号化し、端末ＩＤと暗号化した証明書要求情報とを証明書装置に送信する。証明書装置は端末ＩＤと暗号化した証明書要求情報とを受信し、端末ＩＤと暗号化した証明書要求情報と路側機ＩＤとを証明書センタに送信する。証明書センタは暗号化した証明書要求情報を端末ＩＤに対応する固有鍵で復号し、証明書要求情報に基づいて認証を行う。そして、認証できた場合、証明書センタは日時と端末ＩＤと路側機ＩＤとを紐つけて記録する。
この、位置証明システムには、不正に入手した端末ＩＤと不正に入手した暗号化した証明書要求情報とを証明書装置に送信することによって車両の位置を偽ることができてしまう、という課題がある。

特開２００９−３８５８６号公報 特開２００７−１６４３０６号公報

本発明は、移動体装置が受信した衛星メッセージに含まれる時刻情報と、中継装置が受信した衛星メッセージに含まれる時刻情報とに基づいて、移動体装置の位置情報が正当な位置情報であるか検証できるようにすることを目的とする。

本発明の位置情報検証装置は、
移動体と共に移動する移動体装置と通信する中継装置から送信される前記移動体の位置を示す位置情報が正当な位置情報であるか検証する。
前記移動体装置は、測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて前記移動体の位置を測位し、測位した前記移動体の位置を示す移動***置情報と前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを送信する装置である。
前記中継装置は、前記移動体から送信される前記移動体メッセージを受信し、受信した前記移動体メッセージに含まれる前記移動***置情報と、受信した移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージを受信したときに前記測位衛星から受信した衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを送信する装置である。
前記位置情報検証装置は、
前記中継装置から送信される前記中継メッセージを受信する中継メッセージ受信部と、
前記中継メッセージ受信部によって受信された前記中継メッセージに含まれる前記第１の時刻情報が示す時刻と、前記中継メッセージに含まれる前記第２の時刻情報が示す時刻とに基づいて、前記中継メッセージに含まれる前記移動***置情報が正当な位置情報であるか検証する位置情報検証部とを備える。

本発明によれば、移動体装置が受信した衛星メッセージに含まれる時刻情報と、中継装置が受信した衛星メッセージに含まれる時刻情報とに基づいて、移動体装置の位置情報が正当な位置情報であるか検証することができる。

実施の形態１における位置認証システム１００の構成図である。 実施の形態１における車載装置２００の機能構成図である。 実施の形態１における中継装置３００の機能構成図である。 実施の形態１における位置情報管理装置４００の機能構成図である。 実施の形態１における位置情報管理装置４００の位置情報検証部４２０の機能構成図である。 実施の形態１における位置認証システム１００の位置認証方法を示すフローチャートである。 実施の形態１における第１の衛星メッセージ１２０の構成図である。 実施の形態１における移動体メッセージ２９９の構成図である。 実施の形態１における車載装置２００の移動体メッセージ生成処理（Ｓ１１０）のフローチャートである。 実施の形態１における第２の衛星メッセージ１３０の構成図である。 実施の形態１における中継メッセージ３９９の構成図である。 実施の形態１における中継装置３００の中継メッセージ生成処理（Ｓ１３０）のフローチャートである。 実施の形態１における位置情報検証部４２０の位置情報検証処理（Ｓ１５０）のフローチャートである。 実施の形態１における車載装置２００、中継装置３００および位置情報管理装置４００のハードウェア構成図である。 実施の形態２における中継装置３００の機能構成図である。 実施の形態２における車載装置２００の機能構成図である。 実施の形態２における位置認証システム１００の位置認証方法を示すフローチャートである。

実施の形態１．
移動体装置の位置情報が正当な位置情報であるか検証する形態について説明する。

図１は、実施の形態１における位置認証システム１００の構成図である。
実施の形態１における位置認証システム１００の構成について、図１に基づいて説明する。但し、位置認証システム１００の構成は図１に示す構成と同一でなくても構わない。

位置認証システム１００は、車両（移動体の一例）の位置情報を認証して管理するシステムである。
位置認証システム１００は、測位衛星１１０と、車載装置２００（移動体装置の一例）と、中継装置３００と、位置情報管理装置４００（位置情報検証装置の一例）とを備える。

測位衛星１１０は、測位に用いられる測位情報を含んだデータである衛星メッセージを無線通信で定期的に送信する。衛星メッセージは航法メッセージともいう。
測位衛星１１０の軌道を示す軌道情報は測位情報の一例である。ＧＰＳ衛星および準天頂衛星は測位衛星１１０の一例である。ＧＰＳはＧｌｏｂａｌ Ｐｏｓｉｔｉｏｎｉｎｇ Ｓｙｓｔｅｍの略称である。
測位衛星１１０は複数存在して複数の測位衛星１１０が測位に利用されるが、実施の形態では複数の測位衛星１１０を単に測位衛星１１０と呼ぶ。

車載装置２００は車両に搭載され、測位衛星１１０から送信される衛星メッセージを受信し、受信した衛星メッセージに基づいて車両の位置を測位し、測位した位置を示す位置情報と受信した衛星メッセージとを含んだ移動体メッセージを中継装置３００に無線通信で送信する。
車載装置２００は、車両または人などの移動体と共に移動する移動体装置の一例である。

中継装置３００は建物に固定で設置され、車載装置２００から送信される移動体メッセージを受信し、測位衛星１１０から送信される衛星メッセージを受信し、移動体メッセージと衛星メッセージとを含んだ中継メッセージを位置情報管理装置４００に送信する。
中継装置３００は、建物以外のものに設置されても構わない。道路に設けられたゲートなどに設置される路側機は中継装置３００の一例である。
中継装置３００は複数の場所に存在するが、実施の形態において特に指定しない場合には中継装置３００は車載装置２００との通信範囲に位置する中継装置３００を意味する。
実施の形態において、中継装置３００は信頼できる装置であるものとする。例えば、中継装置３００は耐タンパ性に基づいて設計され、改変されることがなく、複製されることもない。

位置情報管理装置４００は、中継装置３００から送信される中継メッセージを受信し、受信した中継メッセージに基づいて中継メッセージに含まれる車両の位置情報が正当な位置情報であるか検証する。そして、位置情報管理装置４００は、正当な車両の位置情報を記憶管理する。
位置情報管理装置４００と中継装置３００との通信は、有線または無線のいずれで行われても構わない。また、位置情報管理装置４００と中継装置３００とを接続する通信回線は、公衆回線、専用回線またはその他の回線のいずれであっても構わない。

図２は、実施の形態１における車載装置２００の機能構成図である。
実施の形態１における車載装置２００の機能構成について、図２に基づいて説明する。但し、車載装置２００の機能構成は図２に示す機能構成と同一でなくても構わない。

車載装置２００（移動体装置の一例）は、衛星メッセージ受信部２１０と、移動体測位部２２０と、移動体署名部２３０とを備える。
さらに、車載装置２００は、移動体メッセージ生成部２４０と、移動体メッセージ送信部２５０と、移動体記憶部２９０とを備える。

衛星メッセージ受信部２１０は、測位衛星１１０から送信される衛星メッセージを受信する。以下、衛星メッセージ受信部２１０によって受信される衛星メッセージを第１の衛星メッセージ１２０という。
移動体測位部２２０は、第１の衛星メッセージ１２０に基づいて車両の位置を測位し、測位した位置を示す移動***置情報２９１を生成する。
移動体署名部２３０は、第１の衛星メッセージ１２０と移動体識別子２０１と移動***置情報２９１と移動体秘密鍵２０２とを用いて、電子署名を生成する。移動体識別子２０１は車載装置２００を識別する情報である。移動体秘密鍵２０２は車載装置２００の秘密鍵である。秘密鍵は公開鍵基盤（ＰＫＩ）の秘密鍵であり、データを暗号化する暗号化鍵の一例である。以下、移動体署名部２３０によって生成される電子署名を移動体署名２９２という。
移動体メッセージ生成部２４０は移動体メッセージ２９９を生成する。移動体メッセージ２９９は、第１の衛星メッセージ１２０と、移動体識別子２０１と、移動***置情報２９１と、移動体署名２９２と、を含んだデータである。
移動体メッセージ送信部２５０は移動体メッセージ２９９を無線通信で送信する。移動体メッセージ送信部２５０によって送信された移動体メッセージ２９９は、無線通信の通信範囲にある中継装置３００によって受信される。

移動体記憶部２９０は、車載装置２００で使用、生成または入出力されるデータを記憶する。
例えば、移動体記憶部２９０は、第１の衛星メッセージ１２０、移動***置情報２９１、移動体署名２９２および移動体メッセージ２９９などを記憶する。また、移動体記憶部２９０は、移動体識別子２０１および移動体秘密鍵２０２などを予め記憶する。

図３は、実施の形態１における中継装置３００の機能構成図である。
実施の形態１における中継装置３００の機能構成について、図３に基づいて説明する。但し、中継装置３００の機能構成は図３に示す機能構成と同一でなくても構わない。

中継装置３００は、移動体メッセージ受信部３１０と、衛星メッセージ受信部３２０と、中継測位部３３０と、中継署名部３４０とを備える。
さらに、中継装置３００は、中継メッセージ生成部３５０と、中継メッセージ送信部３６０と、中継記憶部３９０とを備える。

移動体メッセージ受信部３１０は、車載装置２００から送信される移動体メッセージ２９９を受信する。
衛星メッセージ受信部３２０は、測位衛星１１０から送信される衛星メッセージを受信する。以下、移動体メッセージ受信部３１０が移動体メッセージ２９９を受信したときに衛星メッセージ受信部３２０によって受信された衛星メッセージを第２の衛星メッセージ１３０という。
中継測位部３３０は、第２の衛星メッセージ１３０に基づいて中継装置３００の位置を測位し、測位した位置を示す中継位置情報３９１を生成する。
中継署名部３４０は、移動体メッセージ２９９と第２の衛星メッセージ１３０と中継識別子３０１と中継位置情報３９１と中継秘密鍵３０２とを用いて、電子署名を生成する。中継識別子３０１は中継装置３００を識別する識別子である。中継秘密鍵３０２は中継装置３００の秘密鍵である。秘密鍵はデータを暗号化する暗号化鍵の一例である。以下、中継署名部３４０によって生成される電子署名を中継署名３９２という。
中継メッセージ生成部３５０は中継メッセージ３９９を生成する。中継メッセージ３９９は、移動体メッセージ２９９と、第２の衛星メッセージ１３０と、中継識別子３０１と、中継位置情報３９１と、中継署名３９２とを含んだデータである。
中継メッセージ送信部３６０は中継メッセージ３９９を位置情報管理装置４００に送信する。

中継記憶部３９０は、中継装置３００で使用、生成または入出力するデータを記憶する。
例えば、中継記憶部３９０は、移動体メッセージ２９９、第２の衛星メッセージ１３０、中継位置情報３９１、中継署名３９２および中継メッセージ３９９などを記憶する。また、中継記憶部３９０は、中継識別子３０１および中継秘密鍵３０２などを予め記憶する。

図４は、実施の形態１における位置情報管理装置４００の機能構成図である。
実施の形態１における位置情報管理装置４００の機能構成について、図４に基づいて説明する。但し、位置情報管理装置４００の機能構成は図４に示す機能構成と同一でなくても構わない。

位置情報管理装置４００（位置情報検証装置の一例）は、中継メッセージ受信部４１０と、位置情報検証部４２０と、位置情報管理部４３０と、装置記憶部４９０とを備える。

中継メッセージ受信部４１０は、中継装置３００から送信される中継メッセージ３９９を受信する。
位置情報検証部４２０は、中継メッセージ３９９と中継証明書４０１と移動体証明書４０２とメッセージ認証鍵４０３とに基づいて、中継メッセージ３９９に含まれる移動***置情報２９１が正当な位置情報であるか検証する。中継証明書４０１は中継装置３００の公開鍵を含んだ電子証明書であり、移動体証明書４０２は車載装置２００の公開鍵を含んだ電子証明書である。電子証明書は公開鍵証明書ともいう。公開鍵は公開鍵基盤（ＰＫＩ）の公開鍵であり、暗号化されたデータを復号する復号鍵の一例である。メッセージ認証鍵４０３は中継メッセージ３９９に含まれる第１の衛星メッセージ１２０と中継メッセージ３９９に含まれる第２の衛星メッセージ１３０とのそれぞれに含まれるメッセージ認証コードの検証に用いられる共通鍵である。共通鍵は復号鍵の一例である。
位置情報管理部４３０は、正当な移動***置情報２９１を位置情報ファイル４９１に登録し、不正な移動***置情報２９１に関する情報をブラックリスト４９２に登録する。

装置記憶部４９０は、位置情報管理装置４００で使用、生成または入出力されるデータを記憶する。
例えば、装置記憶部４９０は、中継メッセージ３９９、位置情報ファイル４９１およびブラックリスト４９２などを記憶する。また、装置記憶部４９０は、中継証明書４０１、移動体証明書４０２およびメッセージ認証鍵４０３などを予め記憶する。

図５は、実施の形態１における位置情報管理装置４００の位置情報検証部４２０の機能構成図である。
実施の形態１における位置情報管理装置４００の位置情報検証部４２０の機能構成について、図５に基づいて説明する。但し、位置情報検証部４２０の機能構成は図５に示す機能構成と同一でなくても構わない。

位置情報検証部４２０は、中継メッセージ３９９に基づいて、中継メッセージ３９９に含まれる移動***置情報２９１が正当な位置情報であるか検証する機能である。
位置情報検証部４２０は、中継署名検証部４２１と、移動体署名検証部４２２と、メッセージ認証コード検証部４２３と、距離検証部４２４と、時刻検証部４２５とを備える。

中継署名検証部４２１は、中継証明書４０１に含まれる公開鍵を用いて、中継メッセージ３９９に含まれる中継署名３９２を検証する。中継署名３９２が正しい電子署名でない場合、中継メッセージ３９９に含まれる移動***置情報２９１は正当な位置情報ではない。
移動体署名検証部４２２は、移動体証明書４０２に含まれる公開鍵を用いて、中継メッセージ３９９に含まれる移動体署名２９２を検証する。移動体署名２９２が不正な電子署名である場合、中継メッセージ３９９に含まれる移動***置情報２９１は正当な位置情報ではない。
メッセージ認証コード検証部４２３は、メッセージ認証鍵４０３を用いて、中継メッセージ３９９に含まれる第１の衛星メッセージ１２０と中継メッセージ３９９に含まれる第２の衛星メッセージ１３０とのそれぞれに含まれるメッセージ認証コードを検証する。不正なメッセージ認証コードが中継メッセージ３９９に含まれる場合、中継メッセージ３９９に含まれる移動***置情報２９１は正当な位置情報ではない。
距離検証部４２４は、中継メッセージ３９９に含まれる中継位置情報３９１が示す位置と中継メッセージ３９９に含まれる移動***置情報２９１が示す位置との距離に基づいて、中継メッセージ３９９に含まれる移動***置情報２９１を検証する。
時刻検証部４２５は、中継メッセージ３９９に含まれる第１の衛星メッセージ１２０に含まれる時刻情報と中継メッセージ３９９に含まれる第２の衛星メッセージ１３０に含まれる時刻情報とに基づいて、中継メッセージ３９９に含まれる移動***置情報２９１を検証する。

図６は、実施の形態１における位置認証システム１００の位置認証方法を示すフローチャートである。
実施の形態１における位置認証システム１００の位置認証方法について、図６に基づいて説明する。但し、位置認証システム１００の位置認証方法は図６に示す位置認証方法と同一でなくても構わない。

位置認証システム１００において、測位衛星１１０は衛星メッセージを定期的に送信する。位置認証システム１００の位置認証方法において、Ｓ１０１のタイミングで送信される衛星メッセージが第１の衛星メッセージ１２０であり、Ｓ１２３のタイミングで送信される衛星メッセージが第２の衛星メッセージ１３０である。

Ｓ１０１において、測位衛星１１０は、車載装置２００によって受信される第１の衛星メッセージ１２０を無線通信で送信する。
Ｓ１０１の後、処理はＳ１０２に進む。

図７は、実施の形態１における第１の衛星メッセージ１２０の構成図である。
実施の形態１における第１の衛星メッセージ１２０の構成について、図７に基づいて説明する。但し、第１の衛星メッセージ１２０の構成は図７に示す構成と同一でなくても構わない。
測位衛星１１０は、図７に示すような第１の衛星メッセージ１２０を生成し、生成した第１の衛星メッセージ１２０を無線で送信する。
第１の衛星メッセージ１２０は、第１の測位情報１２１と、第１の時刻情報１２２と、第１のＭＡＣ１２３とを含む。
第１の測位情報１２１は第１の衛星メッセージ１２０に含まれる測位情報である。測位情報は測位に用いられる情報である。測位衛星１１０の軌道を示す軌道情報は測位情報の一例である。
第１の時刻情報１２２は第１の衛星メッセージ１２０に含まれる時刻情報である。第１の衛星メッセージ１２０が送信される送信時刻は第１の時刻情報１２２の一例である。
第１のＭＡＣ１２３は、第１の測位情報１２１と第１のＭＡＣ１２３とに基づいて生成されたメッセージ認証コードである。測位衛星１１０は、位置情報管理装置４００に記憶されるメッセージ認証鍵４０３と同じ共通鍵を暗号化鍵として用いて、第１のＭＡＣ１２３を生成する。
図６に戻り、Ｓ１０２から説明を続ける。

Ｓ１０２において、車載装置２００の衛星メッセージ受信部２１０は、Ｓ１０１で送信された第１の衛星メッセージ１２０を受信する。
Ｓ１０２の後、処理はＳ１１０に進む。

Ｓ１１０において、車載装置２００の移動体メッセージ生成部２４０は、Ｓ１０２で受信された第１の衛星メッセージ１２０に基づいて、移動体メッセージ２９９を生成する。
Ｓ１１０の後、処理はＳ１２１に進む。

図８は、実施の形態１における移動体メッセージ２９９の構成図である。
実施の形態１における移動体メッセージ２９９の構成について、図８に基づいて説明する。但し、移動体メッセージ２９９の構成は図８に示す構成と同一でなくても構わない。
移動体メッセージ２９９は、第１の衛星メッセージ１２０と、移動体識別子２０１と、移動***置情報２９１と、移動体署名２９２とを含む。

図９は、実施の形態１における車載装置２００の移動体メッセージ生成処理（Ｓ１１０）のフローチャートである。
実施の形態１における車載装置２００の移動体メッセージ生成処理（Ｓ１１０）について、図９に基づいて説明する。但し、移動体メッセージ生成処理（Ｓ１１０）は図９に示す処理と同一でなくても構わない。

Ｓ１１１において、移動体測位部２２０は、第１の衛星メッセージ１２０に含まれる第１の測位情報１２１に基づいて、車載装置２００が搭載された車両の位置（座標値）を測位する。測位方法は従来と同様である。例えば、移動体測位部２２０は従来のＧＰＳ測位を行う。
そして、移動体測位部２２０は、測位した位置を示す移動***置情報２９１を生成する。
Ｓ１１１の後、処理はＳ１１２に進む。

Ｓ１１２において、移動体署名部２３０は、第１の衛星メッセージ１２０と移動***置情報２９１と移動体識別子２０１と移動体秘密鍵２０２とを用いて、移動体署名２９２を生成する。移動体署名２９２を生成する方法は電子署名を生成する従来の方法と同様である。
例えば、移動体署名部２３０は、第１の衛星メッセージ１２０と移動***置情報２９１と移動体識別子２０１とを入力にしてハッシュ関数を演算することによって、ハッシュ値を算出する。そして、移動体署名部２３０は、移動体秘密鍵２０２を用いてハッシュ値を暗号化することよって、移動体署名２９２を生成する。
但し、移動体署名部２３０は、第１の衛星メッセージ１２０に含まれる情報と移動***置情報２９１と移動体識別子２０１との少なくともいずれかを除外して、移動体署名２９２を生成しても構わない。移動体署名２９２を生成するために用いられる情報は予め決められている。
Ｓ１１２の後、処理はＳ１１３に進む。

Ｓ１１３において、移動体メッセージ生成部２４０は、第１の衛星メッセージ１２０と移動体識別子２０１と移動***置情報２９１と移動体署名２９２とを含む移動体メッセージ２９９を生成する。
但し、移動体メッセージ生成部２４０は、第１の衛星メッセージ１２０に含まれる情報と移動***置情報２９１と移動体識別子２０１と移動体署名２９２との少なくともいずれかを、移動体メッセージ２９９から除外しても構わない。移動体メッセージ２９９に含まれる情報は予め決められている。
Ｓ１１３の後、移動体メッセージ生成処理（Ｓ１１０）は終了する。
図６に戻り、Ｓ１２１から説明を続ける。

Ｓ１２１において、車載装置２００の移動体メッセージ送信部２５０は、Ｓ１１０で生成された移動体メッセージ２９９を無線通信で送信する。例えば、移動体メッセージ送信部２５０は狭域通信（ＤＳＲＣ）で移動体メッセージ２９９を送信する。
移動体メッセージ２９９は、無線通信の通信範囲にある中継装置３００、つまり、近傍の中継装置３００によって受信される。
Ｓ１２１の後、処理はＳ１２２に進む。

Ｓ１２２において、中継装置３００の移動体メッセージ受信部３１０は、Ｓ１２１で送信された移動体メッセージ２９９を受信する。
Ｓ１２２の後、処理はＳ１２３に進む。

Ｓ１２３において、測位衛星１１０は、中継装置３００よって受信される第２の衛星メッセージ１３０を無線通信で送信する。
Ｓ１２３の後、処理はＳ１２４に進む。

図１０は、実施の形態１における第２の衛星メッセージ１３０の構成図である。
実施の形態１における第２の衛星メッセージ１３０の構成について、図１０に基づいて説明する。但し、第２の衛星メッセージ１３０の構成は図１０に示す構成と同一でなくても構わない。
測位衛星１１０は、図１０に示すような第２の衛星メッセージ１３０を生成し、生成した第２の衛星メッセージ１３０を無線で送信する。
第２の衛星メッセージ１３０は、第２の測位情報１３１と、第２の時刻情報１３２と、第２のＭＡＣ１３３とを含む。
第２の測位情報１３１は第２の衛星メッセージ１３０に含まれる測位情報である。
第２の時刻情報１３２は第２の衛星メッセージ１３０に含まれる時刻情報である。第２の衛星メッセージ１３０が送信される送信時刻は第２の時刻情報１３２の一例である。
第２のＭＡＣ１３３は、第２の測位情報１３１と第２の時刻情報１３２とに基づいて生成されたメッセージ認証コードである。測位衛星１１０は、位置情報管理装置４００に記憶されるメッセージ認証鍵４０３と同じ共通鍵を暗号化鍵として用いて、第２のＭＡＣ１３３を生成する。
図６に戻り、Ｓ１２４から説明を続ける。

Ｓ１２４において、中継装置３００の衛星メッセージ受信部３２０は、Ｓ１２３で送信された第２の衛星メッセージ１３０を受信する。
Ｓ１２４の後、処理はＳ１３０に進む。

Ｓ１３０において、中継装置３００の中継メッセージ生成部３５０は、Ｓ１２２で受信された移動体メッセージ２９９とＳ１２４で受信された第２の衛星メッセージ１３０とに基づいて、中継メッセージ３９９を生成する。
Ｓ１３０の後、処理はＳ１４１に進む。

図１１は、実施の形態１における中継メッセージ３９９の構成図である。
実施の形態１における中継メッセージ３９９の構成について、図１１に基づいて説明する。但し、中継メッセージ３９９の構成は図１１に示す構成と同一でなくても構わない。
中継メッセージ３９９は、移動体メッセージ２９９と、第２の衛星メッセージ１３０と、中継識別子３０１と、中継位置情報３９１と、中継署名３９２とを含む。

図１２は、実施の形態１における中継装置３００の中継メッセージ生成処理（Ｓ１３０）のフローチャートである。
実施の形態１における中継装置３００の中継メッセージ生成処理（Ｓ１３０）について、図１２に基づいて説明する。但し、中継メッセージ生成処理（Ｓ１３０）は図１２に示す処理と同一でなくても構わない。

Ｓ１３１において、中継測位部３３０は、第２の衛星メッセージ１３０に含まれる第２の測位情報１３１に基づいて、中継装置３００の位置（座標値）を測位する。測位方法は従来と同様である。例えば、中継測位部３３０は従来のＧＰＳ測位を行う。
そして、中継測位部３３０は、測位した位置を示す中継位置情報３９１を生成する。
Ｓ１３１の後、処理はＳ１３２に進む。

Ｓ１３２において、中継署名部３４０は、移動体メッセージ２９９と第２の衛星メッセージ１３０と中継位置情報３９１と中継識別子３０１と中継秘密鍵３０２とを用いて、中継署名３９２を生成する。中継署名３９２を生成する方法は電子署名を生成する従来の方法と同様である。
例えば、中継署名部３４０は、移動体メッセージ２９９と第２の衛星メッセージ１３０と中継位置情報３９１と中継識別子３０１とを入力にしてハッシュ関数を演算することによって、ハッシュ値を算出する。そして、中継署名部３４０は、中継秘密鍵３０２を用いてハッシュ値を暗号化することによって、中継署名３９２を生成する。中継署名３９２を生成するために用いられるハッシュ関数は予め決められている。
但し、中継署名部３４０は、移動体メッセージ２９９に含まれる情報と第２の衛星メッセージ１３０に含まれる情報と中継位置情報３９１と中継識別子３０１との少なくともいずれかを除外して、中継署名３９２を生成しても構わない。中継署名３９２を生成するために用いられる情報は予め決められている。
Ｓ１３２の後、処理はＳ１３３に進む。

Ｓ１３３において、中継メッセージ生成部３５０は、移動体メッセージ２９９と第２の衛星メッセージ１３０と中継識別子３０１と中継位置情報３９１と中継署名３９２とを含む中継メッセージ３９９を生成する。
但し、中継メッセージ生成部３５０は、移動体メッセージ２９９に含まれる情報と第２の衛星メッセージ１３０に含まれる情報と中継識別子３０１と中継位置情報３９１と中継署名３９２との少なくともいずれかを、中継メッセージ３９９から除外しても構わない。中継メッセージ３９９に含まれる情報は予め決められている。
Ｓ１３３の後、中継メッセージ生成処理（Ｓ１３０）は終了する。
図６に戻り、Ｓ１４１から説明を続ける。

Ｓ１４１において、中継装置３００の中継メッセージ送信部３６０は、Ｓ１３０で生成された中継メッセージ３９９を位置情報管理装置４００に送信する。
Ｓ１４１の後、処理はＳ１４２に進む。

Ｓ１４２において、位置情報管理装置４００の中継メッセージ受信部４１０は、Ｓ１４１で送信された中継メッセージ３９９を受信する。
Ｓ１４２の後、処理はＳ１５０に進む。

Ｓ１５０において、位置情報管理装置４００の位置情報検証部４２０は、中継メッセージ３９９に基づいて、中継メッセージ３９９に含まれる移動***置情報２９１が正当な位置情報であるか検証する。
Ｓ１５０の後、処理はＳ１６０に進む。

図１３は、実施の形態１における位置情報検証部４２０の位置情報検証処理（Ｓ１５０）のフローチャートである。
実施の形態１における位置情報検証部４２０の位置情報検証処理（Ｓ１５０）について、図１３に基づいて説明する。但し、位置情報検証処理（Ｓ１５０）は図１３に示す処理と同一でなくても構わない。

Ｓ１５１−１において、中継署名検証部４２１は、中継証明書４０１に含まれる公開鍵を用いて、中継メッセージ３９９に含まれる中継署名３９２を検証する。中継署名３９２を検証する方法は、電子署名を検証する従来の方法と同様である。
例えば、中継署名検証部４２１は、中継署名３９２を生成するために使用される情報を中継メッセージ３９９から取得し、取得した情報を入力にしてハッシュ関数を演算することによってハッシュ値を算出する。また、中継署名検証部４２１は、中継証明書４０１に含まれる公開鍵を用いて中継署名３９２を復号することによって、復号値を算出する。そして、中継署名検証部４２１はハッシュ値と復号値とを比較する。ハッシュ値と復号値とが一致する場合、中継署名３９２は正当な電子署名であり、ハッシュ値と復号値とが一致しない場合、中継署名３９２は不正な電子署名である。中継署名３９２を生成するために使用される情報およびハッシュ関数は予め決められている。
Ｓ１５１−１の後、処理はＳ１５１−２に進む。

Ｓ１５１−２において、中継署名検証部４２１は、中継署名３９２が正当な電子署名であるか判定する。
中継署名３９２が正当な電子署名である場合（ＹＥＳ）、処理はＳ１５２−１に進む。
中継署名３９２が正当な電子署名でない場合（ＮＯ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は不正な位置情報である。

Ｓ１５２−１において、移動体署名検証部４２２は、移動体証明書４０２に含まれる公開鍵を用いて、中継メッセージ３９９に含まれる移動体署名２９２を検証する。移動体署名２９２を検証する方法は、電子署名を検証する従来の方法と同様である。
例えば、移動体署名検証部４２２は、移動体署名２９２を生成するために使用される情報を中継メッセージ３９９から取得し、取得した情報を入力にしてハッシュ関数を演算することによってハッシュ値を算出する。また、移動体署名検証部４２２は、移動体証明書４０２に含まれる公開鍵を用いて移動体署名２９２を復号することによって、復号値を算出する。そして、移動体署名検証部４２２はハッシュ値と復号値とを比較する。ハッシュ値と復号値とが一致する場合、移動体署名２９２は正当な電子署名である。ハッシュ値と復号値とが一致しない場合、移動体署名２９２は不正な電子署名である。移動体署名２９２を生成するために使用される情報およびハッシュ関数は予め決められている。
Ｓ１５２−１の後、処理はＳ１５２−２に進む。

Ｓ１５２−２において、移動体署名検証部４２２は、移動体署名２９２が正当な電子署名であるか判定する。
移動体署名２９２が正当な電子署名である場合（ＹＥＳ）、処理はＳ１５３−１に進む。
移動体署名２９２が正当な電子署名でない場合（ＮＯ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は不正な位置情報である。

Ｓ１５３−１において、メッセージ認証コード検証部４２３は、メッセージ認証鍵４０３を用いて、中継メッセージ３９９に含まれる第１のＭＡＣ１２３と、中継メッセージ３９９に含まれる第２のＭＡＣ１３３とを検証する。第１のＭＡＣ１２３および第２のＭＡＣ１３３を検証する方法は、メッセージ認証コードを検証する従来の方法と同様である。
例えば、メッセージ認証コード検証部４２３は、メッセージ認証鍵４０３と中継メッセージ３９９に含まれる第１の測位情報１２１と中継メッセージ３９９に含まれる第１の時刻情報１２２とを用いて、検証用のメッセージ認証コードを生成する。そして、メッセージ認証コード検証部４２３は、検証用のメッセージ認証コードと第１のＭＡＣ１２３とを比較する。検証用のメッセージ認証コードと第１のＭＡＣ１２３とが一致する場合、第１のＭＡＣ１２３は正当なメッセージ認証コードである。検証用のメッセージ認証と第１のＭＡＣ１２３とが一致しない場合、第１のＭＡＣ１２３は不正なメッセージ認証コードである。
例えば、メッセージ認証コード検証部４２３は、メッセージ認証鍵４０３と中継メッセージ３９９に含まれる第２の測位情報１３１と中継メッセージ３９９に含まれる第２の時刻情報１３２とを用いて、検証用のメッセージ認証コードを生成する。そして、メッセージ認証コード検証部４２３は、検証用のメッセージ認証コードと第２のＭＡＣ１３３とを比較する。検証用のメッセージ認証コードと第２のＭＡＣ１３３とが一致する場合、第２のＭＡＣ１３３は正当なメッセージ認証コードである。検証用のメッセージ認証と第２のＭＡＣ１３３とが一致しない場合、第２のＭＡＣ１３３は不正なメッセージ認証コードである。
Ｓ１５３−１の後、処理はＳ１５３−２に進む。

Ｓ１５３−２において、メッセージ認証コード検証部４２３は、第１のＭＡＣ１２３と第２のＭＡＣ１３３との両方が正当なメッセージ認証コードであるか判定する。
第１のＭＡＣ１２３と第２のＭＡＣ１３３との両方が正当なメッセージ認証コードである場合（ＹＥＳ）、処理はＳ１５４−１に進む。
第１のＭＡＣ１２３と第２のＭＡＣ１３３との少なくともいずれかが正当な電子署名でない場合（ＮＯ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は不正な位置情報である。

Ｓ１５４−１において、距離検証部４２４は、中継メッセージ３９９に含まれる中継位置情報３９１が示す中継装置３００の位置と、中継メッセージ３９９に含まれる移動***置情報２９１が示す車両（車載装置２００）の位置との距離を算出する。
そして、距離検証部４２４は、算出した距離を距離閾値と比較する。距離閾値は車載装置２００と中継装置３００とが無線通信を行える最大の距離（例えば、２０メートル）である。
算出した距離が距離閾値以下である場合、車両と中継装置３００との距離は適正な距離である。算出した距離が距離閾値を超える場合、車両と中継装置３００との距離は不適な距離である。
Ｓ１５４−１の後、処理はＳ５１４−２に進む。

Ｓ１５４−２において、距離検証部４２４は、車両と中継装置３００との距離（Ｓ１５４−１で算出した距離）が適正な距離か判定する。
車両と中継装置３００との距離が適正な距離である場合（ＹＥＳ）、処理はＳ１５５−１に進む。
車両と中継装置３００との距離が適正な距離でない場合（ＮＯ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は不正な位置情報である。

Ｓ１５５−１において、時刻検証部４２５は、中継メッセージ３９９に含まれる第１の時刻情報１２２が示す第１の時刻と、中継メッセージ３９９に含まれる第２の時刻情報１３２が示す第２の時刻とを比較する。
第１の時刻が第２の時刻より後の時刻である場合、第１の時刻は不適な時刻である。つまり、第１の時刻情報１２２は不正な時刻情報である。例えば、第１の時刻が０時０分３秒であり、第２の時刻が０時０分２秒である場合、第１の時刻は不適な時刻である。
第１の時刻が第２の時刻から許容時間だけ前の時刻よりも前の時刻である場合、第１の時刻は不適な時刻である。つまり、第１の時刻情報１２２は不正な時刻情報である。例えば、第１の時刻が０時０分０秒であり、第２の時刻が０時０分２秒であり、許容時間が１秒である場合、第１の時刻は不適な時刻である。
第１の時刻が第２の時刻よりも許容時間だけ前の時刻から第２の時刻までの時間に含まれる時刻である場合、第１の時刻は適正な時刻である。つまり、第１の時刻情報１２２は正当な時刻情報である。
Ｓ１５５−１の後、処理はＳ１５５−２に進む。

Ｓ１５５−２において、時刻検証部４２５は、第１の時刻情報１２２が正当な時刻情報であるか判定する。
第１の時刻情報１２２が正当な時刻情報である場合（ＹＥＳ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は正当な位置情報である。
第１の時刻情報１２２が不正な時刻情報である場合（ＮＯ）、位置情報検証処理（Ｓ１５０）は終了する。この場合、中継メッセージ３９９に含まれる移動***置情報２９１は不正な位置情報である。

位置情報検証処理（Ｓ１５０）において、中継署名検証（Ｓ１５１−１、Ｓ１５１−２）、移動体署名検証（Ｓ１５２−１、Ｓ１５２−２）、ＭＡＣ検証（Ｓ１５３−１、Ｓ１５３−２）、距離検証（Ｓ１５４−１、Ｓ１５４−２）および時刻検証（Ｓ１５５−１、Ｓ１５５−２）は実行する順序を入れ替えても構わない。
また、これらの検証のうちの少なくともいずれかの検証が省略されても構わない。
図６に戻り、Ｓ１６０から説明を続ける。

Ｓ１６０において、中継メッセージ３９９に含まれる移動***置情報２９１が正当な位置情報である場合、位置情報管理部４３０は、この移動***置情報２９１を位置情報ファイル４９１に登録する。例えば、位置情報管理部４３０は、中継メッセージ３９９に含まれる移動体識別子２０１と第１の時刻情報１２２と中継識別子３０１と第２の時刻情報１３２との少なくともいずれかに対応付けて、移動***置情報２９１を位置情報ファイル４９１に登録する。
中継メッセージ３９９に含まれる移動***置情報２９１が不正な位置情報である場合、位置情報管理部４３０は、中継メッセージ３９９に含まれる移動体識別子２０１と第１の時刻情報１２２と中継識別子３０１と第２の時刻情報１３２との少なくともいずれか情報をブラックリスト４９２に登録する。
Ｓ１６０の後、位置認証方法の一回の処理が終了する。

図１４は、実施の形態１における車載装置２００、中継装置３００および位置情報管理装置４００のハードウェア構成図である。
実施の形態１における車載装置２００、中継装置３００および位置情報管理装置４００のハードウェア構成について、図１４に基づいて説明する。但し、車載装置２００、中継装置３００および位置情報管理装置４００のハードウェア構成は図１４に示す構成と同一でなくても構わない。

車載装置２００、中継装置３００および位置情報管理装置４００は、演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５を備えるコンピュータである。
演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５はバス９０９に接続している。

演算装置９０１は、プログラムを実行するＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）である。
補助記憶装置９０２は、例えば、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、フラッシュメモリまたはハードディスク装置である。
主記憶装置９０３は、例えば、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）である。
通信装置９０４は、有線または無線でインターネット、ＬＡＮ（ローカルエリアネットワーク）、電話回線網またはその他のネットワークを介して通信を行う。
入出力装置９０５は、例えば、マウス、キーボード、ディスプレイ装置である。

プログラムは、補助記憶装置９０２に記憶されている。
例えば、オペレーティングシステム（ＯＳ）が補助記憶装置９０２に記憶される。また、「〜部」として説明している機能を実現するプログラムが補助記憶装置９０２に記憶される。
プログラムは、補助記憶装置９０２に記憶されており、主記憶装置９０３にロードされ、演算装置９０１に読み込まれ、演算装置９０１によって実行される。

「〜の判断」、「〜の判定」、「〜の抽出」、「〜の検知」、「〜の設定」、「〜の登録」、「〜の選択」、「〜の生成」、「〜の入力」、「〜の出力」等の処理の結果を示す情報、データ、ファイル、信号値または変数値が主記憶装置９０３または補助記憶装置９０２に記憶される。

実施の形態１により、以下のような効果を奏することができる。
車載装置２００は測位衛星１１０から測位情報と時刻情報とを入手するので、移動***置情報２９１の認証ごとに移動***置情報２９１が示す位置および時刻情報が示す時刻が変化する。これにより、位置認証システム１００は、移動***置情報２９１を含んだ移動体メッセージ２９９を再使用するリピート攻撃に対する耐性を持つことができる。
測位衛星１１０がメッセージ認証コード（ＭＡＣ）を含んだ衛星メッセージを送信するので、位置情報管理装置４００はメッセージ認証コードに基づいて測位情報および時刻情報の完全性を検証する。これにより、位置情報管理装置４００は、衛星メッセージ、移動体メッセージ２９９および中継メッセージ３９９の改ざんの有無を検知することができる。
車載装置２００が移動体署名２９２を移動体メッセージ２９９に含めるので、位置情報管理装置４００は中継メッセージ３９９に含まれる移動体メッセージ２９９の改ざんの有無を検知することができる。これにより、位置認証システム１００は車載装置２００の否認不可性を持つことができる。車載装置２００の否認不可性とは、車載装置２００が移動体メッセージ２９９を生成したことを否認できない特性を意味する。
中継装置３００が中継署名３９２を中継メッセージ３９９に含めるので、位置情報管理装置４００は中継メッセージ３９９の改ざんの有無を検知することができる。これにより、位置認証システム１００は中継装置３００の否認不可性を持つことができる。中継装置３００の否認不可性とは、中継装置３００が中継メッセージ３９９を生成したことを否認できない特性を意味する。
位置情報管理装置４００は、車載装置２００と中継装置３００との時刻情報の差分および位置情報の差分を検証することにより、車載装置２００が中継装置３００の狭域通信の通信範囲に存在しているかを確認する。これにより、位置認証システム１００は車載装置２００の時刻情報および位置情報が詐称されることを防止できる。

実施の形態２．
車両が中継装置３００の通信範囲に入ったときに車載装置２００が活性化する形態について説明する。
以下、実施の形態１と異なる事項について主に説明する。説明を省略する事項については実施の形態１と同様である。

図１５は、実施の形態２における中継装置３００の機能構成図である。
実施の形態２における中継装置３００の機能構成について、図１５に基づいて説明する。但し、中継装置３００の機能構成は図１５に示す機能構成と同一でなくても構わない。

中継装置３００は、実施の形態１（図３参照）で説明した機能に加えて、ポーリング部３７０を備える。
ポーリング部３７０は、ポーリング信号を定期的に無線通信で送信する。例えば、ポーリング部３７０は中継識別子３０１を含んだポーリング信号を送信する。
そして、中継装置３００の通信範囲に入った車両の車載装置２００は、ポーリング信号を受信することによって、活性化する。つまり、ポーリング信号を受信した車載装置２００は、移動体メッセージ２９９を送信するための動作を開始する。

図１６は、実施の形態２における車載装置２００の機能構成図である。
実施の形態２における車載装置２００の機能構成について、図１６に基づいて説明する。但し、車載装置２００の機能構成は図１６に示す機能構成と同一でなくても構わない。

車載装置２００は、実施の形態１（図２参照）で説明した機能に加えて、ポーリング検出部２６０を備える。
ポーリング検出部２６０は、車両が中継装置３００の通信範囲に入った際に中継装置３００から送信されるポーリング信号を受信する。
ポーリング検出部２６０は、ポーリング信号を受信したときに、衛星メッセージ受信部２１０などの車載装置２００の機能を起動させる。
但し、同一の中継装置３００からポーリング信号を複数回受信した場合、ポーリング検出部２６０は、２回目以降の受信時には衛星メッセージ受信部２１０などの機能を起動させなくてもよい。ポーリング信号を送信した中継装置３００は、ポーリング信号に含まれる中継識別子３０１によって識別される。

衛星メッセージ受信部２１０、移動体測位部２２０、移動体署名部２３０、移動体メッセージ生成部２４０および移動体メッセージ送信部２５０は、ポーリング検出部２６０がポーリング信号を受信したときに起動し、移動体メッセージ２９９が送信されたときに停止する。つまり、これらの機能は、ポーリング検出部２６０によってポーリング信号が受信されるまで、停止している。

図１７は、実施の形態２における位置認証システム１００の位置認証方法を示すフローチャートである。
実施の形態２における位置認証システム１００の位置認証方法について、図１７に基づいて説明する。但し、位置認証システム１００の位置認証方法は図１７に示す位置認証方法と同一でなくても構わない。

位置認証システム１００の位置認証方法は、実施の形態１（図６参照）で説明した処理に加えて、Ｓ２０１とＳ２０２とを備える。

Ｓ２０１において、中継装置３００のポーリング部３７０は、ポーリング信号を無線通信で定期的に送信する。このポーリング信号は、中継装置３００の通信範囲に入った車両の車載装置２００によって受信される。
Ｓ２０１の後、処理はＳ２０２に進む。

Ｓ２０２において、車載装置２００のポーリング検出部２６０は、Ｓ２０１で送信されたポーリング信号を受信する。
そして、ポーリング検出部２６０は、衛星メッセージ受信部２１０などの車載装置２００の機能を起動させる。
Ｓ２０２の後、処理はＳ１０２に進む。

Ｓ１０２において、衛星メッセージ受信部２１０は、Ｓ１０１で送信された第１の衛星メッセージ１２０を受信する（実施の形態１と同様）。
Ｓ１０２の後、処理はＳ１１０に進む。

Ｓ１１０において、移動体メッセージ生成部２４０は、第１の衛星メッセージ１２０に基づいて、移動体メッセージ２９９を生成する（実施の形態１と同様）。
Ｓ１１０の後、処理はＳ１２１に進む。

Ｓ１２１において、移動体メッセージ送信部２５０は、Ｓ１１０で生成された移動体メッセージ２９９を無線通信で中継装置３００に送信する（実施の形態１と同様）。
そして、衛星メッセージ受信部２１０などの車載装置２００の機能（ポーリング検出部２６０を除く）は停止する。
Ｓ１２１の後、処理はＳ１２２に進む。
Ｓ１２２以降の処理は実施の形態１と同様である。

実施の形態２において、中継装置３００は車載装置２００に対してポーリングを行い、車載装置２００はポーリングされた際に活性化する。これにより、車載装置２００の消費電力を小さくすることができる。

各実施の形態は、位置認証システム１００の形態の一例である。
つまり、位置認証システム１００は、各実施の形態で説明した構成要素の一部を備えなくても構わない。また、位置認証システム１００は、各実施の形態で説明していない構成要素を備えても構わない。さらに、位置認証システム１００は、各実施の形態の構成要素の一部または全てを組み合わせたものであっても構わない。

各実施の形態においてフローチャート等を用いて説明した処理手順は、各実施の形態に係る方法およびプログラムの処理手順の一例である。各実施の形態に係る方法およびプログラムは、各実施の形態で説明した処理手順と一部異なる処理手順で実現されても構わない。

各実施の形態において「〜部」は「〜処理」「〜工程」「〜プログラム」「〜装置」と読み替えることができる。

１００ 位置認証システム、１１０ 測位衛星、１２０ 第１の衛星メッセージ、１２１ 第１の測位情報、１２２ 第１の時刻情報、１２３ 第１のＭＡＣ、１３０ 第２の衛星メッセージ、１３１ 第２の測位情報、１３２ 第２の時刻情報、１３３ 第２のＭＡＣ、２００ 車載装置、２０１ 移動体識別子、２０２ 移動体秘密鍵、２１０ 衛星メッセージ受信部、２２０ 移動体測位部、２３０ 移動体署名部、２４０ 移動体メッセージ生成部、２５０ 移動体メッセージ送信部、２６０ ポーリング検出部、２９０ 移動体記憶部、２９１ 移動***置情報、２９２ 移動体署名、２９９ 移動体メッセージ、３００ 中継装置、３０１ 中継識別子、３０２ 中継秘密鍵、３１０ 移動体メッセージ受信部、３２０ 衛星メッセージ受信部、３３０ 中継測位部、３４０ 中継署名部、３５０ 中継メッセージ生成部、３６０ 中継メッセージ送信部、３７０ ポーリング部、３９０ 中継記憶部、３９１ 中継位置情報、３９２ 中継署名、３９９ 中継メッセージ、４００ 位置情報管理装置、４０１ 中継証明書、４０２ 移動体証明書、４０３ メッセージ認証鍵、４１０ 中継メッセージ受信部、４２０ 位置情報検証部、４２１ 中継署名検証部、４２２ 移動体署名検証部、４２３ メッセージ認証コード検証部、４２４ 距離検証部、４２５ 時刻検証部、４３０ 位置情報管理部、４９０ 装置記憶部、４９１ 位置情報ファイル、４９２ ブラックリスト、９０１ 演算装置、９０２ 補助記憶装置、９０３ 主記憶装置、９０４ 通信装置、９０５ 入出力装置、９０９ バス。

Claims (18)

1. 移動体と共に移動する移動体装置と通信する中継装置から送信される前記移動体の位置を示す位置情報が正当な位置情報であるか検証する位置情報検証装置であって、
   前記移動体装置は、測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて前記移動体の位置を測位し、測位した前記移動体の位置を示す移動***置情報と前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを送信する装置であり、
   前記中継装置は、前記移動体から送信される前記移動体メッセージを受信し、受信した前記移動体メッセージに含まれる前記移動***置情報と、受信した移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージを受信したときに前記測位衛星から受信した衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを送信する装置であり、
   前記位置情報検証装置は、
   前記中継装置から送信される前記中継メッセージを受信する中継メッセージ受信部と、
   前記中継メッセージ受信部によって受信された前記中継メッセージに含まれる前記第１の時刻情報が示す時刻と、前記中継メッセージに含まれる前記第２の時刻情報が示す時刻とに基づいて、前記中継メッセージに含まれる前記移動***置情報が正当な位置情報であるか検証する位置情報検証部と
   を備えることを特徴とする位置情報検証装置。
2. 前記中継装置は、前記第２の衛星メッセージに含まれる第２の測位情報に基づいて前記中継装置の位置を測位し、測位した前記中継装置の位置を示す中継位置情報を含めて前記中継メッセージを送信し、
   前記位置情報検証部は、前記中継メッセージに含まれる前記中継位置情報が示す位置と前記中継メッセージに含まれる前記移動***置情報が示す位置との距離に基づいて、前記移動***置情報が正当な位置情報であるか検証する
   ことを特徴とする請求項１に記載の位置情報検証装置。
3. 前記中継装置は、前記移動***置情報と前記第１の時刻情報と前記第２の時刻情報とに基づいた電子署名を中継署名として生成し、生成した前記中継署名を含めて前記中継メッセージを送信し、
   前記位置情報検証部は、前記中継メッセージに含まれる前記中継署名に基づいて、前記移動***置情報が正当な位置情報であるか検証する
   ことを特徴とする請求項１または請求項２に記載の位置情報検証装置。
4. 前記移動体装置は、前記移動***置情報と前記第１の時刻情報とに基づいた電子署名を移動体署名として生成し、生成した前記移動体署名を含めて前記移動体メッセージを送信し、
   前記中継装置は、前記移動体メッセージに含まれる前記移動体署名を含めて前記中継メッセージを送信し、
   前記位置情報検証部は、前記中継メッセージに含まれる前記移動体署名に基づいて、前記移動***置情報が正当な位置情報であるか検証する
   ことを特徴とする請求項１から請求項３のいずれかに記載の位置情報検証装置。
5. 前記測位衛星は、前記第１の時刻情報に基づいた第１のメッセージ認証コードを生成し、生成した前記第１のメッセージ認証コードを含めて前記第１の衛星メッセージを送信し、前記第２の時刻情報に基づいた第２のメッセージ認証コードを生成し、生成した前記第２のメッセージ認証コードを含めて前記第２の衛星メッセージを送信し、
   前記移動体装置は、前記第１のメッセージ認証コードを含んだ前記第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１のメッセージ認証コードを含めて前記移動体メッセージを送信し、
   前記中継装置は、前記移動体メッセージに含まれる前記第１のメッセージ認証コードと前記第２の衛星メッセージに含まれる前記第２のメッセージ認証コードとを含めて前記中継メッセージを送信し、
   前記位置情報検証部は、前記中継メッセージに含まれる前記第１のメッセージ認証コードと前記中継メッセージに含まれる前記第２のメッセージ認証コードとに基づいて、前記移動***置情報が正当な位置情報であるか検証する
   ことを特徴とする請求項１から請求項４のいずれかに記載の位置情報検証装置。
6. 移動体と共に移動する移動体装置と前記移動体の位置を示す位置情報が正当な位置情報であるか検証する位置情報検証装置と通信する中継装置であって、
   前記移動体装置は、測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて前記移動体の位置を測位し、測位した前記移動体の位置を示す移動***置情報と前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを送信する装置であり、
   前記中継装置は、
   前記移動体装置から送信される前記移動体メッセージを受信する移動体メッセージ受信部と、
   前記測位衛星から送信される衛星メッセージを受信する衛星メッセージ受信部と、
   前記移動体メッセージ受信部によって受信された前記移動体メッセージに含まれる前記移動***置情報と、前記移動体メッセージ受信部によって受信された前記移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージ受信部が前記移動体メッセージを受信したときに前記衛星メッセージ受信部によって受信された衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを前記位置情報検証装置に送信する中継メッセージ送信部と
   を備えることを特徴とする中継装置。
7. 前記中継装置は、前記第２の衛星メッセージに含まれる第２の測位情報に基づいて前記中継装置の位置を測位する中継測位部を備え、
   前記中継メッセージ送信部は、前記中継測位部によって測位された前記中継装置の位置を示す中継位置情報を含めて前記中継メッセージを送信する
   ことを特徴とする請求項６に記載の中継装置。
8. 前記中継装置は、前記移動***置情報と前記第１の時刻情報と前記第２の時刻情報とに基づいた電子署名を中継署名として生成する中継署名部を備え、
   前記中継メッセージ送信部は、前記中継署名部によって生成された前記中継署名を含めて前記中継メッセージを送信する
   ことを特徴とする請求項６または請求項７に記載の中継装置。
9. 前記移動体装置は、前記移動***置情報と前記第１の時刻情報とに基づいた電子署名を移動体署名として生成し、生成した前記移動体署名を含めて前記移動体メッセージを送信し、
   前記中継メッセージ送信部は、前記移動体メッセージに含まれる前記移動体署名を含めて前記中継メッセージを送信する
   ことを特徴とする請求項６から請求項８のいずれかに記載の中継装置。
10. 前記測位衛星は、前記第１の時刻情報に基づいた第１のメッセージ認証コードを生成し、生成した前記第１のメッセージ認証コードを含めて前記第１の衛星メッセージを送信し、前記第２の時刻情報に基づいた第２のメッセージ認証コードを生成し、生成した前記第２のメッセージ認証コードを含めて前記第２の衛星メッセージを送信し、
    前記移動体装置は、前記第１のメッセージ認証コードを含んだ前記第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１のメッセージ認証コードを含めて前記移動体メッセージを送信し、
    前記移動体メッセージ受信部は、前記第１のメッセージ認証コードを含んだ前記移動体メッセージを受信し、
    前記衛星メッセージ受信部は、前記第２のメッセージ認証コードを含んだ前記第２の衛星メッセージを受信し、
    前記中継メッセージ送信部は、前記移動体メッセージに含まれる前記第１のメッセージ認証コードと前記第２の衛星メッセージに含まれる前記第２のメッセージ認証コードとを含めて前記中継メッセージを送信する
    ことを特徴とする請求項６から請求項９のいずれかに記載の中継装置。
11. 前記中継装置は、前記移動体装置に前記第１の衛星メッセージの受信を開始させるポーリング信号を無線通信で送信するポーリング部を備え、
    前記移動体メッセージ受信部は、前記ポーリング信号を受信した前記移動体装置から無線通信で送信される前記移動体メッセージを受信する
    ことを特徴とする請求項６から請求項１０のいずれかに記載の中継装置。
12. 移動体と共に移動する移動体装置であって、
    測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信する衛星メッセージ受信部と、
    前記衛星メッセージ受信部によって受信された前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて、前記移動体の位置を測位する移動体測位部と、
    前記移動体測位部によって測位された前記移動体の位置を示す移動***置情報と、前記衛星メッセージ受信部によって受信された前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを、前記移動***置情報が正当な位置情報であるか検証する位置情報検証装置と通信する中継装置に送信する移動体メッセージ送信部とを備え、
    前記中継装置は、前記移動体から送信される前記移動体メッセージを受信し、受信した前記移動体メッセージに含まれる前記移動***置情報と、受信した移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージを受信したときに前記測位衛星から受信した衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを送信する装置であり、
    前記位置情報検証装置は、前記中継装置から送信される前記中継メッセージを受信し、前記中継メッセージに含まれる前記第１の時刻情報が示す時刻と、前記中継メッセージに含まれる前記第２の時刻情報が示す時刻とに基づいて、前記中継メッセージに含まれる前記移動***置情報が正当な位置情報であるか検証する装置である
    ことを特徴とする移動体装置。
13. 前記移動体装置は、前記移動***置情報と前記第１の時刻情報とに基づいた電子署名を移動体署名として生成する移動体署名部を備え、
    前記移動体メッセージ送信部は、前記移動体署名部によって生成された前記移動体署名を含めて前記移動体メッセージを送信する
    ことを特徴とする請求項１２に記載の移動体装置。
14. 前記測位衛星は、前記第１の時刻情報に基づいた第１のメッセージ認証コードを生成し、生成した前記第１のメッセージ認証コードを含めて前記第１の衛星メッセージを送信し、
    前記移動体メッセージ送信部は、前記第１の衛星メッセージに含まれる前記第１のメッセージ認証コードを含めて前記移動体メッセージを送信する
    ことを特徴とする請求項１２または請求項１３に記載の移動体装置。
15. 前記中継装置は、前記移動体装置に前記第１の衛星メッセージの受信を開始させるポーリング信号を無線通信で送信し、
    前記移動体装置は、前記中継装置から送信されるポーリング信号を受信するポーリング検出部を備え、
    前記衛星メッセージ受信部は、前記ポーリング検出部によって前記ポーリング信号が受信されたときに、前記第１の衛星メッセージの受信を開始する
    ことを特徴とする請求項１２から請求項１４のいずれかに記載の移動体装置。
16. 移動体と共に移動する移動体装置と通信する中継装置から送信される前記移動体の位置を示す位置情報が正当な位置情報であるか検証する位置情報検証プログラムであって、
    前記移動体装置は、測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて前記移動体の位置を測位し、測位した前記移動体の位置を示す移動***置情報と前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを送信する装置であり、
    前記中継装置は、前記移動体から送信される前記移動体メッセージを受信し、受信した前記移動体メッセージに含まれる前記移動***置情報と、受信した移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージを受信したときに前記測位衛星から受信した衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを送信する装置であり、
    前記位置情報検証プログラムは、
    前記中継装置から送信される前記中継メッセージを受信する中継メッセージ受信処理と、
    前記中継メッセージ受信処理によって受信された前記中継メッセージに含まれる前記第１の時刻情報が示す時刻と、前記中継メッセージに含まれる前記第２の時刻情報が示す時刻とに基づいて、前記中継メッセージに含まれる前記移動***置情報が正当な位置情報であるか検証する位置情報検証処理と
    をコンピュータに実行させるための位置情報検証プログラム。
17. 移動体と共に移動する移動体装置と前記移動体の位置を示す位置情報が正当な位置情報であるか検証する位置情報検証装置と通信する中継プログラムであって、
    前記移動体装置は、測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信し、受信した前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて前記移動体の位置を測位し、測位した前記移動体の位置を示す移動***置情報と前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを送信する装置であり、
    前記中継プログラムは、
    前記移動体装置から送信される前記移動体メッセージを受信する移動体メッセージ受信処理と、
    前記測位衛星から送信される衛星メッセージを受信する衛星メッセージ受信処理と、
    前記移動体メッセージ受信処理によって受信された前記移動体メッセージに含まれる前記移動***置情報と、前記移動体メッセージ受信処理によって受信された前記移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージ受信処理が前記移動体メッセージを受信したときに前記衛星メッセージ受信処理によって受信された衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを前記位置情報検証装置に送信する中継メッセージ送信処理と
    をコンピュータに実行させるための中継プログラム。
18. 測位情報と時刻情報とを含む衛星メッセージを送信する測位衛星から第１の測位情報と第１の時刻情報とを含む第１の衛星メッセージを受信する衛星メッセージ受信処理と、
    前記衛星メッセージ受信処理によって受信された前記第１の衛星メッセージに含まれる前記第１の測位情報に基づいて、移動体の位置を測位する移動体測位処理と、
    前記移動体測位処理によって測位された前記移動体の位置を示す移動***置情報と、前記衛星メッセージ受信処理によって受信された前記第１の衛星メッセージに含まれる前記第１の時刻情報とを含んだ移動体メッセージを、前記移動***置情報が正当な位置情報であるか検証する位置情報検証装置と通信する中継装置に送信する移動体メッセージ送信処理と
    をコンピュータに実行させるための移動体プログラムであり、
    前記中継装置は、前記移動体から送信される前記移動体メッセージを受信し、受信した前記移動体メッセージに含まれる前記移動***置情報と、受信した移動体メッセージに含まれる前記第１の時刻情報と、前記移動体メッセージを受信したときに前記測位衛星から受信した衛星メッセージである第２の衛星メッセージに含まれる第２の時刻情報と、を含む中継メッセージを送信する装置であり、
    前記位置情報検証装置は、前記中継装置から送信される前記中継メッセージを受信し、前記中継メッセージに含まれる前記第１の時刻情報が示す時刻と、前記中継メッセージに含まれる前記第２の時刻情報が示す時刻とに基づいて、前記中継メッセージに含まれる前記移動***置情報が正当な位置情報であるか検証する装置である
    ことを特徴とする移動体プログラム。

Images