JP2008181166A

JP2008181166A - 位置証明システム

Info

Publication number: JP2008181166A
Application number: JP2005124768A
Authority: JP
Inventors: Jun Anzai; 潤安齋
Original assignee: Matsushita Electric Industrial Co Ltd
Current assignee: Panasonic Holdings Corp
Priority date: 2005-04-22
Filing date: 2005-04-22
Publication date: 2008-08-07
Also published as: WO2006115002A1

Abstract

【課題】位置利用サービスシステムなどにおいて、モバイルノードの位置情報を、任意の検証者が検証できるようにする。
【解決手段】位置証明システムは、オブジェクトＯと提供者Ｓと位置証明機関LCAと検証者Ｖからなる。提供者Ｓは、オブジェクトＯの位置を証明する一次位置トークンLTを、オブジェクトＯに提供する。オブジェクトＯは、一次位置トークンLTと、変換情報TIを含むリクエストメッセージRMを、位置証明機関LCAに渡す。位置証明機関LCAは、一次位置トークンLTを検証し、検証者Ｖが検証可能な形態の二次位置トークンLT'に変換して、オブジェクトＯに渡す。オブジェクトＯは、変換された二次位置トークンLT'を検証者Ｖに渡す。検証者Ｖは、二次位置トークンLT'を検証することができる。
【選択図】図１

Description

本発明は、位置証明システムに関し、特に、安全性の異なる複数の方式から得られた位置情報を、それぞれの安全性を考慮しつつ、共通に検証できるようにした位置証明システムに関する。

近年、携帯電話機などの物理的なオブジェクトの位置情報を利用したサービスの提供が検討されている。物理的なオブジェクトの位置情報を利用したサービスとしては、例えば、特定位置への情報配信、モバイルノードのトラッキング（非特許文献８、20）、アクセスコントロール（非特許文献15）、位置証明書の発行（非特許文献19）等がある。このようなサービスを、Location Based Service（LBS）と呼ぶ。非接触ICカード（非特許文献14）を利用した駅の自動改札機なども、LBSの一種と言える。なお、携帯電話のLBSに関しては、標準化が行われている（非特許文献１、10）。

オブジェクトの位置を計測する測位技術としては、GPSを利用した方式（非特許文献６）、携帯電話やPHSの基地局を利用した方式、無線LANを利用した方式（非特許文献９、RFIDを利用した方式（非特許文献13）、レーダーを利用した方式（非特許文献５）、センサネットワークを利用した方式（非特許文献18）、通信遅延を利用した方式（非特許文献２、３、４、５、16、19）がある。

これらは、機能・安全性・コストに関して異なる特徴を有する。これらの方式は、利用範囲の観点では、GPSの様に、野外の広範囲で使用できるものから、無線LANのように、主に室内で使用するといったものがある。コストの点では、GPSのように、衛星という非常に高コストのものから、RFIDのように、低コストのものがある。安全性の観点からは、RFIDのように、コストを優先するため、安全性を犠牲にしているものから、通信遅延を利用する方式のように、ある程度安全性が保証されているものがある。

測位技術は、実現方法・コスト・利用範囲・安全性に関して大きな違いがあるため、ネットワークの特徴に応じて適切なものが採用される。様々な測位方式により得られた位置情報は、様々な形態のディジタルデータ（位置トークン）として提供されるため、位置トークンごとに検証方法が異なる。例えば、位置証明書としてディジタル署名されたものは、署名の検証が必要となる。RFIDを利用したものでは、IDデータベースへのアクセスが必要となる。以下に、位置証明方法に関する従来の技術の例をいくつかあげる。

特許文献１に開示された「位置証明方法」は、人がある時刻にある場所に存在したことを客観的に証明し得る位置証明方法である。位置証明を受けたいユーザが携帯電話に自分の指紋を読み取らせると、指紋データがサーバに送信される。サーバは、携帯電話から送信された指紋データを受信すると、予めデータベースに登録してある照合用指紋データと照合して、携帯電話のユーザを確認する。続いてサーバは、その認証時刻を取得すると共に、位置証明要求のあった携帯電話の基地局番号をサービス局から取得して、当該ユーザに対応付けてデータベースの位置登録ファイルに記憶する。また、サーバは、PDAからの位置証明書発行要求に基づいて、データベースの位置登録ファイルに記憶してある被証明者の位置、時間に係わる位置証明書（電子データ）を、電子署名付きで発行する。また、位置登録動作時及び／又は位置証明書発行時に課金を行う。

特許文献２に開示された「認証システム」は、認証機関へのアクセスなどを必要とせずに信頼性の高い時刻認証を行うことができ、さらには、位置認証や本人認証を含めて高精度な認証を可能とするシステムである。電子機器には、１チップの認証チップとして構成される認証部が備えられている。認証部は、GPSなどを利用して、タイムスタンプおよび位置スタンプを作成し、これらに秘密鍵Ａによる電子署名を付して出力する機能、指紋センサによって本人であることが認証された場合にその旨を証明する電子署名を秘密鍵Ｂによって作成して出力する機能などを備える。これにより、認証機関へのアクセスなどを必要とせずに、時刻認証、位置認証を簡易に行うことができ、さらに、そこに本人認証を含めることができる。

特許文献３に開示された「認証システム」は、特定エリアへの入門時に、利用者がエリア内に入ったことを証明する証明書を発行し、証明書とユーザIDおよびパスワードの検証を行うことで、利用者のエリアごとのアクセスを制御する認証システムである。認証システムは、在場証明システムと、アプリケーションサーバと、統合認証システムと、ICカードと、端末と、接続機で構成されている。在場証明システムには、入門管理装置、GPSを備える。アプリケーションサーバには、アプリケーションを備える。統合認証システムには、統合認証サーバ、ディレクトリサーバを備えて構成される。これらの構成で、１つのエリアをカバーする。

特開2003-284113号公報特開2004-172865号公報特開2004-326580号公報

