"通信ネットワークにそれぞれ接続されたユーザ端末と、該ユーザ端末の位置情報の認証を行う認証局と、該位置情報を決定する際に位置の基準となる基準局と、上記ユーザ端末の位置を測定することができる電波航法手段と、を備え、上記認証局は、上記基準局の位置を把握し、1上記ユーザ端末は、上記認証局に、上記電波航法手段による上記ユーザ端末の位置情報を伝送し、2上記認証局は、上記基準局に、送信時刻を含む暗号の生成を指示し、3上記基準局は、加法準同型暗号方式に従って第1暗号を生成して、上記ユーザ端末に伝送し、4上記ユーザ端末は、第1暗号を受信し、その受信時刻を含む情報で第1暗号を変調することにより第2暗号を生成して、上記認証局に伝送し、5上記認証局では、第2暗号を受信して復号し上記送信時刻と上記受信時刻を得て上記基準局と上記ユーザ端末間の信号遅れを見出し、該信号遅れを上記基準局と上記ユーザ端末間の距離に換算し、該距離と上記1の位置情報との差が所定の範囲にある場合に認証するものであり、第1暗号と第2暗号とは、同じ加法準同型暗号方式によるものであることを特徴とする位置情報認証方法。1上記ユーザ端末は、上記認証局に、上記電波航法手段による上記ユーザ端末の位置情報を送信し、2上記認証局は、上記基準局に、送信時刻を含む暗号の生成を指示し、3上記基準局は、上記基準局が電波を送信するものである場合は、電波信号と該電波信号の送信時刻情報の第1暗号とを、上記ユーザ端末に送信し、あるいは、上記基準局が何らかの発信源からの電波を受信するものである場合は、上記基準局が受信した電波の受信信号波形の第1時系列を生成し、第1時系列の暗号である第2時系列を生成して上記ユーザ端末に送信し、4上記ユーザ端末は、上記基準局が電波を送信するものである場合は、第1暗号と上記基準局から送信された上記電波信号とを受信し、その受信時刻から第2暗号を生成し、第1暗号と第2暗号とを数値と見なしたときの差から第3暗号を生成して、第3暗号を上記認証局に送信し、あるいは、上記基準局が何らかの発信源からの電波を受信するものである場合は、上記ユーザ端末は、第2時系列を受信し、また上記発信源から送信された上記電波とを受信して受信信号波形の第3時系列を生成し、第2時系列と第3時系列との畳み込み演算を行い、該畳み込み演算の結果を上記認証局に送信し、5上記認証局では、第3暗号を受信し復号して、上記基準局と上記ユーザ端末間の距離に換算し、あるいは、第3時系列を受信し復号して、上記基準局と上記ユーザ端末間の信号遅れを見出し、該信号遅れを上記基準局と上記ユーザ端末間の距離に換算し、該距離と上記1の位置情報との差が所定の範囲にある場合に認証するものであり、第1暗号と第2暗号とは、同じ加法準同型暗号方式によるものであることを特徴とする請求項1に記載の位置情報認証方法。上記基準局は、準天頂衛星であり、電波を送信するものであることを特徴とする請求項2に記載の位置情報認証方法。基準局が何らかの発信源からの電波を受信するものであって、上記発信源およびその送信周波数は、認証局から指定されたものであり、上記基準局は、複数の基準局候補からかってに選択したものであることを特徴とする請求項2に記載の位置情報認証方法。上記加法準同型暗号方式は、Paillierの準同型暗号方式であることを特徴とする請求項1から4のいずれか1つに記載の位置情報認証方法。上記のような問題を解決するには、単に物理的に位置情報を取得するだけでなく、その時だけ生成される即時的な情報の利用も必要である。そこで、本発明では、その場に居ないと生成できない情報を利用することで位置情報を認証するプロトコルを提案する。これは、具体的には2つに分類できるもので、1つは、人工衛星から任意の信号を送信し、人工衛星が送信した時間とユーザが受信した時間の差を利用するプロトコルであり、もう一つは複数の地上波を利用するものである。地上波としてはラジオ放送やテレビ放送など様々なものを利用する。本発明の位置情報検証装置は、電波の伝搬時間差を利用するものである。その1つは、人工衛星から任意の信号を送信し、人工衛星が送信した時間とユーザが受信した時間の差を利用するプロトコルで能動型ActiveType認証方式と呼ぶ。人工衛星からの信号は、誰でも受信可能であるので、悪意あるユーザに利用されないことが必要である。さらに、人工衛星の軌道計算から、あらかじめ時間差を計算する不正を防ぐことも必要である。一方で、認証インフラが大規模で高度な運用がなされるため、正確な位置情報の生成が可能であると共に、インフラへの不正を行いがたい、という特徴がある。もう一つは複数の地上波を利用するものである。地上波としてはラジオ放送やテレビ放送など様々なものを利用し、2点間で同じ地上波を取得した時に生ずる波形の差を利用して位置を特定するプロトコルである。以下では、受動型PassiveType認証方式と呼ぶ。地上波を放送している地点は不動なため、信頼できる第三者TTPを用意し、ユーザとTTP間の距離から位置情報を認証する。しかし、受信する地上波が予め決められている場合は、位置の詐称が可能であるため、それを防ぐ必要がある。また、TTPとユーザの位置関係から、正確な位置情報の確定が難しいことも予想される。認証のためのインフラには身近な機材を用いるため実現が容易であるが、その反面として、結託攻撃に晒されやすいので、これを防ぐ必要もある。さらにこれら両者に共通してユーザの位置情報を漏らさないプライバシーの確保も必要である。これら手法の実現には準同型暗号を用いた秘密計算を応用する。特に受動型認証方式においては、TTPの位置をユーザに漏らさない必要がある。このため、本発明の位置情報認証方法では、前提として、通信ネットワークにそれぞれ接続されたユーザ端末と、該ユーザ端末の位置情報の認証を行う認証局と、該位置情報を決定する際に位置の基準となる基準局と、上記ユーザ端末の位置を測定することができる電波航法手段と、を備え、上記認証局は、上記基準局の位置を把握しているものとする。この様な構成において、1上記ユーザ端末は、上記認証局に、上記電波航法手段による上記ユーザ端末の位置情報を伝送し、2上記認証局は、上記基準局に、送信時刻を含む暗号の生成を指示し、3上記基準局は、加法準同型暗号方式に従って第1暗号を生成して、上記ユーザ端末に伝送し、4上記ユーザ端末は、第1暗号を受信して、その受信時刻を含む情報で第1暗号を変調することにより第2暗号を生成して、上記認証局に伝送し、5上記認証局では、第2暗号を受信して復号し上記送信時刻と上記受信時刻を得て上記基準局と上記ユーザ端末間の信号遅れを見出し、該信号遅れを上記基準局と上記ユーザ端末間の距離に換算し、該距離と上記1の位置情報との差が所定の範囲にある場合に認証するものである。上記における受信時刻を含む情報で第1暗号を変調するとは、その受信時刻を含む情報と第1暗号間に線形演算を施すか、その受信時刻を含む情報を上記の加法準同型暗号方式に従って生成した暗号と第1暗号間に線形演算を施すか、を意味するものであり、より具体的には、1上記受信時刻を含む情報を上記の加法準同型暗号方式に従って暗号を生成し、これと第1暗号とを所定の係数をつけて加減演算する、あるいは、2第1暗号と、上記受信時刻を含む情報とを数値とみなして、乗除演算する、あるいは、3第1暗号と、上記受信時刻を含む情報とが、それぞれ複数の要素からなる場合は、上記の要素間に乗除演算し、この乗除演算の結果に所定の加減演算を行う、というものである。より具体的には、上記の構成において、以下のようにする。1上記ユーザ端末は、上記認証局に、上記電波航法手段による上記ユーザ端末の位置情報を送信する。2上記認証局は、上記基準局に、送信時刻を含む暗号の生成を指示する。3上記基準局は、上記基準局が電波を送信するものである場合は、電波信号と該電波信号の送信時刻情報の第1暗号とを、上記ユーザ端末に送信し、あるいは、上記基準局が何らかの発信源からの電波を受信するものである場合は、上記基準局が受信した電波の受信信号波形の第1時系列を生成し、第1時系列の暗号である第2時系列を生成して上記ユーザ端末に送信しする。4上記ユーザ端末は、上記基準局が電波を送信するものである場合は、第1暗号と上記基準局から送信された上記電波信号とを受信し、その受信時刻から第2暗号を生成し、第1暗号と第2暗号とを数値と見なしたときの差から第3暗号を生成して、第3暗号を上記認証局に送信し、あるいは、上記基準局が何らかの発信源からの電波を受信するものである場合は、上記ユーザ端末は、第2時系列を受信し、また上記発信源から送信された上記電波とを受信して受信信号波形の第3時系列を生成し、第2時系列と第3時系列との畳み込み演算を行い、該畳み込み演算の結果を上記認証局に送信する。5上記認証局では、第3暗号を受信し復号して、上記基準局と上記ユーザ端末間の距離に換算し、あるいは、第3時系列を受信し復号して、上記基準局と上記ユーザ端末間の信号遅れを見出し、該信号遅れを上記基準局と上記ユーザ端末間の距離に換算し、該距離と上記1の位置情報との差が所定の範囲にある場合に認証する。第1暗号と第2暗号とは、同じ加法準同型暗号方式によるものであり、暗号の和は、平文の和に対応する写像関係を持つ事を利用している。例えば、上記基準局は、準天頂衛星であり、電波を送信するものである。また、例えば、基準局が何らかの発信源からの電波を受信するものであって、上記発信源およびその送信周波数は、認証局から指定されたものであり、上記基準局は、複数の基準局候補からかってに選択したものである。より具体的には、上記加法準同型暗号方式は、例えば、Paillierの準同型暗号方式である。位置情報は不変な情報であるため、ネットワークサービスで位置情報を利用する場合は、一度取得した情報を操り返し利用することや別の位置情報を利用するなどの不正を許す原因を排除する必要がある。そのため信頼できる位置情報の発行が必要となるが、本発明を適用することにより、1ユーザは位置情報を詐称できない、2別のユーザの位置情報を不正利用できない、ことを実現し、3信頼できる位置情報の発行ができるようになる。以下に、この発明の実施の形態を図面に基づいて詳細に説明する。以下の説明においては、同じ機能あるいは類似の機能をもった装置に、特別な理由がない場合には、同じ符号を用いるものとする。上述の、位置情報の取得手法と、加法準同型暗号、例えばPaillierの準同型暗号方式と、を組み合わせることにより、位置情報を認証する2種類のプロトコルが得られる。以下では、EncpkとDecskは、それぞれ加法準同型の性質を有する暗号システムの暗号化処理と復号処理を示すものとする。図1aに、構成例を示す。この例では、認証局AC1、準天頂衛星QZS2、ユーザ端末3、通信網4、GPS5を具え、これの認証局1とユーザ端末3とは、通信ネットワークにそれぞれ接続されている。QZSが、位置情報を決定する際に位置の基準となる基準局となる。また、上記ユーザ端末は、GPSによって自分の位置を把握しており、また、上記認証局は何らかの方法によって、上記基準局の位置を把握しているものとする。まず、第1の認証手順の概要を説明する。1ユーザは、GPSで自分の位置情報を取得して、これを認証局に伝え、準天頂衛星が送信する信号を能動的に決定し、また、2認証局は、準天頂衛星にLEX信号の内容についての指示を与える。3認証局が決定した時刻に、信号が送信される。4ユーザは自分に向けられた信号を見分け、受信した時刻tuを認証局に報告する。しかし、ユーザはその時刻を知らないため常に受信状態に置かれる。5これを、1から所定の回数例えば3回繰り返すことでユーザがあらかじめ伝えていた位置の正当性を確認する。この例では、準天頂衛星に関するインフラとその受信装置をユーザが使える状態にあることが条件となる。また、上記で、送信信号が操作されることから、この位置情報の認証手法を能動型ActiveTypeと呼ぶ。上記認証手法は準天頂衛星から送信されるLEX信号を利用するものである。LEX信号として、任意のデータを送信可能であるので、ユーザが能動的に生成した信号を認証局を介して送信できる。ユーザは、認証局に提示した情報に従って取得すべき信号を見分け、受信した時刻を記録する。このActiveType用のシステムが機能する前提として3つの構成要素エンティティ、つまり、認証局AC、準天頂衛星、およびユーザの時刻、が正確に同期していることが求められる。これはタイムスタンプ技術で保証されているとし、以下では簡略化して記述する。図4に示すプロトコルフロー図に沿って、位置情報認証方法の位置情報認証手順例を説明する。<ステップ1>ユーザは、現在の位置情報xu,yu,zuを、GPSなどを利用して取得し、その認証要求を上記ACへ提出する。<ステップ2>上記ACは、乱数ruを選び、インデックスindex番号として、IndexNo=Hxu,yu,zu,ruを生成する。ただし、Hはハッシュ関数を示す。複数の変数を入力する場合は、予め決めた並べ方で一連のデータにする。例えば、そのデータは単純につなぎ合わせたデータにしてもよい。上記の場合は、例えば、xu、yu、zu、ru、を連結した一連のデータを入力とする。また、Hruの場合は、ruを入力するハッシュ関数である。また、上記ACは、情報リストTableに、次の内容のデータを追加する。続いて、QZSの公開チャネルOpenchannelを通じて、ユーザへ次式の右辺の内容の出力をCindexとして送信する。ここで、右辺のEncpkuは、ユーザ側での暗号化を意味する。秘密チャネルSecurechannelを通じて、準天頂衛星viへ次式の内容の出力を送信する。但し、上記のは、Clexとして右辺を用いることを意味する。ここで、νを送信源の集合とするとき、本実施例では、vi∈νは、ACに選択された準天頂衛星であり、Tiはその準天頂衛星からLEX信号を発信する時刻である。<ステップ3>各エンティティ、つまり認証局、準天頂衛星、およびユーザは、それぞれ以下に示す処理を行う。AC:ユーザの上記位置情報xu,yu,zuと時刻Tにおける上記準天頂衛星の位置情報xi,yi,ziから、上記ユーザと上記準天頂衛星間の距離diuを求める。図1bに示すように、この値によって、準天頂衛星からみた場合のユーザが存在する範囲を決定することができる。準天頂衛星vi:時刻Tiの値を認証局で、次の暗号化EncpkACを行う。そして、次の内容を含む信号を、上記準天頂衛星から送信する。ユーザ:上記準天頂衛星から送信された信号を受信し、受信信号に含まれるCindexを復号する。次のDecskuは、ユーザ側での復号を意味する。また、次のLEX信号を受信した受信時刻tuを記録する。受信信号中のClexを復号する。これは復号されたHruに相当するので、Hruとする。また、受信時刻tuを認証局側向けに暗号化し、上記CTiとの差をとり、CtTとする。次に、以下の信号をACへ送信する。<ステップ4>ACは情報リストから上記、indexNo、を検索する。これは、先に、情報リストTableに追加したデータにあるものである。この追加したデータにあるruのハッシュ関数Hru値について、受信したハッシュ値と一致するかどうかを確認する。つまり、の成立を確認する。上記の等号が成立する場合、受信信号中のCtTについて認証局側で復号する。上記で用いた暗号方式は、加法準同型暗号方式であることから、CtTを復号することで、時間差が得られる。この時間差を次式の様にτとする。次に、cとδは、それぞれ光速度と所定の距離精度として、τcと、上記ユーザと上記準天頂衛星間の距離diuとについて、次式の正否を確認する。この式が成立する場合は、ユーザが要求した位置情報は有効であると判断する。位置情報の取得は、図2に示すように複数の発信源からの地上波を同時に受信して、その相互相関を評価して受信における遅延時間を求めることによっても可能である。この事実を利用した位置情報の認証手法を受動型PassiveTypeと呼ぶ。図3に構成例を示す。これは、複数の発信源7、信頼できる第3者TTP6、認証局1、ユーザ端末3、GPS5、通信網ネットワーク4、GPS5等からなる構成例で、上記TTP6、認証局1、ユーザ端末3は、上記通信ネットワーク4に接続されて自由に通信することができる。複数の発信源からの電波を上記TTP、ユーザ端末が受信し、また、上記ユーザ端末はGPS5によって自身の位置を確認することができる、という例である。その位置情報認証手順の概略は以下の通りである。1ユーザは上記GPSによる自分の位置を認証局に伝え、2認証局は用いるTTPを、ユーザに秘密にしてランダムに決定する。3認証局は受信すべき地上波の周波数を、所定数例えば、3通りランダムに選択し、受信を開始すべき時刻を決定する。4ユーザとTTPは指定された時刻に指定された地上波を上記所定数例えば、3通りを受信する。5ユーザとTTP間で上記所定数つまり例えば、3通りの異なる時間差を計算することでユーザがあらかじめ伝えていた位置の正当性を確認する。この実施例では、複数の地上波を同時に受信できる受信装置を用いること、および、ユーザに対して秘密のTTPを複数用意することが必要である。また、図5にプロトコルフロー図を示す。このシステムの前提として、3つのエンティティ、認証局AC、信頼できる第3者TTP、およびユーザ、それぞれの時刻が正確に同期していることが挙げられる。この同期は、タイムスタンプ技術で保証されているとし、前述と同様に以下では簡略化して記述する。またTTPは複数存在し、それらの位置情報は認証局のみが知り、ユーザに対しては秘密であるとする。以下では、地上波の発信源の集合をνとする。各発信源vi∈νは常に、次の信号系列を生成し、また、本実施例の各構成要素エンティティは受動的に次の信号系列を受信しているものとする。また、発信源の位置をxi,yi,ziとする。<ステップ1>ユーザは現在の現在の位置情報xu,yu,zuをGPSなどを利用して取得し、その認証要求をACへ提出する。<ステップ2>ACは、複数あるTTPの中から1つ選ぶ。次にユーザとTTPが同時に受信することになる地上波をランダムに少なくとも3つ選択する。その周波数と受信時刻をfi∈ν及びTとし、fi,TをTTPとユーザへ送信する。<ステップ3>各エンティティは、それぞれ以下に示す処理を行う。AC:発信源とユーザ間の距離と、発信源とTPP間の距離との差を求める。ここで、xttp,yttp,zttpは、上記TTPの位置である。TTP:時刻Tに受信開始した信号si1ttpからsinttpを暗号化してユーザへ送信する。ユーザ:時刻Tに受信開始した信号について、以下では、信号系列のサンプリングの回数をnとするとき;とTTPから送信された暗号文を、次式のように離散変数での畳み込み演算を行う。これは、相互相関関数によって遅延時間を決定するためである。この処理によって得られた結果である次式をACへ送信する。<ステップ4>ACは、ユーザから受信した次の暗号;を用いて以下の計算を行う。これらから最大値;を求め、これを満たす時刻差τ0を算出する。また、次の式の正否を確認する。成立する場合はユーザが要求した位置情報は有効であると判断する。ここでcとδはそれぞれ光の速度と精度である。加法準同型性に従って、上記計算の正当性を確認する。具体的には以下により算出する。"