ホーム > 特許ランキング > トヨタ自動車株式会社
知財求人 - 知財ポータルサイト「IP Force」
▶ トヨタ自動車株式会社の特許一覧 ▶ 株式会社Ｓｃａｌａｒの特許一覧
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024147286
(43)【公開日】2024-10-16
(54)【発明の名称】データ管理装置およびデータ管理方法
(51)【国際特許分類】
H04L 9/32 20060101AFI20241008BHJP
G06F 21/62 20130101ALI20241008BHJP
G06F 21/64 20130101ALI20241008BHJP
【ＦＩ】
H04L9/32 200Z
G06F21/62
G06F21/64
【審査請求】未請求
【請求項の数】11
【出願形態】ＯＬ
(21)【出願番号】P 2023060208
(22)【出願日】2023-04-03
(71)【出願人】
【識別番号】000003207
【氏名又は名称】トヨタ自動車株式会社
(71)【出願人】
【識別番号】519026250
【氏名又は名称】株式会社Ｓｃａｌａｒ
(74)【代理人】
【識別番号】110001195
【氏名又は名称】弁理士法人深見特許事務所
(72)【発明者】
【氏名】山室 直樹
(72)【発明者】
【氏名】松本 茂樹
(72)【発明者】
【氏名】中西 陽平
(72)【発明者】
【氏名】熊澤 良哉
(72)【発明者】
【氏名】深津 航
(57)【要約】
【課題】複数の台帳を含む分散型台帳が用いられる場合にデータの順序性を効率的に証明する。
【解決手段】クライアントサーバ３は、分散型台帳６が格納されたストレージ３６を備える。分散型台帳６は、ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーン６３Ｘ，６３Ｙ，６３Ｚと、確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーン６４とを含む。クライアントサーバ３は、さらに、タイムスタンプチェーンを更新する更新処理を繰り返し実行するプロセッサ３１を備える。更新処理は、更新処理の前回実行時から、ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定し、少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得する処理を含む。
【選択図】図２８
【解決手段】クライアントサーバ３は、分散型台帳６が格納されたストレージ３６を備える。分散型台帳６は、ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーン６３Ｘ，６３Ｙ，６３Ｚと、確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーン６４とを含む。クライアントサーバ３は、さらに、タイムスタンプチェーンを更新する更新処理を繰り返し実行するプロセッサ３１を備える。更新処理は、更新処理の前回実行時から、ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定し、少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得する処理を含む。
【選択図】図２８
【特許請求の範囲】
【請求項1】
分散型台帳が格納された記憶装置を備え、
前記分散型台帳は、
ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、
確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含み、さらに、
前記タイムスタンプチェーンを更新する更新処理を繰り返し実行するプロセッサを備え、
前記更新処理は、
前記複数の証拠チェーンの中から、前記更新処理の前回実行時から、前記ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定し、
前記少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得する処理を含む、データ管理装置。
前記分散型台帳は、
ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、
確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含み、さらに、
前記タイムスタンプチェーンを更新する更新処理を繰り返し実行するプロセッサを備え、
前記更新処理は、
前記複数の証拠チェーンの中から、前記更新処理の前回実行時から、前記ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定し、
前記少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得する処理を含む、データ管理装置。
【請求項2】
前記プロセッサは、前記終端値の生成に際して、前記更新処理の前回実行時から変更されていない前記終端ハッシュ値を用いない、請求項１に記載のデータ管理装置。
【請求項3】
前記プロセッサは、予め定められた期間が経過するごとに前記更新処理を実行する、請求項１に記載のデータ管理装置。
【請求項4】
前記プロセッサは、第１検証処理～第３検証処理を実行するように構成され、
前記第１検証処理は、前記少なくとも１つのハッシュ値から生成される少なくとも１つのファイルが改ざんされたかどうかを検証する処理であり、
前記第２検証処理は、前記少なくとも１つのタイムスタンプトークンにより証明されりる少なくとも１つの確定時刻が改ざんされたかどうかを検証する処理であり、
前記第３検証処理は、前記少なくとも１つのファイルおよび前記少なくとも１つの確定時刻の順序性を検証する処理である、請求項１～３のいずれか１項に記載のデータ管理装置。
前記第１検証処理は、前記少なくとも１つのハッシュ値から生成される少なくとも１つのファイルが改ざんされたかどうかを検証する処理であり、
前記第２検証処理は、前記少なくとも１つのタイムスタンプトークンにより証明されりる少なくとも１つの確定時刻が改ざんされたかどうかを検証する処理であり、
前記第３検証処理は、前記少なくとも１つのファイルおよび前記少なくとも１つの確定時刻の順序性を検証する処理である、請求項１～３のいずれか１項に記載のデータ管理装置。
【請求項5】
前記プロセッサは、入力装置に対するユーザの操作に従って、前記第１検証処理～前記第３検証処理のうちの少なくとも１つの処理を実行する、請求項４に記載のデータ管理装置。
【請求項6】
前記プロセッサは、前記入力装置に対して第１ユーザ操作が行われた場合、前記少なくとも１つのファイルおよび前記少なくとも１つの確定時刻のうち、前記ユーザにより選択された一部に対して、前記第１検証処理～前記第３検証処理を実行する、請求項５に記載のデータ管理装置。
【請求項7】
前記プロセッサは、前記ユーザにより２以上のファイルが選択された場合に、少なくとも、最も古いファイルと、前記最も古いファイルの直前の確定時刻と、最も新しいファイルと、前記最も新しいファイルの直後の確定時刻とを検証の対象とする、請求項６に記載のデータ管理装置。
【請求項8】
前記プロセッサは、前記２以上のファイルの間に他の確定時刻が存在する場合に、前記他の確定時刻をさらに検証の対象とする、請求項７に記載のデータ管理装置。
【請求項9】
前記プロセッサは、前記入力装置に対して第２ユーザ操作が行われた場合、前記少なくとも１つのファイルおよび前記少なくとも１つの確定時刻の全部に対して、前記第１検証処理～前記第３検証処理を実行する、請求項５に記載のデータ管理装置。
【請求項10】
前記プロセッサは、前記入力装置に対して第３ユーザ操作が行われた場合、前記第３検証処理を実行する一方で、前記第１検証処理および前記第２検証処理を非実行とする、請求項５に記載のデータ管理装置。
【請求項11】
分散型台帳を用いたデータ管理方法であって、
前記分散型台帳は、
ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、
確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含み、
前記データ管理方法は、
前記複数の証拠チェーンの中から、前記タイムスタンプチェーンを更新する更新処理の前回実行時から、前記ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定するステップと、
前記少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得するステップとを含む、データ管理方法。
前記分散型台帳は、
ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、
確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含み、
前記データ管理方法は、
前記複数の証拠チェーンの中から、前記タイムスタンプチェーンを更新する更新処理の前回実行時から、前記ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定するステップと、
前記少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得するステップとを含む、データ管理方法。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、データ管理装置およびデータ管理方法に関し、より特定的には、分散型台帳技術（ＤＬＴ：Distributed Ledger Technology）を用いるデータ管理装置およびデータ管理方法に関する。
【背景技術】
【0002】
特許第６６９４２０４号公報（特許文献１）は、分散型台帳技術が適用されたデータ管理システムを開示する。
【先行技術文献】
【特許文献】
【0003】
【特許文献1】特許第６６９４２０４号公報
【発明の概要】
【発明が解決しようとする課題】
【0004】
分散型台帳技術を用いてデータ（ファイルおよび確定時刻）を管理するデータ管理装置またはデータ管理方法が提案されている。複数の台帳（後述するチェーン）を含む分散型台帳が用いられる場合に、データの順序性の証明を効率的に行う要望が存在する。
【0005】
本開示は上記課題を解決するためになされたものであり、本開示の目的の１つは、複数の台帳を含む分散型台帳が用いられる場合にデータの順序性を効率的に証明することである。
【課題を解決するための手段】
【0006】
（１）本開示の第１局面に係るデータ管理装置は、分散型台帳が格納された記憶装置を備える。分散型台帳は、ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含む。データ管理装置は、さらに、タイムスタンプチェーンを更新する更新処理を繰り返し実行するプロセッサを備える。更新処理は、複数の証拠チェーンの中から、更新処理の前回実行時から、ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定し、少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得する処理を含む。
【0007】
（２）プロセッサは、終端値の生成に際して、更新処理の前回実行時から変更されていない終端ハッシュ値を用いない。
【0008】
上記（１），（２）の構成においては、更新処理の前回実行時からファイルが変更された証拠チェーンについてタイムスタンプトークンが取得され、ファイルが変更されていない証拠チェーンについてはタイムスタンプトークンは取得されない。これにより、ファイルが変更されていない証拠チェーンについてのタイムスタンプトークンの取得コストが低減される。よって、上記（１），（２）の構成によれば、ファイルおよび確定時刻の順序性を効率的に証明できる。
【0009】
（３）プロセッサは、予め定められた期間が経過するごとに更新処理を実行する。
【0010】
上記（３）の構成においては、更新処理が定期的に実行される。これにより、いずれかのファイルが変更される度に更新処理が実行される場合と比べて、証明コストを低減できる。また、更新処理が不定期に実行される場合と比べて、長期的に着実な検証が可能になる。
【0011】
（４）プロセッサは、第１検証処理～第３検証処理を実行するように構成されている。第１検証処理は、少なくとも１つのハッシュ値から生成される少なくとも１つのファイルが改ざんされたかどうかを検証する処理である。第２検証処理は、少なくとも１つのタイムスタンプトークンにより証明されりる少なくとも１つの確定時刻が改ざんされたかどうかを検証する処理である。第３検証処理は、少なくとも１つのファイルおよび少なくとも１つの確定時刻の順序性を検証する処理である。
【0012】
上記（４）の構成においては、第１検証処理によりファイルの完全性（ファイルが改ざんされたかどうか）を検証可能である。第２検証処理により確定時刻の完全性（確定時刻が改ざんされたかどうか）を検証可能である。第３検証処理により分散型台帳におけるファイルおよび確定時刻の順序性を検証可能である。よって、上記（４）の構成によれば、ファイルおよび確定時刻が適切に管理されているかどうかを検証できる。
【0013】
（５）プロセッサは、入力装置に対するユーザの操作に従って、第１検証処理～第３検証処理のうちの少なくとも１つの処理を実行する。
【0014】
上記（５）の構成においては、第１検証処理～第３検証処理のうちの少なくとも１つの処理がユーザの操作に従って実行される。よって、上記（５）の構成によれば、ユーザが要求する検証をユーザ所望のタイミングで行うことができる。
【0015】
（６）プロセッサは、入力装置に対して第１ユーザ操作が行われた場合、少なくとも１つのファイルおよび少なくとも１つの確定時刻のうち、ユーザにより選択された一部に対して、第１検証処理～第３検証処理を実行する。
【0016】
上記（６）の構成においては、第１ユーザ操作が行われた場合に、ユーザにより選択された一部のファイルおよび／または一部の確定時刻に検証対象が限定される。これにより、全てのファイルおよび全ての確定時刻を検証対象とする場合と比べて、検証コスト（工数、時間、システム負荷など）が低減される。よって、上記（６）の構成によれば、ファイルおよび確定時刻が適切に管理されているかどうかを効率的に検証できる。
【0017】
（７）プロセッサは、ユーザにより２以上のファイルが選択された場合に、少なくとも、最も古いファイルと、最も古いファイルの直前の確定時刻と、最も新しいファイルと、最も新しいファイルの直後の確定時刻とを検証の対象とする。
【0018】
上記（７）の構成においては、最も古いファイルの直前の確定時刻と、最も新しいファイルの直後の確定時刻とが検証の対象とされる。これにより、上記直前の確定時刻および上記直後の確定時刻に、ユーザにより選択された２以上のファイルのうち、どのファイルが存在しており、どのファイルが存在していなかったかを証明できる。言い換えると、ユーザにより選択された２以上のファイルが上記直前の確定時刻と上記直後の確定時刻との間に分散型台帳に格納されたものであることを証明できる。よって、上記（７）の構成によれば、ファイルおよび確定時刻の順序性を簡易なユーザ操作で効果的に検証できる。
【0019】
（８）プロセッサは、２以上のファイルの間に他の確定時刻が存在する場合に、他の確定時刻をさらに検証の対象とする。
【0020】
上記（８）の構成においては、２以上のファイルの間に存在する他の確定時刻も検証される。これにより、当該他の確定時刻に、どのファイルが存在しており、どのファイルが存在していなかったかも証明できる。よって、上記（８）の構成によれば、ファイルおよび確定時刻の順序性を、より詳細に検証できる。
【0021】
（９）プロセッサは、入力装置に対して第２ユーザ操作が行われた場合、少なくとも１つのファイルおよび少なくとも１つの確定時刻の全部に対して、第１検証処理～第３検証処理を実行する。
【0022】
上記（９）の構成においては、第２ユーザ操作が行われた場合に、全てのファイルの完全性および全ての確定時刻の完全性が検証される。よって、上記（９）の構成によれば、ファイルおよび確定時刻の完全性を徹底的に検証できる。
【0023】
（１０）プロセッサは、入力装置に対して第３ユーザ操作が行われた場合、第３検証処理を実行する一方で、第１検証処理および第２検証処理を非実行とする。
【0024】
上記（１０）の構成においては、第３ユーザ操作が行われた場合に、ファイルおよび確定時刻の順序性が選択的に検証される。よって、上記（１０）の構成によれば、ファイルおよび確定時刻の完全性の検証が要求されない場合に、ファイルおよび確定時刻の順序性を効率的に検証できる。
【0025】
（１１）本開示の第２局面に係るデータ管理方法は、分散型台帳を用いる。分散型台帳は、ファイルから各々が生成される少なくとも１つのハッシュ値が時系列に格納された複数の証拠チェーンと、確定時刻を各々が証明するための少なくとも１つのタイムスタンプトークンが時系列に格納されたタイムスタンプチェーンとを含む。データ管理方法は、複数の証拠チェーンの中から、更新処理の前回実行時から、ファイルの変更に伴いハッシュ値が変更された少なくとも１つの証拠チェーンを特定するステップと、少なくとも１つの証拠チェーンの各々の終端ハッシュ値に基づいて生成される終端値に対して、タイムスタンプトークンを取得するステップとを含む。
【0026】
上記（１１）の方法によれば、上記（１）の構成と同様に、複数の台帳を含む分散型台帳が用いられる場合にデータの順序性を効率的に証明できる。
【発明の効果】
【0027】
本開示によれば、複数の台帳を含む分散型台帳が用いられる場合にデータの順序性を効率的に証明できる。
【図面の簡単な説明】
【0028】
【図1】本開示の実施の形態１に係るデータ管理システムの全体構成の一例を示す図である。
【図2】クライアントサーバの構成の一例を示す図である。
【図3】分散型台帳のデータ構造の一例を示す図である。
【図4】証拠チェーンおよびタイムスタンプチェーンにおけるレコード間の関係を説明するための概念図である。
【図5】クライアントサーバのプロセッサが有する主要な機能に関する機能ブロック図である。
【図6】ファイル登録部の機能ブロック図である。
【図7】確定時刻付与部の機能ブロック図である。
【図8】チェーン更新部の機能ブロック図である。
【図9】ファイル検証部の機能ブロック図である。
【図10】確定時刻検証部の機能ブロック図である。
【図11】順序性検証部の機能ブロック図である。
【図12】実施の形態１における検証処理全体の処理手順を示すフローチャートである。
【図13】ユーザが検証機能を選択するためのユーザインターフェイスの一例を示す図である。
【図14】「全ファイルを検証」が選択された場合に検証結果が表示されるユーザインターフェイスの一例を示す図である。
【図15】「全ファイルを検証」が選択された場合の第３ボックスにおける検証結果の表示の一例を示す図である。
【図16】「選択されたファイルを検証」が選択された場合に検証処理の開始前に表示されるＵＩの一例を示す図である。
【図17】ファイル選択ボックスにおける表示の一例を示す図である。
【図18】「選択されたファイルを検証」が選択された場合に検証結果が表示されるＵＩの一例を示す図である。
【図19】「選択されたファイルを検証」が選択された場合の第３ボックスにおける検証結果の詳細の表示の一例を示す図である。
【図20】ファイル選択ボックスにおける表示の他の一例を示す図である。
【図21】「選択されたファイルを検証」が選択された場合の第３ボックスにおける検証結果の詳細の表示の他の一例を示す図である。
【図22】「順序性のみ検証」が選択された場合に検証処理の開始前に表示されるユーザインターフェイスの一例を示す図である。
【図23】「順序性のみ検証」が選択された場合に検証結果が表示されるユーザインターフェイスの一例を示す図である。
【図24】「順序性のみ検証」が選択された場合の第３ボックスにおける検証結果の詳細の表示の一例を示す図である。
【図25】実施の形態２における分散型台帳のデータ構造の一例を示す図である。
【図26】実施の形態２において証拠チェーンおよびタイムスタンプチェーンに格納されたレコード間の関係を説明するための概念図である。
【図27】実施の形態２におけるレコード作成部の機能ブロック図である。
【図28】実施の形態２におけるタイムスタンプチェーンの更新処理の処理手順の一例を示すフローチャートである。
【発明を実施するための形態】
【0029】
以下、本開示の実施の形態について、図面を参照しながら詳細に説明する。図中同一または相当部分には同一符号を付して、その説明は繰り返さない。
【0030】
［実施の形態１］
＜システム構成＞
図１は、本開示の実施の形態１に係るデータ管理システムの全体構成の一例を示す図である。データ管理システム１は、分散型台帳技術を用いてデータを管理するシステムである。データ管理システム１により管理されるデータは、ファイルおよび確定時刻である。ファイルの種類およびデータ形式は特に限定されない。ファイルは、車両（または車両の構成部品）の設計データであってもよいし、車両の制御プログラムであってもよいし、車両の仕様または開発ノウハウが記載された文書ファイルであってもよい。確定時刻とは、時刻認証局（ＴＳＡ：Time Stamp Authority）から取得されるタイムスタンプトークンにより証明される時刻（典型的には年・月・日・時・分・秒を含む時刻）である。確定時刻を確定日付と呼んでもよい。
＜システム構成＞
図１は、本開示の実施の形態１に係るデータ管理システムの全体構成の一例を示す図である。データ管理システム１は、分散型台帳技術を用いてデータを管理するシステムである。データ管理システム１により管理されるデータは、ファイルおよび確定時刻である。ファイルの種類およびデータ形式は特に限定されない。ファイルは、車両（または車両の構成部品）の設計データであってもよいし、車両の制御プログラムであってもよいし、車両の仕様または開発ノウハウが記載された文書ファイルであってもよい。確定時刻とは、時刻認証局（ＴＳＡ：Time Stamp Authority）から取得されるタイムスタンプトークンにより証明される時刻（典型的には年・月・日・時・分・秒を含む時刻）である。確定時刻を確定日付と呼んでもよい。
【0031】
データ管理システム１は、たとえば、プラットフォームサーバ２と、複数のクライアントサーバ３Ａ～３Ｄとを備える。この例では４台のクライアントサーバがデータ管理システム１に含まれる例について説明する。しかし、クライアントサーバの台数は２以上であればよい。
【0032】
プラットフォームサーバ２はネットワークＮＷを管理する。ネットワークＮＷは、たとえば複数の企業間に形成されたコンソーシアムネットワークである。プラットフォームサーバ２は、クライアントサーバからのネットワークＮＷへの参加申請を受け付ける。プラットフォームサーバ２は、プラットフォームサーバ２の管理者による操作に基づき、または所定の条件の判定結果に基づき、クライアントサーバのネットワークＮＷへの参加を許可する。
【0033】
４台のクライアントサーバ３Ａ～３Ｄは、企業Ａ～Ｄにそれぞれ帰属するサーバである。クライアントサーバ３Ａ～３Ｄには分散型台帳基盤のソフトウェアが導入されている。分散型台帳基盤のソフトウェアが機能することにより、クライアントサーバ３Ａ～３Ｄの各々がノードとして機能する。以下では、企業Ａに帰属するクライアントサーバ３Ａについて代表的に説明するが、他の企業Ｂ～Ｄに帰属するクライアントサーバ３Ｂ～３Ｄも同様の構成および機能を有する。なお、クライアントサーバ３Ａ～３Ｄの各々は、本開示に係る「データ管理装置」に相当する。
【0034】
クライアントサーバ３Ａは、時刻認証局４１Ａと、ユーザ端末４２Ａと、データベース４３Ａとに通信可能に接続されている。
【0035】
時刻認証局４１Ａは、申請者であるクライアントサーバ３Ａからのタイムスタンプ発行要求に応答してタイムスタンプトークンを発行する。タイムスタンプトークンとは、申請者から受信したファイル（実施の形態１では後述のレコードハッシュ値）に、国際標準時に追跡性がある時刻源に基づく時刻情報を結合させたものである。時刻認証局４１Ａは、公的な証明書を発行可能なパブリック認証局であることが好ましい。クライアントサーバ３Ａ～３Ｄの一部または全部の間で時刻認証局が共通であってもよい。
【0036】
ユーザ端末４２Ａは、ユーザ（たとえば企業Ａの従業員）に貸与された情報処理端末であって、ＰＣ（Personal Computer）、スマートフォン、タブレットなどである。ユーザ端末４２Ａは、クライアントサーバ３Ａの入力装置３４および／または出力装置３５（図２参照）として機能する。
【0037】
データベース４３Ａは、書き換え可能な記憶装置であって、ＨＤＤ（Hard Disk Drive）、ＳＳＤ（Solid State Drive）、フラッシュメモリなどである。ユーザがクライアントサーバ３Ａの入力装置３４（図２参照）またはユーザ端末４２Ａに対してファイルまたは確定時刻の登録および／または更新を要求する操作を行うと、クライアントサーバ３Ａは、当該操作に応答して制御信号をデータベース４３Ａに出力する。データベース４３Ａは、クライアントサーバ３Ａからの制御信号に従ってファイルまたは確定時刻を記憶（登録および／または更新）する。クライアントサーバ３Ａ～３Ｄの一部または全部の間でデータベースが共有されていてもよい。
【0038】
図２は、クライアントサーバ３Ａの構成の一例を示す図である。図１および図２を参照して、クライアントサーバ３Ａは、プロセッサ３１と、メモリ３２と、通信装置３３と、入力装置３４と、出力装置３５と、ストレージ３６とを備える。クライアントサーバ３Ａの構成要素はバス３７により互いに通信可能に接続されている。
【0039】
プロセッサ３１は、ＣＰＵ（Central Processing Unit）、ＭＰＵ（Micro-Processing Unit）などの演算処理装置である。メモリ３２は、ＲＯＭ（Read Only Memory）と、ＲＡＭ（Random Access Memory）とを含む。メモリ３２には、ＯＳ（Operating System）を含むシステムプログラムと、制御演算に必要なコンピュータ読み取り可能なコードを含む制御プログラムとが格納されている。プロセッサ３１は、システムプログラムおよび制御プログラムを読み出してメモリ３２に展開して実行することで様々な処理を実現する。プロセッサ３１は、後に詳しく説明するが、ファイルまたは確定時刻をデータベース４３に記憶させたり、時刻認証局４１Ａからタイムスタンプトークンを取得したり、分散型台帳を更新するためのトランザクションデータを生成したりする。
【0040】
なお、図２にはクライアントサーバ３Ａが１つのプロセッサのみを含む例を示すが、クライアントサーバ３Ａが複数のプロセッサを含んでもよい。すなわち、クライアントサーバ３Ａは１以上のプロセッサを含む。メモリ３２およびストレージ３６についても同様である。本明細書において、「プロセッサ」は、ストアードプログラム方式で処理を実行する狭義のプロセッサに限られず、ＡＳＩＣ（Application Specific Integrated Circuit）、ＦＰＧＡ（Field-Programmable Gate Array）などのハードワイヤード回路を含み得る。そのため、「プロセッサ」との用語は、コンピュータ読み取り可能なコードおよび／またはハードワイヤード回路によってあらかじめ処理が定義された処理回路（processing circuitry）と読み替えることもできる。
【0041】
通信装置３３は、クライアントサーバ３Ａの外部機器と通信する。外部機器は、プラットフォームサーバ２、他のクライアントサーバ３Ｂ～３Ｄ、時刻認証局４１Ａ、ユーザ端末４２Ａ、データベース４３Ａなどを含む。
【0042】
入力装置３４は、ユーザによる操作を受け付け可能な装置であって、マウス、キーボード、タッチパネルなどである。出力装置３５は、ユーザに情報を提供可能な装置であって、典型的にはディスプレイである。
【0043】
ストレージ３６は、書き換え可能な記憶装置であって、ＨＤＤ、ＳＳＤ、フラッシュメモリなどである。ストレージ３６は、秘密鍵５１と、複数の公開鍵５２と、分散型台帳６とを記憶している。
【0044】
秘密鍵５１は、企業Ａが管理する秘密鍵である。複数の公開鍵５２は企業Ｂ～Ｄの公開鍵を含む。複数の公開鍵５２は、企業Ａ自身の公開鍵を含んでもよい。たとえば、クライアントサーバ３ＡがネットワークＮＷに最初に参加するにあたり、プロセッサ３１は、秘密鍵および公開鍵を生成する。そして、プロセッサ３１は、生成された公開鍵を認証局（図示せず）に送信して認証を受ける。認証局は、公開鍵の情報を含めた電子証明書を発行する。プロセッサ３１は、認証を受けた公開鍵に対応する秘密鍵５１をストレージ３６に記憶させる。また、プロセッサ３１は、認証を受けた公開鍵（電子証明書）６２を、他の企業Ｂ～Ｄのクライアントサーバ３Ｂ～３Ｄに送信する。クライアントサーバ３Ｂ～３Ｄの各々も同様に、自身の公開鍵を自身以外のクライアントサーバに送信する。
【0045】
分散型台帳６は複数の台帳を含む。各台帳はチェーン構造（より詳細には有向無閉路グラフ（ＤＡＧ：Directed Acyclic Graph）構造）を有するため、以下、台帳を「チェーン」とも称する。実施の形態１では、予め定められた対象ごと（たとえば車両ごと、構成部品ごと、制御プログラムごと、仕様書ごと）に後述する２種類のチェーンが準備される。クライアントサーバ３は、ファイルおよび／または確定時刻をデータベース４３に記憶させるのに伴い、当該ファイルおよび／または確定時刻に関する情報を上記２種類のチェーンに格納する。
【0046】
以下、クライアントサーバ３Ａ～３Ｄを特に区別しない場合には、参照符号にＡ～Ｄを付さず、「クライアントサーバ３」と記載する。時刻認証局、ユーザ端末およびデータベースについても同様である。
【0047】
＜分散型台帳＞
図３は、分散型台帳６のデータ構造の一例を示す図である。分散型台帳６は、たとえば、複数の証拠チェーン６１と、複数のタイムスタンプチェーン６２とを含む。紙面の都合上、図３には２種類のチェーンが１つずつ図示されている。実施の形態１では、１つの証拠チェーン６１と１つのタイムスタンプチェーン６２とが互いに関連付けられている。ただし、後に実施の形態２にて説明するように、複数の証拠チェーン６１が１つのタイムスタンプチェーン６２に関連付けられていてもよい。
図３は、分散型台帳６のデータ構造の一例を示す図である。分散型台帳６は、たとえば、複数の証拠チェーン６１と、複数のタイムスタンプチェーン６２とを含む。紙面の都合上、図３には２種類のチェーンが１つずつ図示されている。実施の形態１では、１つの証拠チェーン６１と１つのタイムスタンプチェーン６２とが互いに関連付けられている。ただし、後に実施の形態２にて説明するように、複数の証拠チェーン６１が１つのタイムスタンプチェーン６２に関連付けられていてもよい。
【0048】
証拠チェーン６１は、ファイルに関するレコードが時系列に格納された台帳である。図３に示す例では、証拠チェーン６１は５つのレコードＲ１１～Ｒ１５を含む。各レコードは、キー（Ｋｅｙ）と、世代（Ａｇｅ）と、データ（Ｄａｔａ）と、ナンス値（Ｎｏｎｃｅ）と、電子署名（Ｓｉｇ）と、前レコードハッシュ値（Ｐｒｅｖ－ＲＨ）と、レコードハッシュ値（ＲＨ）とを含む。
【0049】
キーは、証拠チェーン６１を識別するための識別情報（ＩＤ）である。対象（車両、構成部品、制御プログラム、仕様書など）の識別情報をキーとして用いてもよい。この例では証拠チェーン６１にＫｅｙ＝ｋ１が割り当てられている。これにより、Ｋｅｙ＝ｋ１であるレコードが証拠チェーン６１に格納される。
【0050】
世代は、レコードの順序を示す情報である。最初のレコードの世代は１である。そして、ファイルおよび／または確定時刻が更新されてレコードが追加される度に世代がインクリメントされる。以下、最初（最古）のレコードを「始端レコード」とも称する。最後（最新）のレコードを「終端レコード」とも称する。
【0051】
証拠チェーン６１におけるデータは、ファイルから生成されるハッシュ値（以下「ファイルハッシュ値」とも記載する）である。ファイルが更新されると、更新されたファイルをハッシュ関数を用いてハッシュ化することによりハッシュ値が生成される。そして、生成されたハッシュ値がファイルハッシュ値として格納される。この例では、５つのレコードＲ１１～Ｒ１５にファイルハッシュ値ＦＨ１～ＦＨ５がそれぞれ格納されている。なお、ファイルハッシュ値は、本開示に係る「ハッシュ値」に相当する。
【0052】
ナンス値は、トランザクションデータの番号を示す値である。ナンス値は、たとえば、ファイルが更新された場合にファイルハッシュ値を証拠チェーン６１に格納する処理の番号として用いられる。
【0053】
電子署名は、トランザクションデータを発行したクライアントサーバ３の本人確認のための情報である。電子署名は、たとえば、トランザクションデータを発行したクライアントサーバ３の秘密鍵５１によりファイルハッシュ値を暗号化することで作成される。
【0054】
前レコードハッシュ値は、当該レコードの１つ前の世代のレコード（言い換えると親レコード）のレコードハッシュ値である。
【0055】
レコードハッシュ値は、当該レコードのハッシュ値である。レコードハッシュ値は、レコードハッシュ値以外のレコードの情報（Ｋｅｙ、Ａｇｅ、Ｄａｔａ、Ｎｏｎｃｅ、ＳｉｇおよびＰｒｅｖ－ＲＨなど）をハッシュ関数を用いてハッシュ化することにより生成される。
【0056】
証拠チェーン６１の終端レコード（Ａｇｅ＝６のレコード）Ｒ１５のレコードハッシュ値は「ｈ５」である。終端レコードＲ１５の前レコードハッシュ値は、親レコード（Ａｇｅ＝５のレコード）Ｒ１４のレコードハッシュ値の「ｈ４」である。レコードＲ１４の前レコードハッシュ値は、親レコード（Ａｇｅ＝３のレコード）Ｒ１３のレコードハッシュ値の「ｈ３」である。このように、証拠チェーン６１では、複数のレコードの各々が当該レコードの親レコードのレコードハッシュ値（前レコードハッシュ値）を含むことによって複数のレコードが連鎖されている。
【0057】
タイムスタンプチェーン６２は、確定時刻に関するレコードが時系列に格納された台帳である。図３に示す例では、タイムスタンプチェーン６２は４つのレコードＲ２１～Ｒ２４を含む。各レコードは、証拠チェーンのレコードと同様に、キーと、世代と、データと、ナンス値と、電子署名と、前レコードハッシュ値と、レコードハッシュ値とを含む。
【0058】
証拠チェーン６１におけるデータがファイルハッシュ値であるのに対して、タイムスタンプチェーン６２におけるデータは、タイムスタンプトークンまたは終端ハッシュ値（Ｅｎｄ－ＲＨ）である。詳細は後述するが、タイムスタンプトークンの取得を要求するユーザ操作に応答して、証拠チェーン６１の終端ハッシュ値に対するタイムスタンプトークンが時刻認証局４１から取得される。この例では、２つのレコードＲ２２，Ｒ２４にタイムスタンプトークンＴＳ１，ＴＳ２がそれぞれ格納されている。
【0059】
終端ハッシュ値は、タイムスタンプトークンの取得を要求するユーザ操作が行われた時点での証拠チェーン６１の終端レコードのレコードハッシュ値である。この例では、レコードＲ２１には、証拠チェーン６１のレコードＲ１３のレコードハッシュ値である「ｈ３」が終端ハッシュ値として格納されている。レコードＲ２３には、証拠チェーン６１のレコードＲ１５のレコードハッシュ値である「ｈ５」が終端ハッシュ値として格納されている。
【0060】
タイムスタンプチェーン６２に含まれる上記以外の情報は、証拠チェーン６１の対応する情報と同様であるため、詳細な説明は繰り返さない。
【0061】
【0062】
≪証拠チェーンのＡｇｅ＝１≫
まず、ファイルＰがユーザ操作に従ってデータベース４３に登録される。クライアントサーバ３Ａは、第１世代（Ａｇｅ＝１）のレコードＲ１１を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１１は、ファイルＰのハッシュ化により生成されるファイルハッシュ値ＦＨ１と、レコードハッシュ値ｈ１とを含む。
まず、ファイルＰがユーザ操作に従ってデータベース４３に登録される。クライアントサーバ３Ａは、第１世代（Ａｇｅ＝１）のレコードＲ１１を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１１は、ファイルＰのハッシュ化により生成されるファイルハッシュ値ＦＨ１と、レコードハッシュ値ｈ１とを含む。
【0063】
クライアントサーバ３Ａは、生成されたトランザクションデータをネットワークＮＷに送信する。当該トランザクションデータを実行する処理（トランザクション処理）がクライアントサーバ３Ａ～３Ｄにおいて実行されることにより、クライアントサーバ３Ａ～３Ｄの各々の証拠チェーン６１にレコードＲ１１が追加される。これらの処理は後続の世代においても同様であるため、説明は繰り返さない。
【0064】
≪証拠チェーンのＡｇｅ＝２≫
ファイルＱがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第２世代（Ａｇｅ＝２）のレコードＲ１２を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１２は、ファイルＱに関するファイルハッシュ値ＦＨ２と、前レコードハッシュ値ｈ１と、レコードハッシュ値ｈ２とを含む。
ファイルＱがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第２世代（Ａｇｅ＝２）のレコードＲ１２を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１２は、ファイルＱに関するファイルハッシュ値ＦＨ２と、前レコードハッシュ値ｈ１と、レコードハッシュ値ｈ２とを含む。
【0065】
≪証拠チェーンのＡｇｅ＝３≫
ファイルＲがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第３世代（Ａｇｅ＝３）のレコードＲ１３を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１３は、ファイルＲに関するファイルハッシュ値ＦＨ３と、前レコードハッシュ値ｈ２と、レコードハッシュ値ｈ３とを含む。
ファイルＲがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第３世代（Ａｇｅ＝３）のレコードＲ１３を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１３は、ファイルＲに関するファイルハッシュ値ＦＨ３と、前レコードハッシュ値ｈ２と、レコードハッシュ値ｈ３とを含む。
【0066】
≪タイムスタンプチェーンのＡｇｅ＝１≫
レコードＲ１３が証拠チェーン６１の終端レコードである時点で、レコードＲ１３に確定時刻を付与するための操作をユーザが入力装置３４（ユーザ端末４２Ａであってもよい）に対して行ったと想定する。クライアントサーバ３Ａは、ユーザ操作に応答して、第１世代（Ａｇｅ＝１）のレコードＲ２１をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２１は、終端ハッシュ値（証拠チェーン６１の終端レコードであるレコードＲ１３のレコードハッシュ値）ｈ３と、レコードハッシュ値Ｈ１とを含む。
レコードＲ１３が証拠チェーン６１の終端レコードである時点で、レコードＲ１３に確定時刻を付与するための操作をユーザが入力装置３４（ユーザ端末４２Ａであってもよい）に対して行ったと想定する。クライアントサーバ３Ａは、ユーザ操作に応答して、第１世代（Ａｇｅ＝１）のレコードＲ２１をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２１は、終端ハッシュ値（証拠チェーン６１の終端レコードであるレコードＲ１３のレコードハッシュ値）ｈ３と、レコードハッシュ値Ｈ１とを含む。
【0067】
≪タイムスタンプチェーンのＡｇｅ＝２≫
クライアントサーバ３Ａは、親レコードＲ２１のレコードハッシュ値（前レコードハッシュ値）Ｈ１に対するタイムスタンプトークンＴＳ１を時刻認証局４１Ａから取得する。クライアントサーバ３Ａは、第２世代（Ａｇｅ＝２）のレコードＲ２２をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２２は、タイムスタンプトークンＴＳ１と、前レコードハッシュ値Ｈ１と、レコードハッシュ値Ｈ２とを含む。
クライアントサーバ３Ａは、親レコードＲ２１のレコードハッシュ値（前レコードハッシュ値）Ｈ１に対するタイムスタンプトークンＴＳ１を時刻認証局４１Ａから取得する。クライアントサーバ３Ａは、第２世代（Ａｇｅ＝２）のレコードＲ２２をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２２は、タイムスタンプトークンＴＳ１と、前レコードハッシュ値Ｈ１と、レコードハッシュ値Ｈ２とを含む。
【0068】
≪証拠チェーンのＡｇｅ＝４≫
ファイルＰがユーザ操作に従ってファイルＰ’へと更新されると、クライアントサーバ３Ａは、第４世代（Ａｇｅ＝４）のレコードＲ１４を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１４は、更新されたファイルＰ’に関するファイルハッシュ値ＦＨ４と、前レコードハッシュ値ｈ３と、レコードハッシュ値ｈ４とを含む。
ファイルＰがユーザ操作に従ってファイルＰ’へと更新されると、クライアントサーバ３Ａは、第４世代（Ａｇｅ＝４）のレコードＲ１４を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１４は、更新されたファイルＰ’に関するファイルハッシュ値ＦＨ４と、前レコードハッシュ値ｈ３と、レコードハッシュ値ｈ４とを含む。
【0069】
≪証拠チェーンのＡｇｅ＝５≫
ファイルＳがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第５世代（Ａｇｅ＝５）のレコードＲ１５を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１５は、ファイルＳに関するファイルハッシュ値ＦＨ５と、前レコードハッシュ値ｈ４と、レコードハッシュ値ｈ５とを含む。
ファイルＳがユーザ操作に従ってデータベース４３に登録されると、クライアントサーバ３Ａは、第５世代（Ａｇｅ＝５）のレコードＲ１５を証拠チェーン６１に追加するためのトランザクションデータを生成する。レコードＲ１５は、ファイルＳに関するファイルハッシュ値ＦＨ５と、前レコードハッシュ値ｈ４と、レコードハッシュ値ｈ５とを含む。
【0070】
≪タイムスタンプチェーンのＡｇｅ＝３≫
レコードＲ１５が証拠チェーン６１の終端レコードである時点で、レコードＲ１５に確定時刻を付与するための操作をユーザが入力装置３４に対して行ったと想定する。クライアントサーバ３Ａは、ユーザ操作に応答して、第３世代（Ａｇｅ＝３）のレコードＲ２３をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２３は、終端ハッシュ値（証拠チェーン６１の終端レコードであるレコードＲ１５のレコードハッシュ値）ｈ５と、前レコードハッシュ値Ｈ２と、レコードハッシュ値Ｈ３とを含む。
レコードＲ１５が証拠チェーン６１の終端レコードである時点で、レコードＲ１５に確定時刻を付与するための操作をユーザが入力装置３４に対して行ったと想定する。クライアントサーバ３Ａは、ユーザ操作に応答して、第３世代（Ａｇｅ＝３）のレコードＲ２３をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２３は、終端ハッシュ値（証拠チェーン６１の終端レコードであるレコードＲ１５のレコードハッシュ値）ｈ５と、前レコードハッシュ値Ｈ２と、レコードハッシュ値Ｈ３とを含む。
【0071】
≪タイムスタンプチェーンのＡｇｅ＝４≫
クライアントサーバ３Ａは、前コレードハッシュ値Ｈ２に対するタイムスタンプトークンＴＳ２を時刻認証局４１Ａから取得する。クライアントサーバ３Ａは、第４世代（Ａｇｅ＝４）のレコードＲ２４をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２４は、タイムスタンプトークンＴＳ２と、前レコードハッシュ値Ｈ３と、レコードハッシュ値Ｈ４とを含む。
クライアントサーバ３Ａは、前コレードハッシュ値Ｈ２に対するタイムスタンプトークンＴＳ２を時刻認証局４１Ａから取得する。クライアントサーバ３Ａは、第４世代（Ａｇｅ＝４）のレコードＲ２４をタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。レコードＲ２４は、タイムスタンプトークンＴＳ２と、前レコードハッシュ値Ｈ３と、レコードハッシュ値Ｈ４とを含む。
【0072】
本実施の形態においては、証拠チェーン６１およびタイムスタンプチェーン６２のいずれにおいても、複数のレコードの各々（ただし、始端レコードを除く）が前レコードハッシュ値を含むことによって全てのレコードが連鎖されている。そのため、いずれかのレコード（特に当該レコード内のファイルハッシュ値またはタイムスタンプトークン）を改ざんするには、当該レコード以降に追加された全てのレコードを改ざんしなければならない。しかし、そのような改ざんは現実的には困難である。よって、本実施の形態によれば、ファイルが改ざんされていないこと（ファイルの完全性）を証明できるとともに、確定時刻が改ざんされていないこと（確定時刻の完全性）を証明できる。なお、本明細書における「改ざん」との用語は、ファイルおよび確定時刻（タイムスタンプトークン）の「破損」または「削除」を含む。
【0073】
また、証拠チェーン６１において全てのレコードが連鎖されていることによって、証拠チェーン６１に格納された全レコードの順番が一意に特定される。よって、本実施の形態によれば、複数のファイルの時間的な並び（ファイルの順序性）を証明できる。
【0074】
加えて、本実施の形態においては、証拠チェーン６１の終端ハッシュ値を含むタイムスタンプチェーン６２のレコードのレコードハッシュ値に対してタイムスタンプトークンが取得される。これにより、タイムスタンプトークンにより証明される確定時刻に、どのファイルが存在しており、どのファイルが存在していなかったかを証明できる。図３および図４に示す例では、レコードＲ１３の終端ハッシュ値ｈ３を含むレコードＲ２１のレコードハッシュ値Ｈ１に対してタイムスタンプトークンＴＳ１を取得することで、タイムスタンプトークンＴＳ１により証明される確定時刻にファイルＲ（および先行するファイルＰ，Ｑ）が存在していたことを証明できるとともに、タイムスタンプトークンＴＳ１により証明される確定時刻には後続のファイルＰ’Ｓが存在していなかったこと（言い換えると、タイムスタンプトークンＴＳ１により証明される時刻よりも後にファイルＰ’Ｓが登録または更新されたこと）を証明できる。また、レコードＲ１５の終端ハッシュ値ｈ５を含むレコードＲ２３のレコードハッシュ値Ｈ３に対してタイムスタンプトークンＴＳ２を取得することで、タイムスタンプトークンＴＳ２により証明される確定時刻にファイルＳ（および先行するファイルＰ，Ｑ，Ｒ，Ｐ’）が存在していたことを証明できる。
【0075】
＜機能ブロック＞
図５は、クライアントサーバ３のプロセッサ３１が有する主要な機能に関する機能ブロック図である。プロセッサ３１は、ファイル登録部７１と、確定時刻付与部７２と、チェーン更新部７３と、ファイル検証部７４と、確定時刻検証部７５と、順序性検証部７６とを含む。各機能ブロックは、メモリ３２に記憶されたプログラムをプロセッサ３１が実行することにより実現される。各機能ブロックは専用のハードウェア（電子回路）により実現されてもよい。以下、これらの機能ブロックについて順に説明する。
図５は、クライアントサーバ３のプロセッサ３１が有する主要な機能に関する機能ブロック図である。プロセッサ３１は、ファイル登録部７１と、確定時刻付与部７２と、チェーン更新部７３と、ファイル検証部７４と、確定時刻検証部７５と、順序性検証部７６とを含む。各機能ブロックは、メモリ３２に記憶されたプログラムをプロセッサ３１が実行することにより実現される。各機能ブロックは専用のハードウェア（電子回路）により実現されてもよい。以下、これらの機能ブロックについて順に説明する。
【0076】
≪ファイルの登録≫
図６は、ファイル登録部７１の機能ブロック図である。ファイル登録部７１は、ファイルをデータベース４３に登録（または更新）するユーザ操作に従って、ファイルハッシュ値を含むレコードを証拠チェーン６１に追加するためのトランザクションデータを生成する。ファイル登録部７１は、ファイルハッシュ生成部７１１と、ナンス生成部７１２と、電子署名部７１３と、トランザクションデータ生成部７１４と、トランザクションデータ送信部７１５とを含む。
図６は、ファイル登録部７１の機能ブロック図である。ファイル登録部７１は、ファイルをデータベース４３に登録（または更新）するユーザ操作に従って、ファイルハッシュ値を含むレコードを証拠チェーン６１に追加するためのトランザクションデータを生成する。ファイル登録部７１は、ファイルハッシュ生成部７１１と、ナンス生成部７１２と、電子署名部７１３と、トランザクションデータ生成部７１４と、トランザクションデータ送信部７１５とを含む。
【0077】
なお、入力装置３４またはユーザ端末４２に対するユーザ操作に伴い要求が発生する。この要求は、レコードが追加される証拠チェーン６１を特定するためのＩＤであるキーを含む。図示しないが、各機能ブロックは、先行するブロックから当該キーを受けるとともに、後続するブロックに当該キーを出力する。これにより、当該キーにより特定される証拠チェーン６１を対象に処理が実行される。
【0078】
ファイルハッシュ生成部７１１は、要求を受けると、データベース４３からファイルを読み出す。ファイルハッシュ生成部７１１は、ファイルをハッシュ関数を用いてハッシュ化することでファイルハッシュ値（ＦＨ）を生成する。ファイルハッシュ生成部７１１は、ファイルハッシュ値を電子署名部７１３およびトランザクションデータ生成部７１４に出力する。
【0079】
ナンス生成部７１２は、要求を受けると、ナンス値（Ｎｏｎｃｅ）を生成する。ナンス生成部７１２は、ナンス値をトランザクションデータ生成部７１４に出力する。図示しないが、電子署名の作成にナンス値が用いられる場合には、ナンス生成部７１２は、ナンス値を電子署名部７１３に出力してもよい。
【0080】
電子署名部７１３は、ストレージ３６から秘密鍵５１を読み出す。電子署名部７１３は、ファイルハッシュ生成部７１１からのファイルハッシュ値を秘密鍵５１により暗号化することで電子署名（Ｓｉｇ）を作成する。電子署名部７１３は、ナンス生成部７１２からのナンス値を秘密鍵５１により暗号化することで電子署名を作成してもよい。電子署名部７１３は、ファイルハッシュ値およびナンス値を秘密鍵５１により暗号化することで電子署名を作成してもよい。電子署名部７１３は、電子署名をトランザクションデータ生成部７１４に出力する。
【0081】
トランザクションデータ生成部７１４は、証拠チェーン６１に新たに追加するレコードの世代を算出する。この例では、トランザクションデータ生成部７１４は、証拠チェーン６１にキーを照会することで証拠チェーン６１の終端レコード（すなわち親レコード）の世代を取得する。あるいは、トランザクションデータ生成部７１４は、証拠チェーン６１に関連付けられたタイムスタンプチェーン６２の終端レコードの世代を取得する。そして、トランザクションデータ生成部７１４は、取得した終端レコードの世代を１だけインクリメントすることで、新たに追加するレコードの世代を算出する。
【0082】
トランザクションデータ生成部７１４は、証拠チェーン６１の親レコードのレコードハッシュ値を前レコードハッシュ値（Ｐｒｅｖ－ＲＨ）として取得する（図示せず）。トランザクションデータ生成部７１４は、キー、世代、ファイルハッシュ値、ナンス値、電子署名および前レコードハッシュ値をハッシュ化することでレコードハッシュ値（ＲＨ）を算出する。そして、トランザクションデータ生成部７１４は、キー、世代、ファイルハッシュ値、ナンス値、電子署名、前レコードハッシュ値およびレコードハッシュ値を含むトランザクションデータ（ｔｘ）を生成する。トランザクションデータは、トランザクションデータの送信元のクライアントサーバ３を特定するための送信者情報をさらに含むことが望ましい。トランザクションデータ生成部７１４は、トランザクションデータをネットワークＮＷへ向けてブロードキャストする時刻情報をトランザクションデータに含めてもよい。トランザクションデータ生成部７１４は、トランザクションデータをトランザクションデータ送信部７１５に出力する。
【0083】
トランザクションデータ送信部７１５は、トランザクションデータを送信するための制御信号を通信装置３３に出力する。これにより、トランザクションデータが通信装置３３を介してネットワークＮＷにブロードキャストされる。
【0084】
≪確定時刻の取得≫
図７は、確定時刻付与部７２の機能ブロック図である。確定時刻付与部７２は、ユーザ操作に従って確定時刻をデータベース４３に記憶させる。加えて、確定時刻付与部７２は、上記ユーザ操作に従って、タイムスタンプトークンを含むレコードをタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。確定時刻付与部７２は、終端ハッシュ取得部７２１と、ナンス生成部７２２と、タイムスタンプトークン取得部７２３と、電子署名部７２４と、トランザクションデータ生成部７２５と、トランザクションデータ送信部７２６とを含む。
図７は、確定時刻付与部７２の機能ブロック図である。確定時刻付与部７２は、ユーザ操作に従って確定時刻をデータベース４３に記憶させる。加えて、確定時刻付与部７２は、上記ユーザ操作に従って、タイムスタンプトークンを含むレコードをタイムスタンプチェーン６２に追加するためのトランザクションデータを生成する。確定時刻付与部７２は、終端ハッシュ取得部７２１と、ナンス生成部７２２と、タイムスタンプトークン取得部７２３と、電子署名部７２４と、トランザクションデータ生成部７２５と、トランザクションデータ送信部７２６とを含む。
【0085】
なお、入力装置３４またはユーザ端末４２に対するユーザ操作に伴い要求が発生する。この要求は、確定時刻を付与する対象となる証拠チェーン６１を特定するためのＩＤである第１キーと、レコードを追加する対象となるタイムスタンプチェーン６２を特定するためのＩＤである第２キーとを含む。各機能ブロックは、第１キーにより特定される証拠チェーン６１と、第２キーにより特定されるタイムスタンプチェーン６２とを対象に処理を実行する。
【0086】
終端ハッシュ取得部７２１は、要求を受けると、証拠チェーン６１の終端レコードに対応するトランザクションデータを取り出す。終端ハッシュ取得部７２１は、取り出されたトランザクションデータから証拠チェーン６１の終端ハッシュ値（終端レコードのレコードハッシュ値）（Ｅｎｄ－ＲＨ）を取得する。終端ハッシュ取得部７２１は、終端ハッシュ値をタイムスタンプトークン取得部７２３およびトランザクションデータ生成部７２５に出力する。
【0087】
ナンス生成部７２２は、要求を受けると、ナンス値（Ｎｏｎｃｅ）を生成する。ナンス生成部７２２は、ナンス値をトランザクションデータ生成部７２５に出力する。図示しないが、電子署名の作成にナンス値が用いられる場合には、ナンス生成部７２２は、ナンス値を電子署名部７２４に出力してもよい。
【0088】
タイムスタンプトークン取得部７２３は、終端ハッシュ取得部７２１からの終端ハッシュ値に対するタイムスタンプトークン（ＴＳ）を取得する。より具体的には、タイムスタンプトークン取得部７２３は、終端ハッシュ値を通信装置３３を介して時刻認証局４１に送信する。時刻認証局４１は、終端ハッシュ値の送信元のクライアントサーバ３にタイムスタンプトークンを返す。これにより、タイムスタンプトークンが取得される。タイムスタンプトークン取得部７２３は、タイムスタンプトークンを確定時刻としてデータベース４３（ストレージ３６であってもよい）に記憶させる。加えて、タイムスタンプトークン取得部７２３は、タイムスタンプトークンを電子署名部７２４およびトランザクションデータ生成部７２５に出力する。
【0089】
電子署名部７２４は、ストレージ３６から秘密鍵５１を読み出す。電子署名部７２４は、タイムスタンプトークン取得部７２３からのタイムスタンプトークンを秘密鍵５１により暗号化することで電子署名（Ｓｉｇ）を作成する。電子署名部７２４は、ナンス生成部７２２からのナンス値を秘密鍵５１により暗号化することで電子署名を作成してもよい。電子署名部７２４は、タイムスタンプトークンおよびナンス値を秘密鍵５１により暗号化することで電子署名を作成してもよい。電子署名部７２４は、電子署名をトランザクションデータ生成部７２５に出力する。
【0090】
トランザクションデータ生成部７２５は、タイムスタンプチェーン６２に新たに追加するレコードの世代を算出する。この算出手法は、トランザクションデータ生成部７１４（図６参照）による算出手法と同様であるため、説明は繰り返さない。
【0091】
トランザクションデータ生成部７２５は、タイムスタンプチェーン６２の親レコードのレコードハッシュ値を前レコードハッシュ値（Ｐｒｅｖ－ＲＨ）として取得する（図示せず）。トランザクションデータ生成部７２５は、キー、世代、データ（終端ハッシュ値またはタイムスタンプトークン）、ナンス値、電子署名および前レコードハッシュ値をハッシュ化することでレコードハッシュ値（ＲＨ）を算出する。そして、トランザクションデータ生成部７２５は、キー、世代、タイムスタンプトークン、ナンス値、電子署名、終端ハッシュ値、前レコードハッシュ値およびレコードハッシュ値を含むトランザクションデータ（ＴＸ）を生成する。トランザクションデータは送信者情報をさらに含むことが望ましい。トランザクションデータ生成部７２５は、トランザクションデータをトランザクションデータ送信部７２６に出力する。
【0092】
トランザクションデータ送信部７２６は、トランザクションデータを送信するための制御信号を通信装置３３に出力する。これにより、トランザクションデータが通信装置３３を介してネットワークＮＷにブロードキャストされる。
【0093】
≪チューンの更新≫
図８は、チェーン更新部７３の機能ブロック図である。チェーン更新部７３は、トランザクション処理により証拠チェーン６１またはタイムスタンプチェーン６２に新たなレコードを追加することによって、証拠チェーン６１またはタイムスタンプチェーン６２を更新する。ここでは証拠チェーン６１を例に説明するが、実施の形態１ではタイムスタンプチェーン６２についても同様である。チェーン更新部７３は、トランザクションデータ取得部７３１と、署名検証部７３２と、レコード作成部７３３と、更新部７３４と、通知部７３５とを含む。
図８は、チェーン更新部７３の機能ブロック図である。チェーン更新部７３は、トランザクション処理により証拠チェーン６１またはタイムスタンプチェーン６２に新たなレコードを追加することによって、証拠チェーン６１またはタイムスタンプチェーン６２を更新する。ここでは証拠チェーン６１を例に説明するが、実施の形態１ではタイムスタンプチェーン６２についても同様である。チェーン更新部７３は、トランザクションデータ取得部７３１と、署名検証部７３２と、レコード作成部７３３と、更新部７３４と、通知部７３５とを含む。
【0094】
トランザクションデータ取得部７３１は、ネットワークＮＷからトランザクションデータ（ｔｘ）を取得する。トランザクションデータ取得部７３１は、トランザクションデータを署名検証部７３２に出力する。
【0095】
署名検証部７３２は、トランザクションデータに含まれる電子署名の有効性を検証する。前述のとおり、電子署名は、送信元のクライアントサーバ３の秘密鍵５１を用いてファイルハッシュ値が暗号化されたものである。まず、署名検証部７３２は、トランザクションデータに含まれる送信者情報に基づいて、当該トランザクションデータの送信元のクライアントサーバ３を特定する。そして、署名検証部７３２は、複数の公開鍵５２のうち、特定されたクライアントサーバ３の公開鍵をストレージ３６から読み出す。署名検証部７３２は、公開鍵を用いて、トランザクションデータに含まれる電子署名を復号する。署名検証部７３２は、復号した値と、トランザクションデータに含まれているファイルハッシュ値とを比較する。両者が一致した場合、署名検証部７３２は、電子署名の有効性を認め、その結果をレコード作成部７３３に出力する。
【0096】
レコード作成部７３３は、電子署名の有効性が認められた場合に、トランザクションデータに基づいて、証拠チェーン６１に追加するレコードを作成する。より具体的には、レコード作成部７３３は、トランザクションデータからキー、世代、ファイルハッシュ値、ナンス値、電子署名、前レコードハッシュ値およびレコードハッシュ値を取得し、これらの情報を含むレコードを作成する。レコード作成部７３３は、レコードを更新部７３４に出力する。
【0097】
更新部７３４は証拠チェーン６１を更新する。より具体的には、更新部７３４は、レコード作成部７３３からのレコードのキーを参照し、当該レコードを追加すべき証拠チェーン６１を特定する。そして、更新部７３４は、当該レコードを、特定された証拠チェーン６１に追加する。更新部７３４は、証拠チェーン６１の更新が完了すると、その旨を通知部７３５に出力する。
【0098】
通知部７３５は、トランザクション処理の完了を通知するための制御信号を通信装置３３に出力する。これにより、トランザクション処理の完了がトランザクションデータの送信元のクライアントサーバ３に通知される。
【0099】
≪ファイルの完全性の検証≫
図９は、ファイル検証部７４の機能ブロック図である。ファイル検証部７４は、レコードが証拠チェーン６１に格納されたファイルの完全性（当該ファイルが改ざんされていないこと）を検証する。検証対象は、証拠チェーン６１内の全てのファイルであってもよいし、ユーザにより選択された一部のファイルであってもよい。ファイル検証部７４は、ファイル取得部７４１と、ファイルハッシュ取得部７４２と、検証処理部７４３と、出力部７４４とを含む。
図９は、ファイル検証部７４の機能ブロック図である。ファイル検証部７４は、レコードが証拠チェーン６１に格納されたファイルの完全性（当該ファイルが改ざんされていないこと）を検証する。検証対象は、証拠チェーン６１内の全てのファイルであってもよいし、ユーザにより選択された一部のファイルであってもよい。ファイル検証部７４は、ファイル取得部７４１と、ファイルハッシュ取得部７４２と、検証処理部７４３と、出力部７４４とを含む。
【0100】
ファイル取得部７４１は、検証対象のファイルを選択するユーザ操作を入力装置３４（ユーザ端末４２であってもよい）から受ける。ユーザは、たとえば、まず証拠チェーン６１を特定する。その上で、ユーザは、レコードがその証拠チェーンに格納された複数のファイルの全てを検証対象として特定してもよい。あるいは、ユーザは、複数のファイルのうちの一部を検証対象として特定してもよい。これにより、検証対象のファイルが選択される。ファイル取得部７４１は、選択されたファイルをデータベース４３から取得し、取得されたファイルを検証処理部７４３に出力する。
【0101】
ファイルハッシュ取得部７４２は、ユーザにより選択されたファイルについて、ストレージ３６内の証拠チェーン６１に格納された対応するファイルハッシュ値（ＦＨ）を取得する。ファイルハッシュ取得部７４２は、ファイルハッシュ値を検証処理部７４３に出力する。
【0102】
検証処理部７４３は、ファイル取得部７４１からのファイルと、ファイルハッシュ取得部７４２からのファイルハッシュ値とが整合するかどうかに基づいて、当該ファイルの改ざんの有無を判定する。より具体的には、検証処理部７４３は、ファイル取得部７４１からのファイルをハッシュ関数を用いてハッシュ化する。そして、検証処理部７４３は、ファイルごとに、ハッシュ化により得られたファイルハッシュ値と、ファイルハッシュ取得部７４２からのファイルハッシュ値とを比較する。検証処理部７４３は、あるファイルについて、２つのファイルハッシュ値が互いに一致した場合には、当該ファイルは改ざんされていないと判定する（改ざん非検知）。一方、検証処理部７４３は、他のファイルについて、２つのファイルハッシュ値が一致しない場合には、当該ファイルは改ざんされた可能性があると判定する（改ざん検知）。検証処理部７４３は、検証結果（ファイルごとの改ざん検知／改ざん非検知、どのファイルが改ざんされているかなど）を出力部７４４に出力する。
【0103】
出力部７４４は、検証処理部７４３による検証結果を出力装置３５（ユーザ端末４２であってもよい）に出力する。これにより、ユーザにより選択された１以上のファイルについて、ユーザが検証結果を確認できる。
【0104】
≪確定時刻の完全性の検証≫
図１０は、確定時刻検証部７５の機能ブロック図である。確定時刻検証部７５は、タイムスタンプトークンにより証明される確定時刻の完全性（当該確定時刻が改ざんされていないこと）を検証する。検証対象は、タイムスタンプチェーン６２内の全ての確定時刻であってもよいし、ユーザにより選択された一部の確定時刻であってもよい。確定時刻検証部７５は、確定時刻取得部７５１と、タイムスタンプトークン取得部７５２と、検証処理部７５３と、出力部７５４とを含む。
図１０は、確定時刻検証部７５の機能ブロック図である。確定時刻検証部７５は、タイムスタンプトークンにより証明される確定時刻の完全性（当該確定時刻が改ざんされていないこと）を検証する。検証対象は、タイムスタンプチェーン６２内の全ての確定時刻であってもよいし、ユーザにより選択された一部の確定時刻であってもよい。確定時刻検証部７５は、確定時刻取得部７５１と、タイムスタンプトークン取得部７５２と、検証処理部７５３と、出力部７５４とを含む。
【0105】
確定時刻取得部７５１は、検証対象の確定時刻を選択するユーザ操作を入力装置３４（ユーザ端末４２であってもよい）から受ける。ユーザは、たとえば、まずタイムスタンプチェーン６２を特定する。その上で、ユーザは、そのタイムスタンプチェーンに含まれる複数の確定時刻の全てを検証対象として特定してもよい。あるいは、ユーザは、複数の確定時刻のうちの一部を検証対象として特定してもよい。これにより、検証対象の確定時刻が選択される。後述するように、ファイルを選択するユーザ操作に従って、検証対象の確定時刻が自動で選択されてもよい。確定時刻取得部７５１は、選択された確定時刻をデータベース４３から取得し、取得された確定時刻を検証処理部７５３に出力する。
【0106】
タイムスタンプトークン取得部７５２は、ユーザにより選択された確定時刻について、ストレージ３６内のタイムスタンプチェーン６２に格納された対応するタイムスタンプトークン（ＴＳ）を取得する。タイムスタンプトークン取得部７５２は、タイムスタンプトークンを検証処理部７５３に出力する。
【0107】
検証処理部７５３は、確定時刻取得部７５１（データベース４３）からの確定時刻と、タイムスタンプトークン取得部７５２（タイムスタンプチェーン６２）からのタイムスタンプトークンとが整合するかどうかに基づいて、当該確定時刻の改ざんの有無を判定する。より具体的には、検証処理部７５３は、確定時刻取得部７５１からの確定時刻と、タイムスタンプトークン取得部７５２からのタイムスタンプトークンとを比較する。検証処理部７５３は、ある確定時刻と、その確定時刻に対応するタイムスタンプトークンとが互いに一致した場合には、当該確定時刻は改ざんされていないと判定する（改ざん非検知）。一方、検証処理部７５３は、他の確定時刻と、その確定時刻に対応するタイムスタンプトークンとが一致しない場合には、当該確定時刻は改ざんされた可能性があると判定する（改ざん検知）。検証処理部７５３は、検証結果（確定時刻ごとの改ざん検知／改ざん非検知、どの確定時刻が改ざんされているかなど）を出力部７５４に出力する。
【0108】
出力部７５４は、検証処理部７５３による検証結果を出力装置３５（ユーザ端末４２であってもよい）に出力する。これにより、ユーザにより選択された１以上の確定時刻について、ユーザが検証結果を確認できる。
【0109】
≪順序性の検証≫
図１１は、順序性検証部７６の機能ブロック図である。順序性検証部７６は、レコードが証拠チェーン６１に格納されたファイル、および／またはタイムスタンプチェーン６２により証明される確定時刻の順序性（ファイルおよび／または確定時刻がどのような時間的な並びであるか）を検証する。順序性検証部７６は、終端ハッシュ取得部７６１と、前レコードハッシュ取得部７６２と、レコードハッシュ取得部７６３と、検証処理部７６４と、出力部７６５とを含む。
図１１は、順序性検証部７６の機能ブロック図である。順序性検証部７６は、レコードが証拠チェーン６１に格納されたファイル、および／またはタイムスタンプチェーン６２により証明される確定時刻の順序性（ファイルおよび／または確定時刻がどのような時間的な並びであるか）を検証する。順序性検証部７６は、終端ハッシュ取得部７６１と、前レコードハッシュ取得部７６２と、レコードハッシュ取得部７６３と、検証処理部７６４と、出力部７６５とを含む。
【0110】
まず、入力装置３４（ユーザ端末４２であってもよい）に対して、ユーザが検証対象とするファイルおよび／または確定時刻を選択する操作を行う。この選択の仕方は図９および図１０にて説明した仕方と同様である。以下では複数のファイルおよび複数の確定時刻が選択された状況を例に説明する。終端ハッシュ取得部７６１、前レコードハッシュ取得部７６２およびレコードハッシュ取得部７６３の各々は、どのファイルおよびどの確定時刻がユーザにより選択されたかを受ける。
【0111】
終端ハッシュ取得部７６１は、タイムスタンプチェーン６２から、選択された複数の確定時刻の各々に対応するレコードの終端ハッシュ値（Ｅｎｄ－ＲＨ）を取得する。確定時刻取得部７５１は、終端ハッシュ値を検証処理部７６４に出力する。
【0112】
前レコードハッシュ取得部７６２は、証拠チェーン６１から、選択された複数のファイルの各々に対応するレコードの前レコードハッシュ値（Ｐｒｅｖ－ＲＨ）を取得するとともに、タイムスタンプチェーン６２から、選択された複数の確定時刻の各々に対応するレコードの前レコードハッシュ値を取得する。前レコードハッシュ取得部７６２は、前レコードハッシュ値を検証処理部７６４に出力する。
【0113】
レコードハッシュ取得部７６３は、証拠チェーン６１から、選択された複数のファイルの各々に対応するレコードのレコードハッシュ値（ＲＨ）を取得するとともに、タイムスタンプチェーン６２から、選択された複数の確定時刻の各々に対応するレコードのレコードハッシュ値を取得する。レコードハッシュ取得部７６３は、レコードハッシュ値を検証処理部７６４に出力する。
【0114】
検証処理部７６４は、終端ハッシュ取得部７６１からの終端ハッシュ値と、前レコードハッシュ取得部７６２からの前レコードハッシュ値と、レコードハッシュ取得部７６３からのレコードハッシュ値とに基づいて、選択された複数のファイルおよび複数の確定時刻の時間的な並び（前後関係）を検証する。図３および図４にて説明したように、前レコードハッシュ値とレコードハッシュ値とに基づいて、同じチェーン内でのレコードの並び（親子関係）を特定できる。また、終端ハッシュ値とレコードハッシュ値とに基づいて、異なるチェーン間でのレコードの並びを特定できる。したがって、検証処理部７６４は、複数のファイルおよび複数の確定時刻の順序を特定可能である。検証処理部７６４は、検証結果（複数のファイルおよび複数の確定時刻の時間的な並び）を出力部７６５に出力する。
【0115】
出力部７６５は、検証処理部７６４による検証結果を出力装置３５（ユーザ端末４２であってもよい）に出力する。これにより、ユーザにより選択された１以上のファイルおよび／または１以上の確定時刻について、ユーザが検証結果を確認できる。
【0116】
なお、ここでは、複数のファイルおよび複数の確定時刻が選択された状況を例に説明した。複数のファイルのみが選択され、確定時刻が選択されなくてもよい。あるいは、複数の確定時刻のみが選択され、ファイルが選択されなくてもよい。これらの場合にも全てのレコードの順序を特定可能であることが当業者であれば上記説明により容易に理解される。
【0117】
＜処理フロー＞
図１２は、実施の形態１における検証処理全体の処理手順の一例を示すフローチャートである。このフローチャートに示される処理は、予め定められた条件の成立時（たとえば予め定められた周期ごと）にメインルーチンから呼び出されて実行される。各ステップは、クライアントサーバ３（プロセッサ３１）によるソフトウェア処理により実現されるが、クライアントサーバ３内に配置されたハードウェア（電気回路）により実現されてもよい。以下、ステップをＳと略す。後述する実施の形態２におけるフローチャートに関しても同様である。
図１２は、実施の形態１における検証処理全体の処理手順の一例を示すフローチャートである。このフローチャートに示される処理は、予め定められた条件の成立時（たとえば予め定められた周期ごと）にメインルーチンから呼び出されて実行される。各ステップは、クライアントサーバ３（プロセッサ３１）によるソフトウェア処理により実現されるが、クライアントサーバ３内に配置されたハードウェア（電気回路）により実現されてもよい。以下、ステップをＳと略す。後述する実施の形態２におけるフローチャートに関しても同様である。
【0118】
Ｓ１１において、クライアントサーバ３は、検証機能を選択するユーザ操作を入力装置３４またはユーザ端末４２が受け付けたかどうかを判定する。
【0119】
図１３は、ユーザが検証機能を選択するためのユーザインターフェイス（ＵＩ：User Interface）の一例を示す図である。このＵＩは、出力装置３５またはユーザ端末４２に表示される。
【0120】
ＵＩは、たとえば、選択可能な証拠チェーンを示すナビゲーションリスト８１と、ユーザにより選択された証拠チェーンを示すフィールド８２とを有する。この例では「証拠チェーンＸ」が選択されている。ＵＩは、たとえば３つのタブ８３１～８３３をさらに有する。タブ８３１は、ファイル一覧を表示するためのタブである。タブ８３２は、履歴を表示するためのタブである。タブ８３３は、ファイル共有のためのタブである。
【0121】
履歴を表示するためのタブ８３２が選択された場合、３種類の検証機能の中からいずれか１つを選択するための３つのボタン８４１～８４３が表示される。ボタン８４１は「全ファイルを検証」ボタンである。ボタン８４２は「選択ファイルを検証」ボタンである。ボタン８４３は「順序性のみ検証」ボタンである。図１３ではボタン８４１の操作により「全ファイルを検証」が選択されている。
【0122】
図１２および図１３を参照して、入力装置３４またはユーザ端末４２がユーザ操作（より具体的にはボタン８４１～８４３のうちのいずれかに対する操作）を受け付けていない場合（Ｓ１１においてＮＯ）、クライアントサーバ３は、以降の処理を実行することなく処理をメインルーチンに戻す。
【0123】
入力装置３４またはユーザ端末４２が上記ユーザ操作を受け付けた場合（Ｓ１１においてＹＥＳ）、クライアントサーバ３は、処理をＳ１２に進め、ユーザにより操作されたボタンがボタン８４１～８４３のうちのどのボタンかを判定する。
【0124】
全ファイルの検証を指示するボタン８４１が操作された場合（Ｓ１２において「全ファイルを検証」）、クライアントサーバ３は、全ファイルに対するファイル検証処理（Ｓ１３１）と、全確定時刻に対する確定時刻検証（Ｓ１３２）と、順序性検証処理（Ｓ１３３）とを実行する。これらの処理の実行順序は任意である。ファイル検証処理、確定時刻検証および順序性検証処理は、それぞれ、ファイル検証部７４（図９参照）、確定時刻検証部７５（図１０参照）および順序性検証部７６（図１１参照）により実現される。
【0125】
３つの検証処理の実行後、クライアントサーバ３は、検証処理が完了したことをユーザに通知する（Ｓ１６）。クライアントサーバ３は、検証処理が完了した旨のメッセージを出力装置３５（ユーザ端末４２であってもよい）に表示してもよいし、検証処理が完了した旨のメールをユーザ端末４２に送信してもよい。そして、クライアントサーバ３は、検証結果を出力装置３５（ユーザ端末４２であってもよい）に表示する（Ｓ１７）。
【0126】
Ｓ１２に戻り、選択されたファイルの検証を指示するボタン８４２が操作された場合（Ｓ１２において「選択されたファイルを検証」）、クライアントサーバ３は、選択されたファイルに対するファイル検証処理（Ｓ１４１）と、選択された確定時刻に対する確定時刻検証（Ｓ１４２）とを実行する。その後、クライアントサーバ３は、検証完了をユーザに通知し（Ｓ１６）、検証結果を出力装置３５（ユーザ端末４２であってもよい）に表示する（Ｓ１７）。
【0127】
順序性のみの検証を指示するボタン８４３が操作された場合（Ｓ１２において「順序性のみ検証」）、クライアントサーバ３は、順序性検証処理（Ｓ１５１）を実行する。その後、クライアントサーバ３は、検証完了をユーザに通知し（Ｓ１６）、検証結果を出力装置３５またはユーザ端末４２に表示する（Ｓ１７）。
【0128】
なお、ファイル検証処理、確定時刻検証および順序性検証処理は、本開示に係る「第１検証処理」～「第３検証処理」にそれぞれ相当する。選択されたファイルの検証を指示するボタン８４２の操作は、本開示に係る「第１ユーザ操作」に相当する。全ファイルの検証を指示するボタン８４１の操作は、本開示に係る「第２ユーザ操作」に相当する。順序性のみの検証を指示するボタン８４３の操作は、本開示に係る「第３ユーザ操作」に相当する。
【0129】
＜検証結果の表示＞
以下、「全ファイルを検証」、「選択されたファイルを検証」および「順序性のみ検証」のうちのどれが選択されたかに応じて、検証結果が表示されるＵＩがどのように異なるかについて説明する。
以下、「全ファイルを検証」、「選択されたファイルを検証」および「順序性のみ検証」のうちのどれが選択されたかに応じて、検証結果が表示されるＵＩがどのように異なるかについて説明する。
【0130】
≪全ファイルを検証≫
図１４は、「全ファイルを検証」が選択された場合に検証結果が表示されるＵＩの一例を示す図である。検証処理が完了すると、「検証が完了しました」との通知８５とともに、第１ボックス８６１、第２ボックス８６２および第３ボックス８６３が表示される。
図１４は、「全ファイルを検証」が選択された場合に検証結果が表示されるＵＩの一例を示す図である。検証処理が完了すると、「検証が完了しました」との通知８５とともに、第１ボックス８６１、第２ボックス８６２および第３ボックス８６３が表示される。
【0131】
第１ボックス８６１は検証結果のまとめ（結論）を示す。たとえば、いずれかのレコード（ファイルまたは確定時刻）に改ざんが発見された場合、「改ざんが見つかりました」とのメッセージが第１ボックス８６１に表示される。一方、どのレコードにも改ざんが発見されなかった場合、図１４に示すように、「改ざんは見つかりませんでした」とのメッセージが第１ボックス８６１に表示される。
【0132】
第２ボックス８６２は、検証処理の対象とした証拠チェーンを示す。図１４に示す例では「証拠チェーンＸ」が第２ボックス８６２に表示されている。
【0133】
第３ボックス８６３は、検証結果の詳細を図解して示す。図３および図４に説明したように、ファイルの世代と確定時刻の世代とは別々のチェーンで互いに独立に管理されている。以降の検証結果の説明では、ファイルの世代にＡを付し、確定時刻の世代にＢを付すことで両者を区別する。しかし、この区別は混同を避けて理解を容易にするためのものであり、必須ではない。
【0134】
図１５は、「全ファイルを検証」が選択された場合の第３ボックス８６３における検証結果の表示の一例を示す図である。ここでは３以上のファイルが選択された状況を想定する。この場合、たとえば、始端レコードの検証結果を示すセクション９１１と、終端レコードの検証結果を示すセクション９１３とが表示される。図１５に示す例では、セクション９１１は、確定時刻検証処理によるＡｇｅ＝１Ｂの確定時刻の改ざんの有無の検証結果を示す。セクション９１３は、ファイル検証処理によるＡｇｅ＝８Ａのファイルの改ざんの有無の検証結果を示す。
【0135】
一方、始端レコードと終端レコードとの間のレコードについては、検証結果（Ａｇｅ＝１Ａ～２Ｂのファイルまたは確定時刻の改ざんの有無）を含まないブランクのセクション９１２が表示される。すなわち、始端レコードと終端レコードとの間のレコードについては表示が省略される。ユーザがセクション９１２内の詳細表示ボタン９１４を選択すると、中間のレコードの検証結果を示すセクション９１２Ａ～９１２Ｈが表示される。セクション９１１，９１２Ａ～９１２Ｈ，９１３におけるファイルおよび確定時刻の並びは、順序性検証処理の結果に基づく時系列である。このように、始端レコードと終端レコードとの間のレコードについては表示を省略して全体をシンプルな表示とすることで、ユーザが検証結果の概要を把握しやすくなる。なお、選択されたファイルが１個または２個のみの場合には中間のセクション９１２は表示されない。
【0136】
「全ファイルを検証」では、全てのファイルおよび全ての確定時刻についての検証結果が表示される。したがって、「全ファイルを検証」は、ユーザ間でトラブル（改ざんの疑義）が発生した場合などに特に有効である。あるユーザが他のユーザに全ての検証結果を提示することで当該他のユーザを納得させることができるためである。
【0137】
図１５に示す例では、両端のセクション９１１，９１３のサイズが中間のセクション９１２Ａ～９１２Ｈのサイズよりも大きい。このように、始端レコードの検証結果を示すセクションおよび終端レコードの検証結果を示すセクションを、始端レコードと終端レコードとの間のレコードの検証結果を示すセクションよりも大きく表示することが望ましい。これにより、始端レコードおよび終端レコードに関する検証結果をユーザが容易に確認できる。
【0138】
また、ファイルの改ざんの有無の検証結果を示すセクションと、確定時刻の改ざんの有無の検証結果を示すセクションとの間で表示の仕方を異ならせることが望ましい。図１５ではハッチングの有無により表示の仕方の違いが表現されている。これにより、ファイルの改ざんの有無の検証結果と、確定時刻の改ざんの有無の検証結果とをユーザが容易に区別できる。
【0139】
特に、確定時刻の改ざんの有無の検証結果を示すセクションが、ファイルの改ざんの有無の検証結果を示すセクションよりも強調して表示されるようにすることが望ましい。これにより、ユーザが確定時刻に関する検証結果をファイルに関する検証結果から容易に区別して確認できる。これは、一般に、確定時刻の付与数の方がファイルの登録数よりも少ないにもかかわらず、確定時刻がトラブルの解決に資することが多いためである。
【0140】
強調表示の手法としては様々な公知の手法を採用し得る。たとえば、両セクション間で互いに異なる色を使用してもよい。色の組み合わせ（暖色／寒色、進出色／後退色、膨張色／収縮色など）に基づく特性を利用して確定時刻の改ざんの有無の検証結果を強調表示できる。また、確定時刻の改ざんの有無の検証結果を示すセクションを濃い色で表示する一方で、ファイルの改ざんの有無の検証結果を示すセクションを淡い色で表示してもよい。同じ系統の色であっても濃い色は強調の度合いが強く、淡い色は強調の度合いが弱い。あるいは、確定時刻の改ざんの有無の検証結果を示すセクションを、ファイルの改ざんの有無の検証結果を示すセクションよりも大きく表示してもよい。確定時刻の改ざんの有無の検証結果を示すセクションのみに枠を追加してもよい。確定時刻の改ざんの有無の検証結果を示すセクションのみを点滅させてもよい。
【0141】
さらに、図１５に示す例では確定時刻として、年・月・日・時・分・秒が表示されている。しかし、その一部だけが表示されるようにユーザが選択可能であってもよい。ユーザ操作に応じて、たとえば、年だけが表示されてもよいし、年月だけが表示されてもよいし、年月日だけが表示されてもよい。時間的な粒度をユーザが適宜選択できるようにすることで、必要な粒度の確定時刻をユーザが容易に確認することが可能になる。
【0142】
≪選択されたファイルを検証≫
図１６は、「選択されたファイルを検証」が選択された場合に検証処理の開始前に表示されるＵＩの一例を示す図である。「選択ファイルを検証」を指示するボタン８４２が操作された場合、ユーザが検証対象のファイルを選択するためのファイル選択ボックス８４４が表示される。
図１６は、「選択されたファイルを検証」が選択された場合に検証処理の開始前に表示されるＵＩの一例を示す図である。「選択ファイルを検証」を指示するボタン８４２が操作された場合、ユーザが検証対象のファイルを選択するためのファイル選択ボックス８４４が表示される。
【0143】
図１７は、ファイル選択ボックス８４４における表示の一例（第１例）を示す図である。ファイル選択ボックス８４４には、選択された証拠チェーン６１にファイルハッシュ値が格納されたファイルの名前と、関連する確定時刻とが、たとえば昇順または降順（図１７では降順）に表示される。ユーザがファイルの名前の横のチェックボックスにチェックを入れることでファイルが選択される。本実施の形態では、選択されたファイルに応じて確定時刻が自動で選択される。
【0144】
図１７に示した例では、Ａｇｅ＝１７Ａのファイルと、Ａｇｅ＝１６Ａのファイルとがユーザにより選択されている。この場合、ユーザにより選択された複数のファイルのうち、最も新しいＡｇｅ＝１７Ａのファイルの直後のＡｇｅ＝４Ｂの確定時刻と、最も古いＡｇｅ＝１６Ａのファイルの直前のＡｇｅ＝３Ｂの確定時刻とが自動で選択される。なお、最新ファイルの「直後」の確定時刻とは、ファイルおよび確定時刻の時間的な並びにおいて、最新ファイルよりも後であり、かつ最新ファイルに最も近い確定時刻である。最古ファイルの「直前」の確定時刻とは、ファイルおよび確定時刻の時間的な並びにおいて、最古ファイルよりも前であり、かつ最新ファイルに最も近い確定時刻である。
【0145】
図１８は、「選択されたファイルを検証」が選択された場合に検証結果が表示されるＵＩの一例を示す図である。「全ファイルを検証」が選択された場合（図１４参照）と同様に、検証結果の詳細が第３ボックス８６３に図解して表示される。
【0146】
図１９は、「選択されたファイルを検証」が選択された場合の第３ボックス８６３における検証結果の詳細の表示の一例を示す図である。図１７にて説明したようにファイルが選択された場合、図１９に示すように少なくとも４つのセクション９２１～９２４が表示される。
【0147】
セクション９２１は、自動で選択されたＡｇｅ＝４Ｂの確定時刻についての確定時刻検証処理による検証結果を示す。セクション９２２は、ユーザにより選択されたＡｇｅ＝１７Ａのファイルについてのファイル検証処理による検証結果を示す。セクション９２３は、ユーザにより選択されたＡｇｅ＝１６Ａのファイルについてのファイル検証処理による検証結果を示す。セクション９２４は、自動で選択されたＡｇｅ＝３Ｂの確定時刻についての確定時刻検証処理による検証結果を示す。
【0148】
このように、図１７に示した例では、ユーザにより選択されたＡｇｅ＝１６Ａのファイルと、同じくユーザにより選択されたＡｇｅ＝１７Ａのファイルと、最古のファイルの直前のＡｇｅ＝３Ｂの確定時刻と、最新のファイルの直後のＡｇｅ＝４Ｂの確定時刻とが検証の対象とされる（図１９参照）。これにより、Ａｇｅ＝１６ＡのファイルとＡｇｅ＝１７Ａのファイルとが、Ａｇｅ＝３Ｂの確定時刻とＡｇｅ＝４Ｂの確定時刻との間に分散型台帳６（証拠チェーン６１）に格納されたことを証明できる。よって、本実施の形態によれば、ファイルおよび確定時刻の順序性を簡易なユーザ操作で効果的に検証できる。なお、図１７では２つのファイルが選択される例について説明したが、３以上のファイルが選択されてもよい。
【0149】
図２０は、ファイル選択ボックス８４４における表示の他の一例（第２例）を示す図である。図２０に示す例では、Ａｇｅ＝１６Ａのファイルと、Ａｇｅ＝１５Ａのファイルとがユーザにより選択されている。この場合、最古ファイルの直前のＡｇｅ＝２Ｂの確定時刻と、最新ファイルの直後のＡｇｅ＝４Ｂの確定時刻とが自動で選択される。それに加えて、最新ファイルと最古ファイルとの間に挟まれたＡｇｅ＝３Ｂの確定時刻も自動で選択される。
【0150】
図２１は、「選択されたファイルを検証」が選択された場合の第３ボックス８６３における検証結果の詳細の表示の他の一例を示す図である。図２０にて説明したようにファイルが選択された場合、図２１に示すように少なくとも５つのセクション９３１～９３５が表示される。
【0151】
セクション９３１は、自動で選択されたＡｇｅ＝４Ｂの確定時刻についての確定時刻検証処理による検証結果を示す。セクション９３２は、ユーザにより選択されたＡｇｅ＝１６Ａのファイルについてのファイル検証処理による検証結果を示す。セクション９３３は、自動で選択されたＡｇｅ＝３Ｂの確定時刻についての確定時刻検証処理による検証結果を示す。セクション９３４は、ユーザにより選択されたＡｇｅ＝１５Ａのファイルについてのファイル検証処理による検証結果を示す。セクション９３５は、自動で選択されたＡｇｅ＝２Ｂの確定時刻についての確定時刻検証処理による検証結果を示す。
【0152】
「選択されたファイルを検証」では、ユーザにより選択されたファイル（およびそれに基づいて自動で選択された確定時刻）についての検証結果が表示される。言い換えれば、「選択されたファイルを検証」では、選択されなかったファイル（およびそれに基づいて自動で選択される確定時刻）についての検証は非実行となる。そのため、「選択されたファイルを検証」の所要時間は「全ファイルを検証」の所要時間よりも短い。したがって、「選択されたファイルを検証」は、トラブル（改ざんの疑義）の対象となり得るファイルまたは確定時刻の範囲が予めが絞られている場合などに特に有効である。
【0153】
図２０に示した例では、Ａｇｅ＝１５ＡのファイルとＡｇｅ＝１６Ａのファイルとの間にＡｇｅ＝３Ｂの確定時刻が存在する。この場合に、図２１に示すように、Ａｇｅ＝１５ＡのファイルとＡｇｅ＝３Ｂの確定時刻との時間的な並びが証明されるとともに、Ａｇｅ＝１６ＡのファイルとＡｇｅ＝３Ｂの確定時刻との時間的な並びが証明される。よって、本実施の形態によれば、ファイルおよび確定時刻の順序性を、より詳細に検証できる。
【0154】
≪順序性のみ検証≫
図２２は、「順序性のみ検証」が選択された場合に検証処理の開始前に表示されるＵＩの一例を示す図である。「順序性のみ検証」を指示するボタン８４３が操作された場合、レコードが該当の証拠チェーンに格納された全てのファイル（およびそれに伴う全ての確定時刻）の順序性が検証される。一方で、ファイルおよび確定時刻の完全性は検証されない。
図２２は、「順序性のみ検証」が選択された場合に検証処理の開始前に表示されるＵＩの一例を示す図である。「順序性のみ検証」を指示するボタン８４３が操作された場合、レコードが該当の証拠チェーンに格納された全てのファイル（およびそれに伴う全ての確定時刻）の順序性が検証される。一方で、ファイルおよび確定時刻の完全性は検証されない。
【0155】
図２３は、「順序性のみ検証」が選択された場合に検証結果が表示されるＵＩの一例を示す図である。「全ファイルを検証」または「選択されたファイルを検証」が選択された場合（図１４および図１８参照）と同様に、検証結果の詳細が第３ボックス８６３に図解して表示される。
【0156】
図２４は、「順序性のみ検証」が選択された場合の第３ボックス８６３における検証結果の詳細の表示の一例を示す図である。図１５と同じ例を用いて説明すると、始端レコードの検証結果を示すセクション９４１と、中間のレコードの検証結果を示すセクション９４２Ａ～９４２Ｈと、終端レコードの検証結果を示すセクション９４３とが、順序性検証処理の結果に基づく時系列に表示される。一方で、各セクションには、「改ざんが見つかりました」または「改ざんは見つかりませんでした」とのメッセージは表示されない。
【0157】
以上のように、実施の形態１において、クライアントサーバ３は、ファイル検証処理と確定時刻検証処理と順序性検証処理とを実行するように構成されている。ファイル検証処理によりファイルの完全性（ファイルが改ざんされたかどうか）を検証可能である。確定時刻検証処理により確定時刻の完全性（確定時刻が改ざんされたかどうか）を検証可能である。順序性検証処理により分散型台帳６におけるファイルおよび確定時刻の順序性を検証可能である。よって、実施の形態１によれば、ファイルおよび確定時刻が適切に管理されているかどうかを検証できる。
【0158】
クライアントサーバ３は、「全ファイルを検証」と「選択されたファイルを検証」と「順序性のみ検証」との中から、いずれか１つをユーザが選択可能に構成されている。これにより、ユーザが要求する検証をユーザ所望のタイミングで行うことができる。
【0159】
「全ファイルを検証」が選択された場合、全てのファイルの完全性および全ての確定時刻の完全性が検証される。これにより、ファイルおよび確定時刻の完全性を徹底的に検証できる。「選択されたファイルを検証」が選択された場合、ユーザにより選択された一部のファイルおよび／または一部の確定時刻に検証対象が限定される。これにより、検証コスト（工数、時間、システム負荷など）を適宜低減できる。「順序性のみ検証」が選択された場合、ファイルおよび確定時刻の順序性が選択的に検証される。これにより、完全性の検証が要求されない場合に順序性を効率的に検証できる。
【0160】
［実施の形態２］
実施の形態１では、１つの証拠チェーン６１に対して１つのタイムスタンプチェーン６２が関連付けられる例について説明した（図４参照）。実施の形態２においては、複数の証拠チェーンに対して１つのタイムスタンプチェーンが関連付けられる例について説明する。実施の形態２に係るデータ管理システムおよびクライアントサーバの構成は、実施の形態１に係るデータ管理システム１およびクライアントサーバ３の構成（図１および図２参照）と同等である。
実施の形態１では、１つの証拠チェーン６１に対して１つのタイムスタンプチェーン６２が関連付けられる例について説明した（図４参照）。実施の形態２においては、複数の証拠チェーンに対して１つのタイムスタンプチェーンが関連付けられる例について説明する。実施の形態２に係るデータ管理システムおよびクライアントサーバの構成は、実施の形態１に係るデータ管理システム１およびクライアントサーバ３の構成（図１および図２参照）と同等である。
【0161】
＜分散型台帳＞
図２５は、実施の形態２における分散型台帳６のデータ構造の一例を示す図である。この例では、３つの証拠チェーン６３Ｘ，６３Ｙ，６３Ｚと１つのタイムスタンプチェーン６４とが互いに関連付けられている。証拠チェーン６３Ｘ，６３Ｙ，６３Ｚの各々は、実施の形態１にて説明した証拠チェーン６１（図３参照）と同様である。以下、簡単のため、証拠チェーン６３Ｘ，６３Ｙ，６３Ｚをそれぞれ証拠チェーンＸ，Ｙ，Ｚとも記載する。
図２５は、実施の形態２における分散型台帳６のデータ構造の一例を示す図である。この例では、３つの証拠チェーン６３Ｘ，６３Ｙ，６３Ｚと１つのタイムスタンプチェーン６４とが互いに関連付けられている。証拠チェーン６３Ｘ，６３Ｙ，６３Ｚの各々は、実施の形態１にて説明した証拠チェーン６１（図３参照）と同様である。以下、簡単のため、証拠チェーン６３Ｘ，６３Ｙ，６３Ｚをそれぞれ証拠チェーンＸ，Ｙ，Ｚとも記載する。
【0162】
タイムスタンプチェーン６４は、この例では８つのレコードＲ４１～Ｒ４８を含む。各レコードは、実施の形態１におけるタイムスタンプチェーン６２（図３参照）に格納されるレコードと同様に、キー（Ｋｅｙ）と、世代（Ａｇｅ）と、データ（Ｄａｔａ）と、ナンス値（Ｎｏｎｃｅ）と、電子署名（Ｓｉｇ）と、前レコードハッシュ値（Ｐｒｅｖ－ＲＨ）と、レコードハッシュ値（ＲＨ）とを含む。タイムスタンプチェーン６４は、終端ハッシュ値として、３つの証拠チェーンＸ，Ｙ，Ｚのうちの１つ、２つまたは３つの証拠チェーンの終端ハッシュ値が格納される点において、タイムスタンプチェーン６２と異なる（レコードＲ４１，Ｒ４３，Ｒ４５，Ｒ４７）。タイムスタンプチェーン６４に含まれる上記以外の情報は、タイムスタンプチェーン６２の対応する情報と同様である。
【0163】
図２６は、実施の形態２において証拠チェーンＸ，Ｙ，Ｚおよびタイムスタンプチェーン６４に格納されたレコード間の関係を説明するための概念図である。実施の形態２では、タイムスタンプチェーン６４を更新する更新処理が繰り返し実行される。更新処理は、予め定められた期間が経過するごとに実行され得る。この例では１日に１回ずつ更新処理が実行される。
【0164】
一方、証拠チェーンＸ，Ｙ，Ｚが毎日更新されるとは必ずしも限らない。そのため、実施の形態２では、証拠チェーンＸ，Ｙ，Ｚのうち、更新処理の前回実行時（すなわち前日）から更新された証拠チェーンに関する情報のみがタイムスタンプチェーン６４に格納される。以下、各日においてタイムスタンプチェーン６４がどのように更新されるかについて、図２５および図２６を参照しながら説明する。なお、図２６では、レコードにデータ（Ｄａｔａ）として格納されるファイルハッシュ値（ＦＨ）、終端ハッシュ値（ｈ）、タイムスタンプトークン（ＴＳ）が図示される一方で、紙面が煩雑になるのを避けるため、前レコードハッシュ値およびレコードハッシュ値の図示が省略されている。
【0165】
≪第Ｎ日≫
第Ｎ日には証拠チェーンＸ，Ｚのみが更新されたとする。証拠チェーンＸには、新たなファイルハッシュ値ＦＨｘ（Ｎ）と、ファイルハッシュ値ＦＨｘ（Ｎ）に基づいて生成される証拠チェーンＸの終端ハッシュ値ｈｘ（Ｎ）とが格納されている。証拠チェーンＺには同様に、新たなファイルハッシュ値ＦＨｚ（Ｎ）と、ファイルハッシュ値ＦＨｚ（Ｎ）に基づいて生成される証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ）とが格納されている。
第Ｎ日には証拠チェーンＸ，Ｚのみが更新されたとする。証拠チェーンＸには、新たなファイルハッシュ値ＦＨｘ（Ｎ）と、ファイルハッシュ値ＦＨｘ（Ｎ）に基づいて生成される証拠チェーンＸの終端ハッシュ値ｈｘ（Ｎ）とが格納されている。証拠チェーンＺには同様に、新たなファイルハッシュ値ＦＨｚ（Ｎ）と、ファイルハッシュ値ＦＨｚ（Ｎ）に基づいて生成される証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ）とが格納されている。
【0166】
クライアントサーバ３は、第Ｎ日における証拠チェーンＸの終端ハッシュ値ｈｘ（Ｎ）と、第Ｎ日における証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ）とを、その時点でのタイムスタンプチェーン６４の終端レコードＲ４１に格納する。さらに、クライアントサーバ３は、終端ハッシュ値ｈｘ（Ｎ）および終端ハッシュ値ｈｚ（Ｎ）（ならびに終端レコードＲ４１に格納される他の情報（世代、ナンス値、電子署名等））に基づいて終端ハッシュ値Ｈ（Ｎ）を生成し、生成された終端ハッシュ値Ｈ（Ｎ）をレコードハッシュ値としてレコードＲ４１に格納する。なお、終端ハッシュ値Ｈ（Ｎ）は、本開示に係る「終端値」の一例である。
【0167】
加えて、クライアントサーバ３は、終端ハッシュ値Ｈ（Ｎ）に対するタイムスタンプトークンＴＳ（Ｎ）を時刻認証局４１から取得する。クライアントサーバ３は、タイムスタンプトークンＴＳ（Ｎ）と、前レコードハッシュ値Ｈ（Ｎ）と、レコードハッシュ値Ｈ（Ｎ＋１）とをレコードＲ４２に格納する。
【0168】
≪第（Ｎ＋１）日≫
第（Ｎ＋１）日には証拠チェーンＹ，Ｚのみが更新されたとする。証拠チェーンＹには、新たなファイルハッシュ値ＦＨｙ（Ｎ＋１）と、ファイルハッシュ値ＦＨｙ（Ｎ＋１）に基づいて生成される証拠チェーンＹの終端ハッシュ値ｈｙ（Ｎ＋１）とが格納されている。証拠チェーンＺには、新たなファイルハッシュ値ＦＨｚ（Ｎ＋１）と、ファイルハッシュ値ＦＨｚ（Ｎ＋１）に基づいて生成される証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ＋１）とが格納されている。
第（Ｎ＋１）日には証拠チェーンＹ，Ｚのみが更新されたとする。証拠チェーンＹには、新たなファイルハッシュ値ＦＨｙ（Ｎ＋１）と、ファイルハッシュ値ＦＨｙ（Ｎ＋１）に基づいて生成される証拠チェーンＹの終端ハッシュ値ｈｙ（Ｎ＋１）とが格納されている。証拠チェーンＺには、新たなファイルハッシュ値ＦＨｚ（Ｎ＋１）と、ファイルハッシュ値ＦＨｚ（Ｎ＋１）に基づいて生成される証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ＋１）とが格納されている。
【0169】
クライアントサーバ３は、第（Ｎ＋１）日における証拠チェーンＹの終端ハッシュ値ｈｙ（Ｎ＋１）と、第（Ｎ＋１）日における証拠チェーンＺの終端ハッシュ値ｈｚ（Ｎ＋１）とを、その時点でのタイムスタンプチェーン６４の終端レコードＲ４３に格納する。さらに、クライアントサーバ３は、終端ハッシュ値ｈｙ（Ｎ＋１）および終端ハッシュ値ｈｚ（Ｎ＋１）（ならびに終端レコードＲ４３に格納される他の情報）に基づいて、タイムスタンプチェーン６４の終端ハッシュ値Ｈ（Ｎ＋２）を生成し、生成された終端ハッシュ値Ｈ（Ｎ＋２）をレコードハッシュ値としてレコードＲ４３に格納する。
【0170】
加えて、クライアントサーバ３は、終端ハッシュ値Ｈ（Ｎ＋２）に対するタイムスタンプトークンＴＳ（Ｎ＋１）を時刻認証局４１から取得する。クライアントサーバ３は、タイムスタンプトークンＴＳ（Ｎ＋１）と、前レコードハッシュ値Ｈ（Ｎ＋２）と、レコードハッシュ値Ｈ（Ｎ＋３）とをレコードＲ４４に格納する。
【0171】
≪第（Ｎ＋２）日および第（Ｎ＋３）日≫
第（Ｎ＋２）日および第（Ｎ＋３）日については第（Ｎ＋１）日と同様であるため、詳細な説明は繰り返さない。
第（Ｎ＋２）日および第（Ｎ＋３）日については第（Ｎ＋１）日と同様であるため、詳細な説明は繰り返さない。
【0172】
＜機能ブロック＞
実施の形態２におけるクライアントサーバ３（プロセッサ３１）は、実施の形態１と同様に、トランザクション処理によりタイムスタンプチェーン６４に新たなレコードを追加することによってタイムスタンプチェーン６４を更新するチェーン更新部を有する。実施の形態２におけるチェーン更新部は、実施の形態１におけるチェーン更新部７３（図８参照）とは異なるレコード作成部を含む。
実施の形態２におけるクライアントサーバ３（プロセッサ３１）は、実施の形態１と同様に、トランザクション処理によりタイムスタンプチェーン６４に新たなレコードを追加することによってタイムスタンプチェーン６４を更新するチェーン更新部を有する。実施の形態２におけるチェーン更新部は、実施の形態１におけるチェーン更新部７３（図８参照）とは異なるレコード作成部を含む。
【0173】
図２７は、実施の形態２におけるレコード作成部７３３Ａの機能ブロック図である。レコード作成部７３３Ａは、たとえば予め定められた期間（この例では１日）ごとに、タイムスタンプチェーン６４に追加されるレコードを作成する。レコード作成部７３３Ａは、リスト管理部７７１と、終端ハッシュ取得部７７２と、終端ハッシュ生成部７７３と、タイムスタンプトークン取得部７７４と、統合部７７５とを含む。
【0174】
リスト管理部７７１は、更新処理の前回実行時から今回実行時までの間にどの証拠チェーンが更新されたかが記録されるリストを管理する。リスト管理部７７１は、いずれかの証拠チェーンが更新される度に、更新された証拠チェーンをリストに追加する。リスト管理部７７１は、リストによる管理情報を終端ハッシュ取得部７７２に出力する。
【0175】
終端ハッシュ取得部７７２は、リストによる管理情報に従って、更新処理の前回実行時から今回実行時までの間に更新された証拠チェーンの終端ハッシュ値（ｈｘ、ｈｙおよびｈｚのうちの少なくとも１つ）をＥｎｄ－ＲＨとして取得する。終端ハッシュ取得部７７２は、証拠チェーンの終端ハッシュ値を終端ハッシュ生成部７７３に出力する。
【0176】
終端ハッシュ生成部７７３は、証拠チェーンの終端ハッシュ値（Ｅｎｄ－ＲＨ）に基づいて、タイムスタンプチェーン６４の終端ハッシュ値（ＲＨ）を生成する。終端ハッシュ生成部７７３は、終端ハッシュ取得部７７２からの終端ハッシュ値をハッシュ化することでタイムスタンプチェーン６４の終端ハッシュ値を生成してもよい。終端ハッシュ生成部７７３は、タイムスタンプチェーン６４の終端ハッシュ値をタイムスタンプトークン取得部７７４および統合部７７５に出力する。
【0177】
タイムスタンプトークン取得部７７４は、終端ハッシュ生成部７７３からの終端ハッシュ値を含むタイムスタンプチェーン６４のレコードのレコードハッシュ値に対するタイムスタンプトークン（ＴＳ）を時刻認証局４１から取得する。タイムスタンプトークン取得部７２３は、タイムスタンプトークンを確定時刻としてデータベース４３（ストレージ３６であってもよい）に記憶させる（図示せず）。加えて、タイムスタンプトークン取得部７２３は、タイムスタンプトークンを統合部７７５に出力する。
【0178】
統合部７７５は、各種情報を統合することでレコードを作成する。具体的には、統合部７７５は、タイムスタンプチェーン６４の終端ハッシュ値またはタイムスタンプトークンと、他の情報（世代（Ａｇｅ）、ナンス値（Ｎｏｎｃｅ）、電子署名（Ｓｉｇ）、前レコードハッシュ値（Ｐｒｅｖ－ＲＨ））とを統合することによってレコードを作成する。統合部７７５は、レコードを更新部７３４（図８参照）に出力する。
【0179】
＜処理フロー＞
図２８は、実施の形態２におけるタイムスタンプチェーン６４の更新処理の処理手順の一例を示すフローチャートである。Ｓ２１において、クライアントサーバ３は、更新処理の前回実行時から予め定められた期間が経過したかどうかを判定する。予め定められた期間が経過していない場合（Ｓ２１においてＮＯ）、クライアントサーバ３は処理をメインルーチンに戻す。予め定められた期間が経過すると（Ｓ２２においてＹＥＳ）、クライアントサーバ３は処理をＳ２２に進める。
図２８は、実施の形態２におけるタイムスタンプチェーン６４の更新処理の処理手順の一例を示すフローチャートである。Ｓ２１において、クライアントサーバ３は、更新処理の前回実行時から予め定められた期間が経過したかどうかを判定する。予め定められた期間が経過していない場合（Ｓ２１においてＮＯ）、クライアントサーバ３は処理をメインルーチンに戻す。予め定められた期間が経過すると（Ｓ２２においてＹＥＳ）、クライアントサーバ３は処理をＳ２２に進める。
【0180】
Ｓ２２において、クライアントサーバ３は、たとえば前述のリストを参照することによって、更新処理の前回実行時から今回実行時までの間に更新された証拠チェーンが存在するかどうかを判定する。更新された証拠チェーンが存在しない場合（Ｓ２２においてＮＯ）、クライアントサーバ３は処理をメインルーチンに戻す。更新された証拠チェーンが存在する場合（Ｓ２２においてＹＥＳ）、クライアントサーバ３は処理をＳ２３に進める。
【0181】
Ｓ２３において、クライアントサーバ３は、更新処理の前回実行時から今回実行時までの間に更新された証拠チェーンの終端ハッシュ値を取得する。
【0182】
Ｓ２４において、クライアントサーバ３は、証拠チェーンの終端ハッシュ値に基づいて、タイムスタンプチェーン６４のレコードハッシュ値（その時点での終端ハッシュ値）を生成する。そして、クライアントサーバ３は、証拠チェーンの終端ハッシュ値と、タイムスタンプチェーン６４の終端ハッシュ値とを含む第１のレコード（図２５および図２６の例ではＲ４１，Ｒ４３，Ｒ４５，Ｒ４７）を作成する。
【0183】
Ｓ２５において、クライアントサーバ３は、タイムスタンプチェーン６４の終端ハッシュ値（第１のレコードのレコードハッシュ値）に対するタイムスタンプトークンを時刻認証局４１から取得する。
【0184】
Ｓ２６において、クライアントサーバ３は、タイムスタンプトークンと他の情報とに基づいて、レコードハッシュ値を生成する。そして、クライアントサーバ３は、タイムスタンプトークンと、前レコードハッシュ値（第１のレコードのレコードハッシュ値）と、生成されたレコードハッシュ値とを含む第２のレコード（図２５および図２６の例ではＲ４２，Ｒ４４，Ｒ４６，Ｒ４８）を作成する。
【0185】
Ｓ２７において、クライアントサーバ３は、新たに作成された２つのレコードを追加することよってタイムスタンプチェーン６４を更新する。
【0186】
実施の形態２においても実施の形態１と同様に、クライアントサーバ３は、ファイル検証処理と確定時刻検証処理と順序性検証処理とを実行するように構成されている。これらの検証処理は実施の形態１と同様であるため、詳細な説明は繰り返さない。実施の形態２によっても、ファイルおよび確定時刻が適切に管理されているかどうかを検証できる。
【0187】
さらに、実施の形態２では、更新処理の前回実行時からファイル（ファイルハッシュ値）が変更された証拠チェーンについてタイムスタンプトークンが取得される一方で、ファイルが変更されていない証拠チェーンについてはタイムスタンプトークンは取得されない。これにより、全ての証拠チェーンについてタイムスタンプトークンを取得する場合と比べて、またはファイルが変更される度にタイムスタンプトークンを取得する場合と比べて、タイムスタンプトークンの取得コスト（工数、時間、システム負荷など）を低減できる。よって、実施の形態２によれば、ファイルおよび確定時刻が適切に管理されているかどうかを効率的に検証できる。
【0188】
加えて、実施の形態２では、更新処理が定期的に（図２６に示す例では１日１回ずつ）実行される。これにより、ファイルが変更される度に更新処理が実行される場合と比べて、検証コストを低減できる。また、更新処理が不定期に実行される場合と比べて、長期的に着実な検証が可能になる。
【0189】
今回開示された実施の形態は、全ての点で例示であって制限的なものではないと考えられるべきである。本開示の範囲は、上記した実施の形態の説明ではなくて特許請求の範囲によって示され、特許請求の範囲と均等の意味および範囲内での全ての変更が含まれることが意図される。
【符号の説明】
【0190】
１ データ管理システム、２ プラットフォームサーバ、３，３Ａ～３Ｄ クライアントサーバ、３１ プロセッサ、３２ メモリ、３３ 通信装置、３４ 入力装置、３５ 出力装置、３６ ストレージ、３７ バス、４１，４１Ａ～４１Ｄ 時刻認証局、４２，４２Ａ～４２Ｄ ユーザ端末、４３，４３Ａ～４３Ｄ データベース、５１ 秘密鍵、５２ 公開鍵、６ 分散型台帳、６１ 証拠チェーン、６２ タイムスタンプチェーン、７１ ファイル登録部、７１１ ファイルハッシュ生成部、７１２ ナンス生成部、７１３ 電子署名部、７１４ トランザクションデータ生成部、７１５ トランザクションデータ送信部、７２ 確定時刻付与部、７２１ 終端ハッシュ取得部、７２２ ナンス生成部、７２３ タイムスタンプトークン取得部、７２４ 電子署名部、７２５ トランザクションデータ生成部、７２６ トランザクションデータ送信部、７３ チェーン更新部、７３１ トランザクションデータ取得部、７３２ 署名検証部、７３３，７３３Ａ レコード作成部、７３４ 更新部、７３５ 通知部、７４ ファイル検証部、７４１ ファイル取得部、７４２ ファイルハッシュ取得部、７４３ 検証処理部、７４４ 出力部、７５ 確定時刻検証部、７５１ 確定時刻取得部、７５２ タイムスタンプトークン取得部、７５３ 検証処理部、７５４ 出力部、７６ 順序性検証部、７６１ 終端ハッシュ取得部、７６２ 前レコードハッシュ取得部、７６３ レコードハッシュ取得部、７６４ 検証処理部、７６５ 出力部、７７１ リスト管理部、７７２ 終端ハッシュ取得部、７７３ 終端ハッシュ生成部、７７４ タイムスタンプトークン取得部、７７５ 統合部。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】
【図20】
【図21】
【図22】
【図23】
【図24】
【図25】
【図26】
【図27】
【図28】