3rd Generation Partnership Project, 3GPP TS 22. 071 V3. 4. 0, 3GPP TS 23. 171 V3. 10. 0, 3GPP TS 24. 030 V3. 3. 0. 安齋潤, 松本勉, "位置検証（１）：中継攻撃に耐性を有する位置検証方式," 暗号と情報セキュリティシンポジウム(SCIS2005) 予稿集, 2B4-3, 2005. 安齋潤, 松本勉, "位置検証（２）：複数証明者を検証可能な位置検証方式," 暗号と情報セキュリティシンポジウム(SCIS2005) 予稿集, 2B4-4, 2005. S. Brands, D. Chaum, "Distance-Bounding Protocols," Proc. of Eurocrypto'93, Springer-Verlag, pp.344-359. S. Capkun, J. P. Hubaux, "Securing position and distance verification in wireless networks," Technical report EPFL/IC/200443, submitted to ACM MobiCom04, 2004. E. Gabber and A. Wool. How to prove where you are: Tracking the location of customer equipment. In Proc. 5th ACM Conf. Computer and Communications Security (CCS), pages 142-149, 1998. S. Haber, W. S. Stornetta, "How to Time-Stamp a Digital Document," Journal of Cryptology: the Journal of the International Association for Cryptologic Research 3, 2 (1991), 99-111. M. Izumi, S. Takeuchi, Y. Watanabe, K. Uehara, H. Sunahara, J. Murai, "A Proposal on a Privacy Control Method for Geographical Location Information Systems," Proc. of INET'00, 2000. T. Kitasuka, T. Nakanishi and A. Fukuda, "Indoor Location Sensing Technique using Wireless Network," In Proc. of Computer System Symposium'02 pp. 83-90, 2002. Location Inter-operability Forum (LIF), "Mobile Location Protocol, " LIF TS 101 Specification Version 3. 0. 0.

JSR 118 Expert Group, Java Community Process, "Mobile Information Device Profile for Java. 2 Micro Edition Version 2.0," 2002. M. Myers, R. Ankney, A. Malpani, S. Galperin and C. Adams, "X.509 Internet Public Key Infrastructure Online Certificate Status Protocol-OCSP," RFC2560, IETF Network Working Group, 1999. K. Nakanishi, J. Nakazawa and H. Tokuda, "LEXP: Preserving User Privacy and Certifying the Location Information," 2nd Workshop on Security in Ubiquitous Computing Ubicomp'03, 2003. W. Rankl, W. Effign, "Smart Card Handbook Second Edition," JOHN WILEY & SONS, LTD, ISBN 0-471-98875-8. 榮樂, 新城, 樋爪, 中田, 板野, "高い情報生存能力を実現するラッパ SysGuard におけるガード・モジュールの開発環境," 日本ソフトウェア科学会第４回プログラミングおよび応用のシステムに関するワークショップ(SPA2001), 2001. N. Sastry, U. Shankar, and D. Wagner, "Secure Verification of Location Claims," Report No. UCB//CDS-03-1245, University of California, Berkekey. 宇根正志, 松浦幹太, 田倉昭, "デジタルタイムスタンプ技術の現状と課題," 日本銀行金融研究所, 金融研究, 2004. A. Vora, M. Nesterenko, "Secure Location Verification Using Radio Broadcast," In Proc. of OPODIS 2004: 8th International Conference on Principles of Distributed Systems, 2004. B. R. Waters, E. W. Felten, "Secure, Private Proofs of Location," Princeton University Computer Science Technical Reports, TR-667-03, 2003. Y. Watanabe, S. Takeuchi, F. Teraoka, K. Uehara and J. Murai, "The Geographical Location Information System with Privacy Protection," IPSJ Journal, Vol.37, No.6, 1996. J. Anzai, T. Matsumoto, "Interaction Key Generation Schemes," IEICE TRANS. FUNDAMENTALS, Special Issue on Cryptography and Information Security, Vol., No., 2004.

しかし、上記従来の位置検証方法では、以下のような問題がある。各種の位置利用サービスLBSでは、それぞれのサービスの価値に応じた適切な安全性を有する測位技術が利用される。ある測位技術により取得された位置情報は、ある検証者には検証できない可能性がある。その場合、その位置情報を取得したオブジェクトは、検証者に対して位置を証明することが困難である。すなわち、特定の測位技術に対応した位置情報しか利用できない位置検証手段を備えた位置利用サービスシステムでは、モバイルノードが受けることができる位置利用サービスLBSが限定されてしまう。

本発明の目的は、上記従来の問題を解決して、位置利用サービスシステムなどにおいて、ある測位技術により得られたモバイルノードの位置情報を、すべての検証者が検証できるようにすることである。

上記の課題を解決するために、本発明では、オブジェクトＯと位置情報提供手段Ｓと位置証明機関LCAと位置検証手段Ｖからなり、得られた位置情報を位置検証手段Ｖが検証できるようにする位置証明システムの位置情報提供手段Ｓに、オブジェクトＯの位置に関する情報を含む一次位置トークンLTをオブジェクトＯに提供する手段を備え、位置証明機関LCAに、一次位置トークンLTを他の形態の二次位置トークンLT'に変換する手段を備え、位置検証手段Ｖに、二次位置トークンLT'を検証する手段を備えた構成とした。

すなわち、一次位置トークンの検証を行い、一次位置トークンの種別ごとの差異を吸収して、任意の検証者が検証できる二次位置トークンに変換する位置証明機関（LCA：Location Certificate Authority）を、位置証明システムに設けることにより、様々な測位方式から得られた一時位置トークンを広範囲に利用できる位置証明基盤LoCI（Location Certificate Infrastructure）を構成する。

上記のように構成したことにより、任意の位置検証者が、異なる測位方式により生成された位置情報を検証できるので、モバイルノードは、任意の位置検証者に対して、自身が存在した位置を高い確率で証明できる。すなわち、様々な測位方式により得られた位置情報を広く利用できるので、モバイルノードは、種々の位置利用サービスをどこでも受けることができる。

以下、本発明を実施するための最良の形態について、図１〜図３を参照しながら詳細に説明する。

本発明の実施例は、提供者Ｓが、オブジェクトＯの位置を証明する一次位置トークンLTをオブジェクトＯに提供し、オブジェクトＯが、位置証明機関LCAに一次位置トークンLTの変換を依頼し、位置証明機関LCAが、一次位置トークンLTを検証した上で、検証者Ｖが検証可能な形態の二次位置トークンLT'に変換してオブジェクトＯに渡し、オブジェクトＯが、二次位置トークンLT'を検証者Ｖに渡し、検証者Ｖが二次位置トークンLT'を検証する位置証明システムである。

図１は、本発明の実施例における位置証明システムの概念図である。図１において、位置証明機関LCAは、一次位置トークンを、検証者が検証可能な形態の二次位置トークンへ変換するエンティティである。位置証明手段ともいう。検証者Ｖは、二次位置トークンを検証するエンティティであり、携帯電話やパソコンなどである。位置検証手段ともいう。オブジェクトＯは、測位対象となる物理的なオブジェクトであり、携帯電話やノートパソコンのような移動体端末である。提供者Ｓは、位置情報を提供するエンティティである。位置情報提供手段ともいう。

図２は、本発明の実施例における位置証明システムの位置証明機関LCAの概念図である。図２において、位置証明機関LCAは、一次位置トークンを、検証者Ｖが検証可能な形態の二次位置トークンへ変換するエンティティである。検証者Ｖは、二次位置トークンを検証するエンティティである。オブジェクトＯは、測位対象となる物理的なオブジェクトである。提供者Ｓは、位置情報を提供するエンティティである。検証手段１は、二次位置トークンを検証する手段である。記憶手段２は、変換に必要な情報を格納しておくメモリである。変換手段３は、一次位置トークンを指定された形態の二次位置トークンに変換する手段である。検索手段４は、データベースから識別情報などを検索する手段である。通信手段５は、検証者ＶやオブジェクトＯや位置情報提供手段Ｓやデータベースなどと通信する手段である。IDデータベース６は、オブジェクトＯの識別情報などを格納したデータベースである。

図３は、本発明の実施例における位置証明システムの機能を、分類して一覧にして示した表である。位置証明機関LCAの機能と、提供者Ｓの機能と、通信機能と、履歴の種別と、刻印の種別と、履歴や刻印の流通と、匿名性の種別と、匿位置性の種別を示してある。

上記のように構成された本発明の実施例における位置証明システムの機能と動作を説明する。最初に、位置証明システムを構成するエンティティについて説明する。
（１）オブジェクト（Object）は、測位対象となる物理的なオブジェクトである。一般に、携帯電話やノートパソコンのような移動体端末である。“Ｏ”と記載する場合がある。
（２）検証者（Verifier、位置検証手段ともいう）は、位置トークンを検証するエンティティである。一般に、携帯電話やパソコンを想定するが、移動体である必要はない。“Ｖ”と記載する場合がある。
（３）位置証明機関（Location Certificate Authority）は、位置トークンを検証者が検証可能な形態へ変換するエンティティであり、全てのエンティティが信頼する。“LCA”と記載する場合がある。オブジェクトＯは、高い確率で位置証明機関LCAを利用できる。
（４）提供者（Server、位置情報提供手段ともいう）：オブジェクトＯを測位し、対応する位置トークンを提供するエンティティである。“Ｓ”と記載する場合がある。以下に、想定する提供者Ｓの種類を示す。

（3-1）ステーションは、携帯電話やPHSの基地局、又は公衆無線LANのアクセスポイントのような、特定の位置に固定され、比較的高い計算能力を有する装置である。単体で信頼できる。
（3-2）モバイルは、ノートパソコンやPDAや携帯電話のような移動体であり、中程度の計算能力を有する装置である。単体では必ずしも信頼できない。これをプライベイトモバイルと呼ぶ。電車やバスのような公共機関の場合には、ステーションに準じて信頼できるものと見なす。これをパブリックモバイルと呼ぶ。
（3-3）センサ、リーダライタは、センサネットワークにおけるセンサノードや、RFIDにおけるアクティブ型ICタグのような、特定の位置に配置され、低い計算能力を有し、能動的な動作が可能な装置である。単体では信頼できない。また、オブジェクトＯが身に付ける場合は、オブジェクトＯと共に移動し、特定の位置に配置されたリーダライタにより位置トークンを書き込まれる。
（3-4）タグ、リーダライタは、RFIDのパッシブ型ICタグのような、特定の位置に配置され、計算能力はほとんど無く、受動的な動作を行う装置である。単体では信頼できない。オブジェクトＯが身に付ける場合は、センサと同様である。
（3-5）ポイントは、オブジェクトＯが、自身の位置を算出する場合に利用する装置である。GPS衛星や携帯電話／PHSの基地局を想定する。ポイント自体は信頼できるが、オブジェクトＯが算出した位置情報は信頼できないものとする。

次に、位置トークン（LT：Location Token）の種類と定義を説明する。位置トークンは、一次位置トークンLTと二次位置トークンLT'に分けられる。一次位置トークンLTは、測位機能により得られた位置情報をディジタル化したデータである。一方、二次位置トークンLT'は、一次位置トークンLTを位置証明機関LCAが加工したデータである。一次位置トークンLTとして、以下の種類を定義する。
（１）位置スタンプ（Location Stamp）は、オブジェクトＯの位置情報Ｌ、測位した時刻Ｔ、発行先であるオブジェクトＯの識別情報、発行元である提供者Ｓの識別情報及びデータＤのハッシュ値（以降、ハッシュと記載した場合は、安全なハッシュアルゴリズムを使用するものとする）に対して、提供者Ｓがディジタル署名（以降、署名と記載した場合は、安全なディジタル署名関数Sigを使用するとする）したメッセージである。データＤは、測位時に、提供者ＳがオブジェクトＯから取得したデータであり、タイムスタンプ（非特許文献７参照）に位置情報を追加したものといえる。提供者Ｓとしては、ステーションを想定する。“LS”と記載する場合がある。

（２）位置証明書（Location Certificate）は、オブジェクトＯの位置情報Ｌ、測位した時刻Ｔ、発行先であるオブジェクトＯの識別情報、発行元である提供者Ｓの識別情報に対して、信頼できる提供者Ｓ又は位置証明機関LCAがディジタル署名したメッセージである。公開鍵証明書に位置情報を追加したものといえる。提供者Ｓとしては、ステーションを想定する。“LC”と記載する場合がある。
（３）仮位置証明書（Provisional Location Certificate）は、必ずしも信頼できない提供者Ｓが発行した位置証明書である。提供者Ｓとしては、モバイルを想定する。“PLC”と記載する場合がある。

（４）位置証拠（Location Evidence）は、オブジェクトＯが提供者Ｓから取得した位置に関する情報であり、MAC（Message Authentication Code, 以降MACと記載する場合は、安全なMAC関数を使用するとする）が付加されている。提供者Ｓとしては、センサを想定しており、位置証拠は識別情報または位置情報である。“LE”と記載する場合がある。
（５）仮位置証拠（Provisional Location Evidence）は、オブジェクトＯが提供者Ｓから取得した位置に関連する情報である。提供者Ｓとしては、タグを想定しており、仮位置証拠は識別情報となる。“PLE”と記載する場合がある。

（６）位置リファレンス（Location Reference）は、オブジェクトＯが提供者Ｓを利用して計算した位置情報である。提供者ＳとしてGPSを想定する。“LR”と記載する場合がある。

次に、位置トークンの処理の定義を説明する。
（１）生成（Generation）は、測位の結果得られた位置情報を入力とし、一次位置トークンLTを出力することである。提供者Ｓが実行できる。
（２）検証（Verification）は、一次位置トークンLTを入力とし、位置情報、検証結果及びその信頼度を出力することである。検証者Ｖ及び位置証明機関LCAが実行できる。ただし、位置証明機関LCAは、位置証明基盤LoCIが想定する全ての検証方式を利用可能であり、検証者Ｖは、利用できない方式も存在する可能性があるものとする。
（３）変換（Transformation）は、単数または複数の検証出力を入力とし、１つの二次位置トークンLT'を出力することである。二次位置トークンLT'には、一次位置トークンLTが含まれる。位置証明機関LCAが実行できる。

次に、測位方式について説明する。オブジェクトＯの位置を計測又は位置に関する情報を取得する方式を測位方式と呼び、以下を想定する。
（１）申告型は、オブジェクトＯが検証者Ｖに、自身の位置を自己申告するものであり、オブジェクトＯの測位を補佐するシステム（GPS等）が存在する場合が多い。検証者Ｖは、オブジェクトＯの自己申告により、オブジェクトＯの位置を検証するため、非リアルタイム検証である。一次位置トークンLTとして、位置リファレンスLRを想定する。

（２）直接型は、オブジェクトＯの位置を検証者Ｖが直接検証する方式である。通信遅延を利用した方式のように、オブジェクトＯと検証者Ｖの対話により検証する対話式と、レーダーを利用した方式のように、検証者Ｖが一方的にオブジェクトＯを検証する一方向式に分類できる。また、検証者Ｖが単数又は複数の場合がある。検証者Ｖは、直接、オブジェクトＯを測位するため、リアルタイム検証である。一次位置トークンLTとして、位置証明書LC、仮位置証明書PLCを想定する。

（３）推測型は、検証者ＶがオブジェクトＯの位置を、証拠から推測する方式である。検証時に、提供者Ｓと検証者Ｖが対話することも想定する。主にRFIDを利用した方式を想定する。証拠（つまり識別情報）から位置を推測するため、非リアルタイム検証である。一次位置トークンLTとして、位置証拠LE、仮位置証拠PLEを想定する。

次に、位置証明基盤LoCIに対する攻撃及び攻撃者の定義を説明する。攻撃者は、オブジェクトＯ又は第三者である。攻撃のために第三者とオブジェクトＯは結託する可能性がある。検証者Ｖ及び位置証明機関LCAは耐タンパ性を有する。測位時に、オブジェクトＯ又は提供者Ｓが複数想定される場合は、少なくとも１個のオブジェクトＯ及び１個の提供者Ｓは不正を働かない。攻撃の目的は、検証者Ｖに偽の位置トークンLTを受理させることである。攻撃者は、提供者Ｓ、位置証明機関LCAに対する直接及び間接解析による秘密情報の取得、Ｏ-Ｓ間、Ｏ-LCA間、Ｏ-Ｖ間のメッセージ盗聴／改ざん／偽造を行う。

次に、位置証明システム（位置証明基盤LoCI）が満たすべき要件について説明する。
（１）検証性(Verifiability)は、任意の提供者が生成した一次位置トークンLTから位置証明機関LCAが生成した二次位置トークンLT'が、任意の検証者により高い確率で検証できることである。
（２）追跡性(Traceability)は、検証者Ｖが、一次位置トークンLT及びその安全性を、二次位置トークンLT'から確認できることである。
（３）プライバシ(Privacy)は、オブジェクトＯの許可したエンティティのみに、オブジェクトＯの位置／時刻情報又は識別情報が明かされることである。

次に、図１を参照しながら、基本的な動作の流れについて説明する。
Step１：提供者Ｓは、オブジェクトＯからの位置トークンリクエストに応じて、オブジェクトＯの位置を計測し、一次位置トークンLTを生成して、オブジェクトＯへ送信する。
Step２：オブジェクトＯは、位置証明機関LCAへ、一次位置トークンLT及び希望する一次位置トークンLTの変換方法TI（Transforming Information）からなるリクエストメッセージRM（Request Message）を送信する。
Step３：位置証明機関LCAは、リクエストメッセージRMに含まれる一次位置トークンLTを検証する。検証方法の詳細は後に示す。
Step４：位置証明機関LCAは、Step３の検証結果及びリクエストメッセージRMに含まれる変換方法TIに従って、一次位置トークンLTを二次位置トークンLT'に変換する。変換方法の詳細は後に示す。
Step５：位置証明機関LCAは、二次位置トークンLT'をオブジェクトＯへ送信する。
Step６：オブジェクトＯは、検証者Ｖに二次位置トークンLT'を送信する。
Step７：検証者Ｖは、二次位置トークンLT'を検証し、検証結果が正しく、その信頼度が検証者Ｖの定めるしきい値を超える場合、二次位置トークンLT'に含まれる位置情報を受理する。

次に、図２を参照しながら、位置証明機関LCAの動作の概略を説明する。オブジェクトＯから、位置トークンLTと変換方法TIからなるリクエストメッセージRMを、通信手段５により受信する。検証手段１により、位置トークンLTを検証する。記憶手段２には、変換に必要な情報を格納しておく。IDデータベース６に通信手段５を介してアクセスして、検索手段４でオブジェクトＯの識別情報などを検索する。変換手段３で、位置トークンLTを、指定された形態に変換する。変換した位置トークンLT'を、通信手段５を介してオブジェクトＯに送信する。必要に応じて、通信手段５を介して、検証者Ｖや位置情報提供手段Ｓと通信する。

次に、位置証明機関LCAによる位置トークンLTの５つの検証法を説明する。なお、検証のアルゴリズムは公開されるものとする。
（１）署名検証法は、位置証明機関LCAが、位置スタンプLS、位置証明書LSまたは仮位置証明書PLCを検証する方法である。手順は、通常の公開鍵システムPKI（Public Key Infrastructure）を前提としたディジタル署名の検証手続きと同様である。検証結果、位置情報及び署名者の信頼度を出力する。なお、署名者の信頼度の評価は、包括検証において説明する。
（２）MAC検証法は、位置証明機関LCAが、位置証拠LEを検証する方法である。通常のMACの検証手続きと同様である。なお、位置証明機関LCAと提供者Ｓが共通鍵を共有していると仮定する。検証結果及びMAC生成者の信頼度を出力する。MAC生成者の信頼度の評価は、包括検証において説明する。

（３）ID検証法は、位置証明機関LCAが、位置証拠LE（識別情報の場合）・仮位置証拠PLEを検証する方法である。位置証明機関LCAが、IDデータベース６に、識別情報に関連付けされた位置情報を問合せる。ID検証法の手順は、以下のとおりである。
Step１：位置証明機関LCAは、一次位置トークンLTに含まれる識別情報をクエリとして、IDデータベース６に送信する。
Step２：IDデータベース６は、識別情報リストから一致する識別情報を検索する。
Step３：IDデータベース６は、識別情報に関連付けられた位置情報（ICタグの埋め込まれた物理的な位置など）を、アンサーとして位置証明機関LCAへ送信する。
Step４：位置証明機関LCAは、位置情報及び識別情報の信頼度を出力する。

ICタグの出力が固定値の場合、識別情報を一度取得すれば、再度その位置に行く必要がない。そのため、識別情報は、時間や取得回数等に依存して毎回変化し、かつその値が提供者Ｓと位置証明機関LCA以外には予想困難であることが望ましい。これを実現するために、ICタグとIDデータベース６で共有する共通鍵をシードとして安全な擬似乱数生成器PRGを利用して、ワンタイム識別情報を生成してもよい。また、位置証明機関LCAがIDデータベース６を兼ねても構わない。

（４）包括検証法は、比較的信頼度の低い複数の一次位置トークンLT（仮位置証明書PLC、位置証拠LE、仮位置証拠PLE、位置リファレンスLR）を総体として検証する方法である。次の３つの観点（ドメインの信頼性、位置の信頼性、時刻の信頼性）で、一次位置トークンLTの総信頼度を評価する。いずれもドメイン別に重み付けを行う。

（4-1）ドメインの信頼性は、検証に成功した署名又はMACの総信頼度（検証に失敗した署名またはMACは無視する）と、一次位置トークンLTの提供元のドメインの信頼度と、一次位置トークンLTの時刻情報提供元のドメインの信頼度とに基づいて判断する。
（4-2）位置の信頼性は、分散（一次位置トークンLTが含む位置が、想定する範囲に収まる場合、一次位置トークンLTが一定エリア内で発行され、信頼度が高いと判断する）と、連続性（位置と時刻から経路を検証し、想定と異なる経路の場合、信頼度が低いと判断する）と、差（一次位置トークンLTが含む位置と、それらを提供した提供者Ｓの位置証明機関LCAが想定する位置の差（差が大きいほど不正の可能性が高く、信頼度が低いと判断する））とに基づいて判断する。
（4-3）時刻の信頼性は、分散（一次位置トークンLTが含む時刻が、想定する範囲に収まる場合、一次位置トークンLTが一定時間内に発行され、信頼度が高いと判断する）と、同時性（同時刻に取得した複数の一次位置トークンLTの位置が等しい場合、信頼度が高いと判断する）とに基づいて判断する。

ドメインは、署名者の証明書の発行者が属するカテゴリである。MACにも適用する。非特許文献11の例では、trusted domain｛operator, manufacture, trusted third party｝とuntrusted domainが存在し、それぞれ異なる権限、つまり信頼度を与える。一次位置トークンLTに含まれる位置／時刻情報ソースのドメインは、提供者Ｓであり、例えば、ステーション、モバイル、センサ、タグ、ポイントの順に信頼性が低くなるように重み付けをする。また、モバイルでは、パブリックとプライベイトで重み付けを変え、パブリックの方を信頼性が高いものとする。

位置証明機関LCAは、ドメイン・位置・時刻の信頼度から、複数の一次位置トークンLTの総信頼度を算出し、予め定めたしきい値を総信頼度が超えている場合に、検証に成功したとし、（個別及び総合）検証結果、総信頼度を出力する。

（５）経路検証法は、複数の位置トークンLTから、オブジェクトＯの移動経路を検証する方法である。非特許文献17に紹介されているリンク型タイムスタンプに類似の以下に示す手法を用いて、一次位置トークンLT及び提供者Ｓに対する攻撃耐性の向上を図る。

（5-1）経路リンク方式とは、提供者Ｓ_iが、提供者Ｓ_j（ｉ≠ｊ）が生成した一次位置トークンLT_jを、オブジェクトＯから取得し、位置トークンLT_jに依存して新しい位置トークンLT_iを生成する方式である。例えば、LT生成関数をGen(提供者Ｓの秘密鍵Ｐ、位置情報Ｌ_i)とし、「‖」を連接記号としたとき、
LT_i＝Gen(Ｐ_i,Ｌ_i‖Ｈ(LT_j))
とすることで実現できる。

（5-2）時刻リンク方式とは、提供者Ｓ_iが、自身が前回生成した一次位置トークンLT_{i_1}に依存して新しい位置トークンLT_{i_2}を生成する方式である。提供者Ｓは、自身が生成した全ての一次位置トークンを履歴として保持する。例えば、
LT_{i_2}＝Gen(Ｐ_i,Ｌ_i‖Ｈ(LT_{i_1}))
とすることで実現できる。

（5-3）経路・時刻リンク方式とは、提供者Ｓ_iが、オブジェクトＯから取得した、提供者Ｓ_j（ｉ≠ｊ）が生成した位置トークンLT_j、及び自身が前回生成した一次位置トークンLT_{i_3}に依存して新しい一次位置トークンLT_{i_4}を生成する方式である。提供者Ｓは、自身が生成した全ての一次位置トークンを履歴として保持する。例えば、
LT_{i_4}＝Gen(Ｐ_i,Ｌ_i‖Ｈ(LT_j‖LT_{i_3}))
とすることで実現できる。

位置証明機関LCAは、上記リンクによる一次位置トークンLTを、次の手順により検証し、検証結果及び総信頼度を出力する。
Step１：包括検証と同様に、複数の一次位置トークンLTを検証する。
Step２：次のように、複数の一次位置トークンLTのリンクを検証する。
（5-1-1）経路リンクの検証においては、経路リンクが各提供者Ｓの位置と矛盾していないことを確認し、矛盾する場合は、信頼度が低いと判断する。例えば、ある経路上に順に提供者Ｓ₁,Ｓ₂,Ｓ₃,Ｓ₄が存在する場合、Ｓ₃-Ｓ₁-Ｓ₄-Ｓ₂のような実際と異なる順序に一次位置トークンLTがリンクされていないことを確認する。
（5-2-1）時刻リンクの検証においては、時刻リンクが各提供者Ｓの履歴と矛盾しないことを確認し、矛盾する場合は、信頼度が低いと判断する。
（5-3-1）経路・時刻リンクの検証においては、経路リンク及び時刻リンクの検証を両方とも行う。
Step３：Ｓ_i‐Ｓ_j間距離から予想されるオブジェクトＯの移動時間と、位置トークンLT_i及びLT_jから算出された移動時間の差が、許容範囲以内であるかを確認し、範囲外の場合は信頼度が低いと判断する（Step３は、Ｓ_i‐Ｓ_j間経路を考慮しない場合は不要）。
Step４：Step１‐３の総信頼度が、予め定めたしきい値を超えている場合に、検証が成功したとする。

次に、位置トークンの変換について説明する。位置証明機関LCAによる一次位置トークンLTの二次位置トークンLT'への変換法を以下に示す。二次位置トークンLT'は少なくとも一次位置トークンLTを含むものとする。
（１）リポートへの変換においては、検証の出力に対してディジタル署名又はMACの付加を行い、リポートとして出力する。検証者Ｖが位置証明機関LCAの公開鍵を既に知っているか、共通鍵を共有していると想定し、検証者Ｖは署名又はMACを検証することでオブジェクトＯの位置を検証できる。なお、検証の出力は、検証結果、一次位置トークンLT及び信頼度を含む。ゆえに、検証者Ｖは、リポートから一次位置トークンLTの安全性を評価できる。
（２）位置証明書への変換においては、検証の出力に対して位置証明書LCを生成する。検証者Ｖが位置証明機関LCAの公開鍵を既に知っていると想定し、検証者Ｖは位置証明書LCを検証することでオブジェクトＯの位置を検証できる。なお、位置証明書LCは一次位置トークンLT、検証結果及び信頼度を含む。
（３）位置証明書チェーンへの変換においては、位置証明書LC・仮位置証明書PLCを検証するために必要な中間CA証明書群を、位置証明書LC・仮位置証明書PLCと合わせて位置証明書チェーンとして出力する。検証者ＶがRoot証明書を既に知っていれば、チェーンを検証することで、オブジェクトＯの位置を検証できる。

次に、位置証明システムの拡張方法について説明する。
（１）履歴・刻印を記録する。すなわち、位置証明機関LCA、提供者Ｓ、検証者Ｖ、オブジェクトＯは、個々の処理の履歴を保存する。また、オブジェクトＯは、一次位置トークンLTの発行を受ける際、位置証明機関LCA、提供者Ｓ、検証者Ｖに対して刻印（自身の識別情報等）を送信し、位置証明機関LCA、提供者Ｓ、検証者Ｖはそれを記録する。もし、正当な要求があった場合、（可能ならば）署名又はMACを履歴又は刻印に付加し、履歴又は刻印を開示する。これにより、検証精度の向上及び紛争時の調停を可能とする。

（２）履歴・刻印を流通させる。すなわち、履歴・刻印を、位置証明機関LCA、提供者Ｓ、オブジェクトＯ、検証者Ｖのエンティティ間で流通させることにより、履歴・刻印の信頼性を高める。具体的には、一定時間または処理ごとに履歴・刻印を、他のエンティティに送信し、他のエンティティはそれを履歴として記録する。オブジェクトＯのように移動する場合は、他のネットワークへ移動する際に送信してもよい。また、履歴・刻印を保存する専用のエンティティとして、履歴・刻印データベースHSDBを設け、全てのエンティティの履歴・刻印を、履歴・刻印データベースHSDBに集めてもよい。履歴・刻印データベースHSDBは、履歴・刻印を安全に管理可能とする。

（４）通信機能を拡張する。オブジェクトＯと、検証者Ｖ、位置検証機関LCA、提供者Ｓのそれぞれとの通信のみを想定しているが、それ以外の場合の通信路の利用について説明する。図１の点線部に、各通信路を図示する。なお、これらの通信路は安全であるとする。
（4-1）Ｖ‐Ｓ間通信路を設ける。検証者Ｖは、一次位置トークンLT、又は一次位置トークンLTの検証に必要な履歴・刻印を取得するため、提供者Ｓと通信とする。
（4-2）Ｖ‐LCA間通信路を設ける。検証者Ｖは、一次位置トークンLTの変換や検証を位置証明機関LCAに直接依頼するため、位置証明機関LCAと通信とする。
（4-3）LCA‐Ｓ間通信路を設ける。位置証明機関LCAは、一次位置トークンLT又は一次位置トークンLTの検証に必要な履歴・刻印を取得するため、提供者Ｓと通信とする。
（4-4）Ｓ‐Ｓ間通信路を設ける。複数の提供者Ｓが通信して位置情報を共有することで、検証精度の向上や、検証範囲の拡張が可能な測位方式があるため、提供者Ｓ間通信を想定する。
（4-5）LCA‐LCA間通信路を設ける。位置証明機関LCAは、一次位置トークンLTの検証又は変換に必要な公開鍵証明書等の情報を、他の位置証明機関LCAから取得するため、他の位置証明機関LCAと通信する。

（５）匿名性を選択可能とする。オブジェクトＯの提供者Ｓ、検証者Ｖ又は位置証明機関LCAに対する匿名性を実現する方法を示す。ただし、提供者Ｓ、検証者Ｖ及び位置証明機関LCAの結託と、提供者Ｓ、検証者Ｖ及び位置証明機関LCAによるオブジェクトＯを特定する情報の漏洩は想定しない。

（5-1）提供者Ｓに対する匿名性を確保する。提供者ＳがオブジェクトＯを測位する際に、一般の測位方式では、相手認証を行うことはない。ただし、仮位置証明書PLCや位置証明書LCのように、一次位置トークンLTが証明書の場合などは、仮位置証明書PLCや位置証明書LCに発行先の識別情報を含ませるために、相手認証を行う。したがって、提供者Ｓに対してオブジェクトＯの匿名性を得るためには、仮位置証明書PLCや位置証明書LCの場合も相手認証を行わない。ただし、通信遅延を利用した方式のなかには相手認証を前提とする方式（非特許文献４、５参照）もあるため、代わりに、匿名での相手認証が可能な方式（非特許文献２、19参照）をオブジェクトＯは利用する。
（5-2）検証者Ｖに対する匿名性を確保する。オブジェクトＯが変換方法TIで指定した場合、位置証明機関LCAは検証者Ｖに提供する二次位置トークンLTにオブジェクトＯの識別情報を含めない。
（5-3）位置証明機関LCAに対する匿名性を確保する。オブジェクトＯが位置証明機関LCAへ二次位置トークンLTへの変換を依頼する際に提供するリクエストメッセージにオブジェクトＯの識別情報を含めない。また、オブジェクトＯは提供者Ｓから取得する一次位置トークンLTにオブジェクトＯの識別情報を含めないという命令を、提供者ＳへのLTリクエストに含め、提供者Ｓはこの命令に従うものとする。

（６）匿位置性を選択可能とする。匿位置性は、「オブジェクトＯ_jとオブジェクトＯ_iがある時刻にある距離以内に近づいていたことのみが証明可能となり、どの位置に存在したのかを第三者は特定できない」（非特許文献３）と定義される（限定匿位置性と呼ぶ）。「検証者Ｖに対してオブジェクトＯの位置を秘匿し、位置証明機関LCAが正しい位置にオブジェクトＯが存在したことのみを検証者Ｖに保証する」ことも匿位置性として定義する（一般匿位置性と呼ぶ）。これらの匿位置性は、いずれも提供者Ｓ又は位置証明機関LCAが位置トークンLTに提供者Ｓ及びオブジェクトＯの位置に関する情報を含めないことで実現できる。ただし、限定匿位置性の場合、複数オブジェクトＯ間の相対位置に関する情報は含める。同様に測位時の時刻を秘匿することも可能である。

（７）複数オブジェクトの位置証明を可能とする。提供者Ｓは複数オブジェクトＯの測位した結果を含む位置トークンLTを提供可能である。位置証明書LC又は仮位置証明書PLCの場合は、発行先として複数のオブジェクトＯの識別情報を記載すればよい。複数のオブジェクトＯの位置を検証するには、測位方式を、それぞれのオブジェクトＯに対して使用する他、複数のオブジェクトＯの位置を同時に検証可能な技術（非特許文献３参照）を利用する。また、RFIDにおいて、リーダは、複数のタグの識別情報を同時に読み込めるため、それらの識別情報を発行先に含めた位置証明書LC又は仮位置証明書PLCを発行することも可能である。

（８）検索機能を付加する。位置証明機関LCAは、提供者Ｓの位置情報リストを用意し、オブジェクトＯが要求する位置に存在する提供者Ｓの情報を提供する。RFIDの場合は、位置証明機関LCAは、RFIDの識別情報データベースIDBに接続可能であるため、この想定は自然である。同様に、検証者Ｖに対して、検証者Ｖが要求するオブジェクトＯの位置トークンLTを提供する。ここで、オブジェクトＯから受けた位置トークンLTを保存する必要がある。

（９）位置公開鍵証明書を発行する。提供者Ｓ又は位置証明機関LCAが仮位置証明書PLC又は位置証明書LCを発行する場合、公開鍵証明書と同様に公開鍵を含ませることができる。公開鍵として、
（9-1）位置証明機関LCA又は提供者ＳがオブジェクトＯの相手認証に用いたオブジェクトＯの公開鍵
（9-2）位置証明機関LCA又は提供者ＳがオブジェクトＯに対して生成した公開鍵
（9-3）位置証明機関LCA又は提供者ＳとオブジェクトＯが協力して生成した公開鍵
（9-4）オブジェクトＯが生成した公開鍵
を想定する。オブジェクトＯが複数の場合はグループ公開鍵となる。グループの場合、対話鍵（非特許文献21）を用いることで、位置証明機関LCA又は提供者Ｓはグループ公開鍵がその時に生成されたことを確認できるため、仮位置証明書PLC又は位置証明書LCは生成された位置と時刻を証明できる。

図３に、拡張機能を含めて、位置証明システムの機能を分類して一覧表にして示す。位置証明機関LCAの機能には、位置トークンLTの変換機能と、位置トークンLTの検証機能と、オブジェクトＯの検索機能と、提供者Ｓの検索機能がある。提供者Ｓの機能には、位置スタンプ発行機能と、位置証明書発行機能と、位置証拠発行機能と、提供者Ｓ間の連携機能がある。通信には、検証者Ｖと位置証明機関LCAとの間の通信と、位置証明機関LCAと提供者Ｓとの間の通信と、提供者Ｓと検証者Ｖとの間の通信がある。履歴には、提供者Ｓの作業履歴と、位置証明機関LCAの作業履歴と、検証者Ｖの作業履歴と、オブジェクトＯの作業履歴がある。刻印には、オブジェクトＯの識別情報を提供者Ｓが記録するものと、オブジェクトＯの識別情報を検証者Ｖが記録するものと、オブジェクトＯの識別情報を位置証明機関LCAが記録するものがある。履歴や刻印の流通には、提供者Ｓと、位置証明機関LCAと、検証者Ｖと、オブジェクトＯが関係する。匿名性には、提供者Ｓに対してオブジェクトＯの識別情報を秘匿することと、位置証明機関LCAに対してオブジェクトＯの識別情報を秘匿することと、検証者Ｖに対してオブジェクトＯの識別情報を秘匿することがある。匿位置性には、検証者Ｖに対してオブジェクトＯの位置を秘匿することがある。

次に、位置証明システムが、３つの要件を満たしていることを示す。
（１）検証性
位置証明システムは、既存の測位方式を３種類に分類し、それらに６種類の一次位置トークンLTをマッピングし、かつ全ての位置トークンLTについて検証法と変換法を定義することにより、位置証明機関LCAが既存の複数の測位方式に対応する。また、オブジェクトＯは高い確率で位置証明機関LCAを利用できるため、検証者Ｖは自身が検証方法を知らない一次位置トークンLTを、位置証明機関LCAが変換した二次位置トークンLTにより検証できる。以上により、位置証明システムは検証性の要件を満たす。

（２）追跡性
一次位置トークンLTの流通と、位置証明機関LCAにおける一次位置トークンLTの検証及び二次位置トークンLTへの変換の観点から追跡性を考察する。これらの考察の結果より、位置証明システムは追跡性を満たす。

（2-1）位置トークンの流通
一次位置トークンLTは大きく分けて、仮位置証拠PLE、位置リファレンスLRの組と、ディジタル署名又はMACが付加された位置証明書LC、仮位置証明書PLC及び位置証拠LEの組が存在する。位置証明書LC、仮位置証明書PLC及び位置証拠LEの流通時の改ざん／偽造や間接解析に対する安全性は、ディジタル署名方式又はMAC方式に帰着する。一方、仮位置証明書PLE及び位置リファレンスLRは、偽造及び改ざんが原理的に可能なため、位置証明機関LCAは、
（2-1-1）位置トークンLTの検証・変換時に、位置証明書LC、仮位置証明書PLC及び位置証拠LEに比較して二次位置トークンLTに含める信頼度を下げる。
（2-1-2）複数の一次位置トークンLTを総体として評価する。
ことにより検証者Ｖが一次位置トークンLTの安全性を評価可能とする。なお、仮位置証拠PLEは、タグの識別情報が時間や取得回数により変化し、かつその値が安全な擬似乱数発生器PRGにより生成される場合、攻撃者により識別情報が予想困難なため、偽造及び改ざんを検出することが可能である。

（2-2）位置トークンの検証及び変換
検証者Ｖは位置証明機関LCAを信頼し、二次位置トークンLTに含まれる検証結果、信頼度も信頼するため、位置トークンLTの検証・変換時の安全性は、検証・変換法の安全性に帰着する。また、追跡性を確保するため、二次位置トークンLTは一次位置トークンLTを含む。署名検証法及びMAC検証法の安全性は、使用する署名方式とMAC方式の安全性に帰着する。識別情報検証法の安全性は、タグが出力する識別情報の変更法の安全性に帰着する。包括検証は、検証結果に加えて信頼度を提示し、かつ検証アルゴリズムを公開するため、検証者Ｖは一次位置トークンLTの安全性を総合的に検証できる。経路検証は、リンク型タイムスタンプのリンキングプロトコルと類似の手法を採用しているため、安全性はタイムスタンプ方式と等しい。ただし、特定の移動先において位置トークンLTを取得せずに経路を改ざんするようなタイムスタンプに存在しない攻撃を防止する場合は、Step３に示した移動時間を利用した検出手法を用いる。リポートへの変換及び位置証明書への変換は、検証結果に加えて信頼度を提示するため、検証者Ｖは一次位置トークンLTの安全性を検証できる。証明書チェーンの変換の安全性はPKIと等しい。識別情報の公開鍵への変換の安全性は、ディジタル署名方式と識別情報の生成方法の安全性に等しい。提供者Ｓ、位置証明機関LCAは耐タンパ性を有するため、直接解析による秘密情報の漏洩は困難である。

（３）プライバシ
提供者Ｓ、検証者Ｖ及び位置証明機関LCAの結託と、提供者Ｓ、検証者Ｖ及び位置証明機関LCAによるオブジェクトＯを特定する情報の漏洩を想定しない場合、オブジェクトＯは、自身の選択により位置証明機関LCA、提供者Ｓ又は検証者Ｖに対して匿名性、匿位置性を得られるため、位置証明システムはプライバシの要件を満たす．

上記のように、本発明の実施例では、位置証明システムを、提供者Ｓが、オブジェクトＯの位置を証明する一次位置トークンLTをオブジェクトＯに提供し、オブジェクトＯが、位置証明機関LCAに一次位置トークンLTの変換を依頼し、位置証明機関LCAが、一次位置トークンLTを検証した上で、検証者Ｖが検証可能な形態の二次位置トークンLT'に変換してオブジェクトＯに渡し、オブジェクトＯが、二次位置トークンLT'を検証者Ｖに渡し、検証者Ｖが二次位置トークンLT'を検証する構成としたので、モバイルノードは、自己の位置を任意の検証者に証明できる。

本発明の位置証明システムは、物理的なオブジェクトの位置情報を利用したサービスを提供するための基盤システムとして最適である。

本発明の実施例における位置証明システムの概念図である。本発明の実施例における位置証明システムの位置証明機関の概念図である。本発明の実施例における位置証明システムの機能分類を示す表である。

符号の説明

LCA 位置証明機関（位置証明手段）
Ｖ検証者（位置検証手段）
Ｏオブジェクト
Ｓ提供者（位置情報提供手段）
１検証手段
２記憶手段
３変換手段
４検索手段
５通信手段
６ IDデータベース

Claims

オブジェクトＯと位置情報提供手段Ｓと位置証明機関LCAと位置検証手段Ｖからなり、前記位置情報提供手段Ｓによって得られた位置情報を前記位置検証手段Ｖが検証できるようにする位置証明システムであって、前記位置情報提供手段Ｓは、前記オブジェクトＯの位置に関する情報を含む一次位置トークンLTを前記オブジェクトＯに提供する手段を備え、前記位置証明機関LCAは、前記一次位置トークンLTを他の形態の二次位置トークンLT'に変換する手段を備え、前記位置検証手段Ｖは、前記二次位置トークンLT'を検証する手段を備えることを特徴とする位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTを検証するための署名検証手段とメッセージ検証手段とを備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTを検証するための識別情報検証手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、ドメインの信頼性と時刻の信頼性と位置の信頼性とに基づいて前記位置トークンLTを検証するための包括検証手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、位置情報のリンクに基づいて前記位置トークンLTを検証するための経路検証手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTをリポートへ変換する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTを位置証明書へ変換する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTを位置証明書チェーンへ変換する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記オブジェクトＯ又は前記位置情報提供手段Ｓを検索する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、位置スタンプと位置証明書と仮位置証明書と位置証拠と仮位置証拠のうちの少なくとも１つを発行する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、複数オブジェクトＯの位置に関する情報を含む位置トークンLTを発行する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖと前記オブジェクトＯはそれぞれ、個々の作業履歴を記録する手段と、正当な要求があった場合に前記作業履歴を開示する手段とを備えることを特徴とする請求項１記載の位置証明システム。
前記オブジェクトＯは、前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖとに対して自身の識別情報を送信する手段を備え、前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖはそれぞれ、前記識別情報を履歴と同様に扱って刻印として記録する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖと前記オブジェクトＯはそれぞれ、個々の作業履歴を記録する手段と、前記作業履歴を送受信する手段とを備えることを特徴とする請求項１記載の位置証明システム。
前記オブジェクトＯは、前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖとに対して自身の識別情報を送信する手段を備え、前記位置証明機関LCAと前記位置情報提供手段Ｓと前記位置検証手段Ｖはそれぞれ、前記識別情報を履歴と同様に扱って刻印として記録する手段と、前記刻印を送受信する手段とを備えることを特徴とする請求項１記載の位置証明システム。
前記作業履歴を保存する専用のエンティティとして履歴データベースを設け、全てのエンティティの作業履歴を前記履歴データベースに集めることを特徴とする請求項１３記載の位置証明システム。
前記刻印を保存する専用のエンティティとして刻印データベースを設け、全てのエンティティの刻印を前記刻印データベースに集めることを特徴とする請求項１４記載の位置証明システム。
前記位置証明機関LCAは、他の位置証明手段と通信する手段と、前記位置情報提供手段Ｓと通信する手段と、前記位置検証手段Ｖと通信する手段とを備え、前記位置検証手段Ｖは、前記位置証明機関LCAと通信する手段と、前記位置情報提供手段Ｓと通信する手段とを備え、前記位置情報提供手段Ｓは、他の位置情報提供手段と通信する手段と、前記位置証明機関LCAと通信する手段と、前記位置検証手段Ｖと通信する手段とを備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、前記オブジェクトＯの識別情報を含まない位置トークンLTを前記オブジェクトＯに提供する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記オブジェクトＯの識別情報を含まない位置トークンLTを前記オブジェクトＯに提供する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記オブジェクトＯは、前記オブジェクトＯの識別情報を含まない位置トークンLTを前記位置証明機関LCAに渡して変換を依頼する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、前記オブジェクトＯの絶対的な位置に関する情報を含まず、前記位置情報提供手段Ｓとの相対的な位置関係情報を含む位置トークンLTを提供する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記オブジェクトＯの位置に関する情報を含まず、前記オブジェクトＯが正しい位置に存在したことを前記位置検証手段Ｖに保証する位置トークンLTを提供する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、前記位置トークンLTを、公開鍵を含む位置証明書へ変換する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、公開鍵を含む位置証明書を発行する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記位置情報提供手段Ｓは、時刻情報を含まない位置トークンLTを前記オブジェクトＯに提供する手段を備えることを特徴とする請求項１記載の位置証明システム。
前記二次位置トークンLT'は、信頼度と、前記一次位置トークンLTとを含むことを特徴とする請求項１記載の位置証明システム。
前記位置証明機関LCAは、複数の一次位置トークンLTから１つの二次位置トークンLT'を生成する手段を備えることを特徴とする請求項１記載の位置証明システム。
位置情報提供手段Ｓが、オブジェクトＯの位置に関する情報を含む一次位置トークンLTを生成して前記オブジェクトＯに送信し、前記オブジェクトＯが、前記一次位置トークンLTを位置証明機関LCAに送信して変換を依頼し、前記位置証明機関LCAが、前記一次位置トークンLTを他の形態の二次位置トークンLT'に変換して前記オブジェクトＯに送信し、前記オブジェクトＯが、前記二次位置トークンLT'を位置検証手段Ｖに送信し、前記位置検証手段Ｖが、前記二次位置トークンLT'を検証することを特徴とする位置証明方法。