JP2022158363A - 検証装置、検証方法、および、検証プログラム - Google Patents

Abstract

【課題】システム全体としてデータの取引に参加する全ての装置の改ざん検知と監査証跡とを確実かつ容易に実現する検証装置、検証方法及び検証プログラムを提供する。【解決手段】検証装置３００は、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得するデータ取得部と、複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、対象データに基づいて生成するブロック生成部と、対象ブロックを複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、対象ブロックに対する検証を要求する検証要求部と、複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、対象ブロックをブロックチェーンに登録する登録部と、を備える。【選択図】図６

Description

本発明は、検証装置、検証方法、および、検証プログラムに関する。

特許文献１には、「よりセキュリティ強化を図ることができるようにした暗号化制御システムおよび暗号化制御方法、並びにプログラム」が記載されている。
［先行技術文献］
［特許文献］
［特許文献１］ 特許第６３６０７８１号

本発明の第１の態様においては、検証装置を提供する。上記検証装置は、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得するデータ取得部を備えてよい。上記検証装置は、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、上記対象データに基づいて生成するブロック生成部を備えてよい。上記検証装置は、上記対象ブロックを上記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、上記対象ブロックに対する検証を要求する検証要求部を備えてよい。上記検証装置は、上記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、上記対象ブロックを上記ブロックチェーンに登録する登録部を備えてよい。

上記検証装置は、上記対象ブロックの検証が失敗した旨の上記検証結果が取得された場合に、異常メッセージを出力する出力部を更に備えてよい。

上記検証装置は、上記対象ブロックを上記複数の検証装置毎に暗号化する暗号化部を更に備えてよい。上記検証要求部は、上記複数の検証装置毎に暗号化されたそれぞれの上記対象ブロックを上記複数の検証装置のそれぞれへ供給してよい。

上記登録部は、上記複数の検証装置のうちの検証結果を供給すべき主検証装置からの検証結果に応じて、上記対象ブロックを上記ブロックチェーンに登録してよい。

上記データ処理システムは、上記複数の処理装置を経由して生成される制御パラメータに基づいて制御対象を制御する制御システムであってよい。上記主検証装置は、上記制御パラメータに応じた制御指令を上記制御対象に与える制御器を管理対象とする検証装置であってよい。

上記検証装置は、上記ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する算出部を更に備えてよい。上記ブロック生成部は、上記ハッシュ値を含む上記対象ブロックを生成してよい。

上記データ取得部は、上記対象処理装置において上流の処理装置から入力される入力データ、および、下流の処理装置へ出力する出力データを取得してよい。上記ブロック生成部は、上記入力データおよび上記出力データを含む上記対象ブロックを生成してよい。

本発明の第２の態様においては、検証方法を提供する。上記検証方法は、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得することを備えてよい。上記検証方法は、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、上記対象データに基づいて生成することを備えてよい。上記検証方法は、上記対象ブロックを上記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、上記対象ブロックに対する検証を要求することを備えてよい。上記検証方法は、上記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、上記対象ブロックを上記ブロックチェーンに登録することを備えてよい。

本発明の第３の態様においては、検証プログラムを提供する。上記検証プログラムは、コンピュータにより実行されてよい。上記検証プログラムは、上記コンピュータを、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得するデータ取得部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、上記対象データに基づいて生成するブロック生成部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記対象ブロックを上記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、上記対象ブロックに対する検証を要求する検証要求部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、上記対象ブロックを上記ブロックチェーンに登録する登録部として機能させてよい。

本発明の第４の態様においては、検証装置を提供する。上記検証装置は、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得するブロック取得部を備えてよい。上記検証装置は、上記ブロックチェーンに登録済みの上流のブロックに基づいて、上記対象ブロックを検証する検証部を備えてよい。上記検証装置は、上記対象ブロックに対する検証結果を上記対象ブロックの供給元である対象検証装置へ供給して、上記対象ブロックに対する検証要求に応答する検証応答部を備えてよい。上記検証装置は、上記検証結果に応じて上記対象ブロックを上記ブロックチェーンに登録する登録部を備えてよい。

上記検証装置は、上記対象ブロックの検証が失敗した場合に、異常メッセージを出力する出力部を更に備えてよい。

上記検証装置は、上記対象ブロックを、上記対象検証装置に応じて復号化する復号化部を更に備えてよい。

上記検証応答部は、自身が検証結果を供給すべき主検証装置であるかどうか判定し、上記主検証装置である場合に、上記対象ブロックに対する検証結果を上記対象検証装置へ供給してよい。

上記データ処理システムは、上記複数の処理装置を経由して生成される制御パラメータに基づいて制御対象を制御する制御システムであってよい。上記検証応答部は、上記制御パラメータに応じた制御指令を上記制御対象に与える制御器を管理対象とする場合に、自身が主検証装置であると判定してよい。

上記検証装置は、上記ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する算出部を更に備えてよい。上記検証部は、上記対象ブロックに含まれるハッシュ値と算出したハッシュ値とに基づいて、上記対象ブロックを検証してよい。

本発明の第５の態様においては、検証方法を提供する。上記検証方法は、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得することを備えてよい。上記検証方法は、上記ブロックチェーンに登録済みの上流のブロックに基づいて、上記対象ブロックを検証することを備えてよい。上記検証方法は、上記対象ブロックに対する検証結果を上記対象ブロックの供給元である対象検証装置へ供給して、上記対象ブロックに対する検証要求に応答することを備えてよい。上記検証方法は、上記検証結果に応じて上記対象ブロックを上記ブロックチェーンに登録することを備えてよい。

本発明の第６の態様においては、検証プログラムを提供する。上記検証プログラムは、コンピュータにより実行されてよい。上記検証プログラムは、上記コンピュータを、複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、上記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得するブロック取得部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記ブロックチェーンに登録済みの上流のブロックに基づいて、上記対象ブロックを検証する検証部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記対象ブロックに対する検証結果を上記対象ブロックの供給元である対象検証装置へ供給して、上記対象ブロックに対する検証要求に応答する検証応答部として機能させてよい。上記検証プログラムは、上記コンピュータを、上記検証結果に応じて上記対象ブロックを上記ブロックチェーンに登録する登録部として機能させてよい。

なお、上記の発明の概要は、本発明の特徴の全てを列挙したものではない。また、これらの特徴群のサブコンビネーションもまた、発明となりうる。

本実施形態に係る検証技術が適用されてよいデータ処理システム１０の一例を示す。 処理装置１００のブロック図の一例を示す。 本実施形態に係る検証技術が適用されてよいデータ処理システム１０の具体例としての制御システム２０を示す。 本実施形態に係る検証システム３０の一例を示す。 本実施形態に係る検証システム３０に登録されるブロックチェーンの一例を示す。 本実施形態に係る検証装置３００のブロック図の一例を示す。 検証を要求する側の検証装置３００における動作のフローの一例を示す。 検証要求に応じる側の検証装置３００における動作のフローの一例を示す。 処理装置１００における動作のフローの一例を示す。 本発明の複数の態様が全体的または部分的に具現化されてよいコンピュータ９９００の例を示す。

以下、発明の実施の形態を通じて本発明を説明するが、以下の実施形態は特許請求の範囲にかかる発明を限定するものではない。また、実施形態の中で説明されている特徴の組み合わせの全てが発明の解決手段に必須であるとは限らない。

図１は、本実施形態に係る検証技術が適用されてよいデータ処理システム１０の一例を示す。データ処理システム１０においては、様々な装置間で様々なデータが取引される。本図においては、一例として、データ処理システム１０において、複数の処理装置１００ａ～１００ｆ（「処理装置１００」と総称する。）が環状に接続され、複数の処理装置１００間でデータがループ状（例えば、処理装置１００ａ→１００ｂ→１００ｃ→１００ｄ→１００ｅ→１００ｆ→１００ａ→・・・）に伝搬される場合を一例として示している。

ここで、ループの一つ前を「上流」、ループの一つ後を「下流」と定義することとする。すなわち、例えば処理装置１００ｂにとっては、処理装置１００ａが上流の処理装置１００にあたり、処理装置１００ｃが下流の処理装置１００にあたる。このような複数の処理装置１００のうちの少なくとも一つは、上流の処理装置１００から入力された入力データを処理することによって入力データを変換し、変換されたデータを出力データとして下流の処理装置１００へ出力してよい。本実施形態に係る検証技術は、このような複数の処理装置１００を経由してデータが伝搬または変換されるデータ処理システム１０に適用されてよい。

図２は、処理装置１００のブロック図の一例を示す。処理装置１００は、上流の処理装置１００との間、および、下流の処理装置１００との間で、例えば公開鍵暗号方式（ＰＫＩ：Ｐｕｂｌｉｃ Ｋｅｙ Ｉｎｆｒａｓｔｒｕｃｔｕｒｅ）を用いてデータをそれぞれ取引する。ここで、公開鍵暗号方式を用いてデータを取引する二者間において、データの受信側は、データの送信側、すなわち、上流の処理装置１００の公開鍵を、信頼性のある認証局等を利用して事前に入手しているものとする。これより先、処理装置１００が処理装置１００ｂである場合を一例として説明する。処理装置１００ｂは、上流の処理装置１００である処理装置１００ａの公開鍵を事前に入手している。

処理装置１００は、受信部１１０と、復号部１２０と、処理部１３０と、暗号部１４０と、送信部１５０と、継続判定部１６０とを備える。なお、これらブロックは、それぞれ機能的に分離された機能ブロックであって、実際のデバイス構成とは必ずしも一致していなくてもよい。すなわち、本図において、１つのブロックとして示されているからといって、それが必ずしも１つのデバイスにより構成されていなくてもよい。また、本図において、別々のブロックとして示されているからといって、それらが必ずしも別々のデバイスにより構成されていなくてもよい。

受信部１１０は、上流の処理装置１００である処理装置１００ａからデータを受信する。これにあたり、処理装置１００ａにおいては、送信すべき送信内容をハッシュ関数で処理してハッシュ値を算出している。そして、処理装置１００ａにおいては、自身の秘密鍵でハッシュ値を暗号化したハッシュ値の暗号文と、送信内容とを署名として処理装置１００ｂへ送信している。処理装置１００ｂの受信部１１０は、このようにして処理装置１００ａによって暗号化されたデータを処理装置１００ａから受信する。受信部１１０は、受信したデータを復号部１２０へ供給する。

また、受信部１１０は、後述する検証装置からのメッセージを受信する。受信部１１０は、受信したメッセージを継続判定部１６０へ供給する。

復号部１２０は、データを復号する。復号部１２０は、受信部１１０から供給されたデータからハッシュ値の暗号文を取り出す。そして、復号部１２０は、処理装置１００ａの公開鍵を用いてハッシュ値の暗号文を復号してハッシュ値を取得する。また、復号部１２０は、受信部１１０から供給されたデータから処理装置１００ａの送信内容を取り出す。そして、復号部１２０は、処理装置１００ａの送信内容を処理装置１００ａと同じハッシュ関数で処理してハッシュ値を算出する。復号部１２０は、復号したハッシュ値と算出したハッシュ値とを比較して、両者が一致している場合に、受信部１１０から供給されたデータが正しい（改ざんされていない）データであると判断する。これに応じて、復号部１２０は処理装置１００ａの送信内容を処理部１３０へ供給する。

処理部１３０は、データを処理する。処理部１３０は、復号部１２０から供給された処理装置１００ａの送信内容を入力データとして、データを処理する。そして、処理部１３０は、入力データを処理した結果である出力データを、自身が送信すべき送信内容として暗号部１４０へ供給する。

暗号部１４０は、データを暗号化する。暗号部１４０は、処理部１３０から供給された送信内容をハッシュ関数で処理してハッシュ値を算出する。そして、暗号部１４０は、自身の秘密鍵でハッシュ値を暗号化したハッシュ値の暗号文と、送信内容とを署名としたデータを生成する。暗号部１４０は、このようにして暗号化されたデータを送信部１５０へ供給する。

送信部１５０は、下流の処理装置１００である処理装置１００ｃへデータを送信する。後述する継続判定部１６０から許可通知が供給された場合に、送信部１５０は、暗号部１４０によって暗号化されたデータを、処理装置１００ｃへ送信する。一方、継続判定部１６０から中止指示が供給された場合に、送信部１５０は、処理装置１００ｃへのデータ送信を中止する。

継続判定部１６０は、データの取引の継続を判定する。継続判定部１６０は、受信部１１０から供給された検証装置からのメッセージに応じて、下流の処理装置１００へのデータ送信を継続するか否か判定する。例えば、検証が成功した旨のメッセージが供給された場合に、継続判定部１６０は、下流の処理装置１００へのデータ送信を継続すると判定する。そして、継続判定部１６０は、送信を許可する旨の許可通知を送信部１５０へ供給する。これに応じて、送信部１５０は、処理装置１００ｃへ暗号化されたデータを送信する。一方、異常メッセージが供給された場合に、継続判定部１６０は、下流の処理装置１００へのデータ送信を中止すると判定する。そして、継続判定部１６０は、送信を中止する旨の中止指示を送信部１５０へ供給する。これに応じて、送信部１５０は、処理装置１００ｃへのデータ送信を中止する。

図３は、本実施形態に係る検証技術が適用されてよいデータ処理システム１０の具体例としての制御システム２０を示す。これより先、データ処理システム１０が、複数の制御処理装置２００を経由して生成される制御パラメータに基づいて制御対象を制御する制御システム２０である場合を一例として説明する。しかしながら、これに限定されるものではない。本実施形態に係る検証技術は、上述のとおり、制御システム２０とは異なる様々なデータ処理システム１０に適用されてよい。

本図に示される制御システム２０においては、図１のデータ処理システム１０における処理装置１００ａとしてエッジデバイス２００ａが、処理装置１００ｂとして第一演算装置２００ｂが、処理装置１００ｃとして第二演算装置２００ｃが、処理装置１００ｄとして制御パラメータ入力装置２００ｄが、処理装置１００ｅとして制御器２００ｅが、処理装置１００ｆとして制御対象２００ｆが、それぞれ適用されている。ここで、エッジデバイス２００ａ、第一演算装置２００ｂ、第二演算装置２００ｃ、制御パラメータ入力装置２００ｄ、および、制御器２００ｅを、「制御処理装置２００」と総称することとする。なお、制御処理装置２００の構成については、各制御処理装置２００に特有の構成を除き処理装置１００と同様であるので、ここでは説明を省略する。

制御システム２０において、エッジデバイス２００ａ、制御パラメータ入力装置２００ｄ、制御器２００ｅ、および、制御対象２００ｆは、例えば、プラントを制御する制御ネットワークに属している。一方、第一演算装置２００ｂおよび第二演算装置２００ｃは、制御ネットワークの外部である、例えば、インターネット等の非制御ネットワークに属している。

ここで、このようなプラントとしては、化学やバイオ等の工業プラントの他、ガス田や油田等の井戸元やその周辺を管理制御するプラント、水力・火力・原子力等の発電を管理制御するプラント、太陽光や風力等の環境発電を管理制御するプラント、上下水やダム等を管理制御するプラント等が挙げられる。

エッジデバイス２００ａは、このようなプラントにおける状態データ（例えば、プラントに設けられた複数のセンサの測定データ）を制御対象２００ｆから収集する。そして、エッジデバイス２００ａは、状態データをクレンジングして、必要なデータのみを非制御ネットワーク上（例えば、第一演算装置２００ｂ）へ供給する。

第一演算装置２００ｂは、非制御ネットワークに属している。第一演算装置２００ｂは、例えば、ＳａａＳ（Ｓｏｆｔｗａｒｅ ａｓ ａ Ｓｅｒｖｉｃｅ）プロバイダ等であってよい。第一演算装置２００ｂは、プラントにおける状態データをエッジデバイス２００ａから取得する。そして、第一演算装置２００ｂは、状態データに基づいて、制御対象２００ｆを制御するための制御パラメータに係る第一の制御データを生成する。第一演算装置２００ｂは、生成した第一の制御データを第二演算装置２００ｃへ供給する。

第二演算装置２００ｃは、第一演算装置２００ｂと同様、非制御ネットワークに属しており、例えば、ＳａａＳプロバイダ等であってよい。第二演算装置２００ｃは、第一の制御データを第一演算装置２００ｂから取得する。そして、第二演算装置２００ｃは、第一の制御データに基づいて、制御対象２００ｆを制御するための制御パラメータに係る第二の制御データを生成する。第二演算装置２００ｃは、生成した第二の制御データを制御パラメータ入力装置２００ｄへ供給する。

制御パラメータ入力装置２００ｄは、第二の制御データを第二演算装置２００ｃから取得する。そして、制御パラメータ入力装置２００ｄは、第二の制御データに基づく制御パラメータを制御器２００ｅへ供給する。

制御器２００ｅは、制御対象２００ｆを制御する。制御器２００ｅは、例えば、分散制御システム（ＤＣＳ：Ｄｉｓｔｒｉｂｕｔｅｄ Ｃｏｎｔｒｏｌ Ｓｙｓｔｅｍ）等であってよい。制御器２００ｅは、制御パラメータを制御パラメータ入力装置２００ｄから取得する。そして、制御器２００ｅは、制御パラメータに基づく制御指令を制御対象２００ｆへ与える。

制御対象２００ｆは、制御の対象となる機器および装置等である。例えば、制御対象２００ｆは、プラントのプロセスにおける圧力、温度、ｐＨ、速度、および、流量等の物理量を制御するバルブ、ポンプ、ヒータ、ファン、モータ、および、スイッチ等のアクチュエータを含んでいてよい。制御対象２００ｆは、制御器２００ｅからの制御指令を受けてアクチュエータを制御したことに応じて、プラントの状態データをエッジデバイス２００ａへ供給する。

本実施形態に係る検証技術は、一例として、このような複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システム２０に適用されてよい。

図４は、本実施形態に係る検証システム３０の一例を示す。本図においては、図３における制御システム２０に本実施形態に係る検証技術を適用させた場合を一例として示している。しかしながら、これに限定されるものではない。本実施形態に係る検証技術は、上述のとおり、複数の処理装置１００を経由してデータが伝搬または変換される様々なデータ処理システム１０に適用されてよい。

本図に示されるように、本実施形態に係る検証システム３０は、複数の検証装置３００ａ～３００ｅ（「検証装置３００」と総称する。）を含んでいる。ここで、検証装置３００ａはエッジデバイス２００ａを管理対象とし、検証装置３００ｂは第一演算装置２００ｂを管理対象とし、検証装置３００ｃは第二演算装置２００ｃを管理対象とし、検証装置３００ｄは制御パラメータ入力装置２００ｄを管理対象とし、検証装置３００ｅは制御器２００ｅを管理対象としている。このように本実施形態に係る検証システム３０は、複数の制御処理装置２００ａ～２００ｅをそれぞれ管理対象とする複数の検証装置３００ａ～３００ｅを含んでいてよい。このような複数の検証装置３００は、ネットワークを介して互いに通信可能に接続されている。

図５は、本実施形態に係る検証システム３０に登録されるブロックチェーンの一例を示す。本図においては、ブロックａ、ブロックｂ、ブロックｃ、および、ブロックｄがチェーン状に時系列に登録されている様子を示している。ここで、例えば、ブロックａは検証装置３００ａが管理対象とするエッジデバイス２００ａにおけるデータに基づくブロックであり、ブロックｂは検証装置３００ｂが管理対象とする第一演算装置２００ｂにおけるデータに基づくブロックであり、ブロックｃは検証装置３００ｃが管理対象とする第二演算装置２００ｃにおけるデータに基づくブロックであり、ブロックｄは検証装置３００ｄが管理対象とする制御パラメータ入力装置２００ｄにおけるデータに基づくブロックである。

例えば、ブロックｂには、上流のブロックであるブロックａのハッシュ値と、第一演算装置２００ｂの入力データおよび出力データとが含まれている。同様に、ブロックｃには、上流のブロックであるブロックｂのハッシュ値と、第二演算装置２００ｃの入力データおよび出力データとが含まれている。同様に、ブロックｄには、上流のブロックであるブロックｃのハッシュ値と、制御パラメータ入力装置２００ｄの入力データおよび出力データとが含まれている。このように、ブロックチェーンにおいては、個々のブロックに複数の制御処理装置２００のそれぞれにおける入出力データに加えて、１つ前に生成されたブロックの内容に基づくハッシュ値が含まれ、それらブロックが時系列に沿って記録されている。このようなブロックチェーンにおいて、仮に、過去に登録されたブロック内のデータを改ざんしようと試みた場合、改ざんされたブロックから算出されるハッシュ値が以前と異なるものとなるため、後続する全てのブロックにおけるハッシュ値も変更しなければならない。このため、ブロックチェーンは、改ざん耐性に優れたデータ構造を有しているといえる。本実施形態に係る検証技術は、このようなブロックチェーンに登録されるデータを検証の対象としてよい。

図６は、本実施形態に係る検証装置３００のブロック図の一例を示す。本実施形態に係る検証装置３００は、制御システム２０において複数の制御処理装置２００を経由してデータが伝搬または変換されていくことに応じて、「検証を要求する側」と「検証要求に応じる側」とに役割を順次変えながら、他の検証装置３００と協働して制御システム２０全体におけるデータの検証を行う。これについて、詳細に説明する。

検証装置３００は、ＰＣ（パーソナルコンピュータ）、タブレット型コンピュータ、スマートフォン、ワークステーション、サーバコンピュータ、または汎用コンピュータ等のコンピュータであってよく、複数のコンピュータが接続されたコンピュータシステムであってもよい。このようなコンピュータシステムもまた広義のコンピュータである。また、検証装置３００は、コンピュータ内で１または複数実行可能な仮想コンピュータ環境によって実装されてもよい。これに代えて、検証装置３００は、データの検証用に設計された専用コンピュータであってもよく、専用回路によって実現された専用ハードウェアであってもよい。また、検証装置３００がインターネットに接続可能な場合、検証装置３００は、クラウドコンピューティングにより実現されてもよい。

また、検証装置３００は、検証プログラムを既存のコンピュータが実行することにより、既存のコンピュータが本実施形態に係る検証機能を実行可能なように拡張されたものであってもよい。特に、検証装置３００は、制御システム２０に含まれる複数の制御処理装置２００にそれぞれアドオンされたものであってもよい。

検証装置３００は、登録部３１０と、データ取得部３１５と、算出部３２０と、ブロック生成部３２５と、暗号化部３３０と、検証要求部３３５と、検証結果取得部３４０と、出力部３４５と、ブロック取得部３５０と、復号化部３５５と、検証部３６０と、検証応答部３６５とを備える。なお、これらブロックは、それぞれ機能的に分離された機能ブロックであって、実際のデバイス構成とは必ずしも一致していなくてもよい。すなわち、本図において、１つのブロックとして示されているからといって、それが必ずしも１つのデバイスにより構成されていなくてもよい。また、本図において、別々のブロックとして示されているからといって、それらが必ずしも別々のデバイスにより構成されていなくてもよい。

ここで、上記ブロックのうち、データ取得部３１５と、ブロック生成部３２５と、暗号化部３３０と、検証要求部３３５は、主に、「検証を要求する側」の機能を提供する。一方、上記ブロックのうち、ブロック取得部３５０と、復号化部３５５と、検証部３６０と、検証応答部３６５は、主に、「検証要求に応じる側」の機能を提供する。そして、上記ブロックのうち、登録部３１０と、算出部３２０と、検証結果取得部３４０と、出力部３４５は、「検証を要求する側」および「検証要求に応じる側」の両者の機能を提供する。まず初めに、「検証を要求する側」の検証装置３００における機能ブロックついて説明する。

登録部３１０は、複数の制御処理装置２００のそれぞれにおけるデータに基づくブロックをブロックチェーンに登録して記録する。また、登録部３１０は、後述する検証結果に応じて、対象ブロックをブロックチェーンに登録する。

データ取得部３１５は、複数の処理装置１００を経由してデータが伝搬または変換されるデータ処理システム１０において、管理対象とする対象処理装置１００におけるデータである対象データを取得する。図４における検証装置３００ｂを一例とすると、データ取得部３１５は、複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システム２０において、管理対象とする第一演算装置２００ｂにおけるデータである対象データを取得する。例えば、データ取得部３１５は、第一演算装置２００ｂにおける入力データおよび出力データを対象データとして、ネットワークを介して第一演算装置２００ｂから取得してよい。しかしながら、これに限定されるものではない。データ取得部３１５は、このような対象データを、オペレータを介して取得してもよいし、各種メモリデバイス等を介して取得してもよい。データ取得部３１５は、取得した対象データをブロック生成部３２５へ供給する。

算出部３２０は、ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する。「検証を要求する側」のフローにおいては、算出部３２０は、算出したハッシュ値をブロック生成部３２５へ供給する。

ブロック生成部３２５は、複数の制御処理装置２００のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、対象データに基づいて生成する。例えば、ブロック生成部３２５は、データ取得部３１５から供給された対象データと、算出部３２０から供給されたハッシュ値とを含む対象ブロックを生成する。ブロック生成部３２５は、生成した対象ブロックを暗号化部３３０へ供給する。また、ブロック生成部３２５は、生成した対象ブロックを登録部３１０へ供給する。

暗号化部３３０は、対象ブロックを複数の検証装置３００毎に暗号化する。ここで、「検証要求に応じる側」の全ての検証装置３００は、「検証を要求する側」の検証装置３００における公開鍵を、信頼性のある認証局等を利用してそれぞれ事前に入手しているものとする。なお、「検証要求に応じる側」の一の検証装置３００が入手済みの公開鍵は、「検証要求に応じる側」の他の検証装置３００が入手済みの公開鍵とそれぞれ異なっていてよい。すなわち、「検証要求に応じる側」の各検証装置３００は、「検証を要求する側」の検証装置３００における異なる公開鍵をそれぞれ入手していてよい。暗号化部３３０は、「検証要求に応じる側」の各検証装置３００に提供済みのそれぞれの公開鍵に対応するそれぞれの秘密鍵を使用して、対象ブロックを暗号化する。暗号化部３３０は、暗号化した対象ブロックを検証要求部３３５へ供給する。

検証要求部３３５は、対象ブロックを、複数の制御処理装置２００をそれぞれ管理対象とする複数の検証装置３００へ供給して、対象ブロックに対する検証を要求する。この際、例えば、検証要求部３３５は、複数の検証装置３００毎に暗号化されたそれぞれの対象ブロックを複数の検証装置３００のそれぞれへ供給してよい。

検証結果取得部３４０は、複数の検証装置３００のうちの少なくとも一つの検証装置３００から対象ブロックに対する検証結果を取得する。例えば、検証結果取得部３４０は、対象ブロックに対する検証結果を、ネットワークを介して少なくとも一つの検証装置３００から取得してよい。しかしながら、これに限定されるものではない。検証結果取得部３４０は、このような検証結果を、オペレータを介して取得してもよいし、各種メモリデバイス等を介して取得してもよい。「検証を要求する側」のフローにおいては、検証結果取得部３４０は、取得した検証結果をブロック生成部３２５、および、出力部３４５へ供給する。

出力部３４５は、検証結果に応じた出力をする。「検証を要求する側」のフローにおいては、出力部３４５は、例えば、検証が成功した旨の検証結果が取得された場合に、管理対象の制御処理装置２００（例えば、検証装置３００ｂの場合は、第一演算装置２００ｂ）へ、検証が成功した旨のメッセージを出力する。一方、出力部３４５は、対象ブロックの検証が失敗した旨の検証結果が取得された場合に、異常メッセージを出力する。この際、出力部３４５は、例えば、アラームを発出することによって対象ブロックの検証が失敗したことを検証システム３０の管理者へ報知してよい。また、出力部３４５は、管理対象の制御処理装置２００へ、検証が失敗した旨のメッセージを出力してよい。しかしながら、これに限定されるものではない。出力部３４５は、対象ブロックに対する検証結果を、モニタに表示することによって出力してもよいし、プリントアウトすることによって出力してもよいし、他の装置へ送信することによって出力してもよい。

ここまで、「検証を要求する側」の検証装置３００における機能ブロックついて説明した。続いて、「検証要求に応じる側」の検証装置３００における機能ブロックについて説明する。なお、上述のとおり、登録部３１０と、算出部３２０と、検証結果取得部３４０と、出力部３４５は、「検証を要求する側」および「検証要求に応じる側」の両者の機能を提供する。

登録部３１０は、上述のとおり、複数の制御処理装置２００のそれぞれにおけるデータに基づくブロックをブロックチェーンに登録して記録する。また、登録部３１０は、後述する検証結果に応じて、対象ブロックをブロックチェーンに登録する。

ブロック取得部３５０は、複数の処理装置１００を経由してデータが伝搬または変換されるデータ処理システム１０において、複数の処理装置１００のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得する。図４における検証装置３００ｅを一例とすると、ブロック取得部３５０は、複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システム２０において、例えば、検証対象となる第一演算装置２００ｂにおける対象データに基づく対象ブロックを、第一演算装置２００ｂを管理対象とする検証装置３００ｂから取得する。なお、このような対象ブロックは、上述のとおり、検証対象となる第一演算装置２００ｂにおける対象データと、上流のブロックであるブロックａのハッシュ値とを含むものである。ブロック取得部３５０は、このような対象ブロックを、例えば、ネットワークを介して検証装置３００ｂから取得してよい。しかしながら、これに限定されるものではない。ブロック取得部３５０は、このような対象ブロックを、オペレータを介して取得してもよいし、各種メモリデバイス等を介して取得してもよい。ブロック取得部３５０は、取得した対象ブロックを復号化部３５５へ供給する。

復号化部３５５は、対象ブロックを、対象ブロックの供給元である対象検証装置３００に応じて復号化する。ここで、「検証要求に応じる側」の検証装置３００は、「検証を要求する側」の全ての検証装置３００における公開鍵を、信頼性のある認証局等を利用してそれぞれ事前に入手しているものとする。復号化部３５５は、対象ブロックの供給元である対象検証装置３００の公開鍵を用いて、対象ブロックを復号化する。復号化部３５５は、復号化した対象ブロックを検証部３６０へ供給する。また、復号化部３５５は、復号化した対象ブロックを登録部３１０へ供給する。

算出部３２０は、上述のとおり、ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する。「検証要求に応じる側」のフローにおいては、算出部３２０は、算出したハッシュ値を検証部３６０へ供給する。

検証部３６０は、ブロックチェーンに登録済みの上流のブロックに基づいて、対象ブロックを検証する。例えば、検証部３６０は、対象ブロックに含まれるハッシュ値と算出したハッシュ値とに基づいて、対象ブロックを検証する。検証部３６０は、対象ブロックに対する検証結果を、出力部３４５、および、検証応答部３６５へ供給する。

検証応答部３６５は、対象ブロックに対する検証結果を対象ブロックの供給元である対象検証装置へ供給して、対象ブロックに対する検証要求に応答する。また、検証応答部３６５は、対象ブロックに対する検証結果を復号化部３５５へ供給する。

検証結果取得部３４０は、上述のとおり、複数の検証装置３００のうちの少なくとも一つの検証装置３００から対象ブロックに対する検証結果を取得する。「検証要求に応じる側」の検証装置３００のフローにおいては、検証結果取得部３４０は、取得した検証結果を復号化部３５５へ供給する。

出力部３４５は、上述のとおり、検証結果に応じた出力をする。「検証要求に応じる側」のフローにおいては、出力部３４５は、対象ブロックの検証が失敗した場合に、異常メッセージを出力する。この際、出力部３４５は、例えば、アラームを発出することによって対象ブロックの検証が失敗したことを検証システム３０の管理者へ報知してよい。また、出力部３４５は、管理対象の制御処理装置２００（例えば、検証装置３００ｅの場合は、制御器２００ｅ）へ、検証が失敗した旨のメッセージを出力してよい。

これより先、本実施形態に係る検証装置３００の動作について、「検証を要求する側」と「検証要求に応答する側」とに分けて、それぞれフローを用いて詳細に説明する。

図７は、検証を要求する側の検証装置３００における動作のフローの一例を示す。ここでは、「検証を要求する側」の検証装置３００が、第一演算装置２００ｂを管理対象とする検証装置３００ｂであり、ブロックｂをブロックチェーンに登録すべき対象ブロックとする場合について一例として説明する。なお、上流のブロックであるブロックａは、既にブロックチェーンに登録済みであるものとする。

ステップ７１０において、検証装置３００は、対象データを取得する。例えば、データ取得部３１５は、複数の処理装置１００を経由してデータが伝搬または変換されるデータ処理システム１０において、管理対象とする対象処理装置１００におけるデータである対象データを取得する。一例として、検証装置３００ｂにおけるデータ取得部３１５は、複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システム２０において、管理対象とする第一演算装置２００ｂにおけるデータを対象データとして取得する。

この際、データ取得部３１５は、第一演算装置２００ｂにおいて復号部１２０から処理部１３０へ供給されるエッジデバイス２００ａの送信内容を入力データとして取得してよい。また、データ取得部３１５は、第一演算装置２００ｂにおいて処理部１３０から暗号部１４０へ供給される第一演算装置２００ｂの送信内容を出力データとして取得してよい。このように、データ取得部３１５は、対象処理装置１００において上流の処理装置１００から入力される入力データ、および、下流の処理装置１００へ出力する出力データを対象データとして取得してよい。データ取得部３１５は、取得した対象データをブロック生成部３２５へ供給する。

ステップ７２０において、検証装置３００は、ハッシュ値を算出する。例えば、算出部３２０は、ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する。ここでは、ブロックチェーンに登録すべき対象ブロックがブロックｂであるので、検証装置３００ｂにおける算出部３２０は、上流のブロックであるブロックａをハッシュ処理してブロックａのハッシュ値を算出する。算出部３２０は、算出したハッシュ値をブロック生成部３２５へ供給する。

ステップ７３０において、検証装置３００は、対象ブロックを生成する。例えば、ブロック生成部３２５は、複数の制御処理装置２００のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、対象データに基づいて生成する。より詳細には、ブロック生成部３２５は、ステップ７１０において取得された対象データと、ステップ７２０において算出されたハッシュ値とを含む対象ブロックを生成する。一例として、検証装置３００ｂにおけるブロック生成部３２５は、第一演算装置２００ｂにおける入力データおよび出力データ、並びに、ブロックａのハッシュ値を含む対象ブロックｂを生成する。ブロック生成部３２５は、生成した対象ブロックを暗号化部３３０へ供給する。

ステップ７４０において、検証装置３００は、対象ブロックを暗号化する。例えば、暗号化部３３０は、対象ブロックを複数の検証装置３００毎に暗号化する。一例として、検証装置３００ｂにおける暗号化部３３０は、複数の検証装置３００ａ、３００ｃ、３００ｄ、および、３００ｅに提供済みのそれぞれの公開鍵に対応するそれぞれの秘密鍵を使用して、対象ブロックを暗号化する。暗号化部３３０は、暗号化した対象ブロックを検証要求部３３５へ供給する。

ステップ７５０において、検証装置３００は、対象ブロックに対する検証を要求する。例えば、検証要求部３３５は、対象ブロックを、複数の制御処理装置２００をそれぞれ管理対象とする複数の検証装置３００へ供給して、対象ブロックに対する検証を要求する。一例として、検証装置３００ｂにおける検証要求部３３５は、複数の検証装置３００ａ、３００ｃ、３００ｄ、および、３００ｅ毎に暗号化されたそれぞれの対象ブロックを複数の検証装置３００ａ、３００ｃ、３００ｄ、および、３００ｅのそれぞれへ供給する。

ステップ７６０において、検証装置３００は、検証結果を取得したか否か判定する。例えば、検証結果取得部３４０は、複数の検証装置３００のうちの少なくとも一つから検証結果を取得したか否か判定する。一例として、検証装置３００ｂにおける検証結果取得部３４０は、複数の検証装置３００ａ、３００ｃ、３００ｄ、および、３００ｅの少なくとも一つから検証結果を取得したか否か判定する。ステップ７６０において検証結果を取得していない（Ｎｏ）と判定された場合、検証装置３００は、処理をステップ７６０に戻してフローを継続する。ステップ７６０において検証結果を取得した（Ｙｅｓ）と判定された場合、検証装置３００は、処理をステップ７６５に進める。

ステップ７６５において、検証装置３００は、検証結果が、検証が成功した旨を示しているか否か判定する。例えば、検証結果取得部３４０は、ステップ７６０において取得された検証結果が、検証が成功した旨を示しているか否か判定する。一例として、検証装置３００ｂにおける検証結果取得部３４０は、複数の検証装置３００ａ、３００ｃ、３００ｄ、および、３００ｅの少なくとも一つから取得された検証結果が、検証が成功した旨を示しているか否か判定する。ステップ７６５において検証が成功した旨を示している（Ｙｅｓ）と判定された場合、検証結果取得部３４０はステップ７６０において取得された検証結果をブロック生成部３２５、および、出力部３４５へ供給する。そして、検証装置３００は、処理をステップ７７０に進める。

ステップ７７０において、検証装置３００は、対象ブロックをブロックチェーンに登録する。一例として、検証装置３００ｂにおけるブロック生成部３２５は、検証が成功した旨の検証結果が供給された場合に、ステップ７３０において生成した対象ブロックであるブロックｂを登録部３１０へ供給する。これに応じて、登録部３１０は、ブロックｂをブロックチェーンの末尾（ブロックａの後ろ）に登録する。このようにして、登録部３１０は、複数の検証装置３００のうちの少なくとも一つの検証装置３００からの検証結果に応じて、対象ブロックをブロックチェーンに登録する。

ステップ７７５において、検証装置３００は、検証が成功した旨のメッセージを出力する。一例として、検証装置３００ｂにおける出力部３４５は、検証が成功した旨の検証結果が供給された場合に、自身が管理対象とする第一演算装置２００ｂへ、検証が成功した旨のメッセージを出力する。これに応じて、第一演算装置２００ｂは、下流の制御処理装置２００へのデータ送信を継続すると判定して、第二演算装置２００ｃへデータを送信する。

一方、ステップ７６５において検証が失敗した旨を示している（Ｎｏ）と判定された場合、検証結果取得部３４０はステップ７６０において取得された検証結果を出力部３４５へ供給する。そして、検証装置３００は、処理をステップ７８０に進める。

ステップ７８０において、検証装置３００は、アラームを発出する。一例として、検証装置３００ｂにおける出力部３４５は、アラームを発出することによって対象ブロックであるブロックｂの検証が失敗したことを検証システム３０の管理者へ報知する。

ステップ７８５において、検証装置３００は、異常メッセージを出力する。一例として、検証装置３００ｂにおける出力部３４５は、対象ブロックの検証が失敗した旨の検証結果が取得された場合に、自身が管理対象とする第一演算装置２００ｂへ、異常メッセージを出力する。これに応じて、第一演算装置２００ｂは、下流の制御処理装置２００へのデータ送信を中止すると判定して、第二演算装置２００ｃへのデータ送信を中止する。

図８は、検証要求に応じる側の検証装置３００における動作のフローの一例を示す。ここでは、「検証要求に応じる側」の検証装置３００が、制御器２００ｅを管理対象とする検証装置３００ｅであり、検証装置３００ｂからのブロックｂをブロックチェーンに登録すべき対象ブロックとする場合について一例として説明する。なお、上流のブロックであるブロックａは、既にブロックチェーンに登録済みであるものとする。

ステップ８１０において、検証装置３００は、対象ブロックを取得する。例えば、ブロック取得部３５０は、複数の処理装置１００を経由してデータが伝搬または変換されるデータ処理システム１０において、複数の処理装置１００のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得する。一例として、検証装置３００ｅにおけるブロック取得部３５０は、複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システム２０において、検証対象となる第一演算装置２００ｂにおけるデータに基づくブロックｂを対象ブロックとして、第一演算装置２００ｂを管理対象とする検証装置３００ｂから取得する。ブロック取得部３５０は、取得した対象ブロックを復号化部３５５へ供給する。

ステップ８１５において、検証装置３００は、対象ブロックを復号化する。例えば、復号化部３５５は、ステップ８１０において取得された対象ブロックを、対象ブロックの供給元である対象検証装置３００に応じて復号化する。一例として、検証装置３００ｅにおける復号化部３５５は、検証装置３００ｂから取得された対象ブロックｂを、検証装置３００ｂの公開鍵を用いて復号化する。復号化部３５５は、復号化した対象ブロックを検証部３６０へ供給する。

ステップ８２０において、検証装置３００は、ハッシュ値を算出する。例えば、算出部３２０は、ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する。ここでは、ブロックチェーンに登録すべき対象ブロックがブロックｂであるので、検証装置３００ｅにおける算出部３２０は、上流のブロックであるブロックａをハッシュ処理してブロックａのハッシュ値を算出する。算出部３２０は、算出したハッシュ値を検証部３６０へ供給する。

ステップ８３０において、検証装置３００は、ハッシュ値が一致するか否か判定する。例えば、検証部３６０は、ステップ８１５において復号化された対象ブロックに含まれるハッシュ値と、ステップ８２０において算出されたハッシュ値とを比較する。そして、検証部３６０は、両者が一致する場合に対象ブロックの検証が成功したと判定する。一方、検証部３６０は、両者が一致しない場合に対象ブロックの検証が失敗したと判定する。一例として、検証装置３００ｅにおける検証部３６０は、復号化したブロックｂに含まれるハッシュ値と、算出したブロックａのハッシュ値とを比較する。そして、検証部３６０は、両者が一致する場合に対象ブロックであるブロックｂの検証が成功したと判定する。一方、検証部３６０は、両者が一致しない場合に対象ブロックであるブロックｂの検証が失敗したと判定する。すなわち、検証部３６０は、対象ブロックに含まれるハッシュ値と算出したハッシュ値とに基づいて、対象ブロックを検証する。このようにして、検証部３６０は、ブロックチェーンに登録済みの上流のブロックに基づいて、対象ブロックを検証する。

ステップ８３０においてハッシュ値が一致しない（Ｎｏ）と判定された場合、検証部３６０は、対象ブロックの検証が失敗した旨の検証結果を、出力部３４５、および、検証応答部３６５へ供給する。そして、検証装置３００は処理をステップ８３５に進める。

ステップ８３５において、検証装置３００は、アラームを発出する。一例として、検証装置３００ｅにおける出力部３４５は、アラームを発出することによって対象ブロックであるブロックｂの検証が失敗したことを検証システム３０の管理者へ報知する。

ステップ８４０において、検証装置３００は、異常メッセージを出力する。一例として、検証装置３００ｅにおける出力部３４５は、対象ブロックの検証が失敗した場合に、自身が管理対象とする制御器２００ｅへ、異常メッセージを出力する。これに応じて、制御器２００ｅは、下流の制御処理装置２００へのデータ送信を中止すると判定して、制御対象２００ｆへの制御指令の送信を中止する。

ステップ８４５において、検証装置３００は、検証が失敗した旨を応答する。一例として、検証装置３００ｅにおける検証応答部３６５は、対象ブロックの検証が失敗した旨の検証結果が供給された場合に、当該検証結果を、対象ブロックの供給元である検証装置３００ｂへ供給する。このようにして、検証応答部３６５は、対象ブロックに対する検証結果を対象ブロックの供給元である対象検証装置３００へ供給して、対象ブロックに対する検証要求に応答する。

一方、ステップ８３０においてハッシュ値が一致する（Ｙｅｓ）と判定された場合、検証部３６０は、対象ブロックの検証が成功した旨の検証結果を、検証応答部３６５へ供給する。そして、検証装置３００は、処理をステップ８５０に進める。

ステップ８５０において、検証装置３００は、自身が主検証装置であるか否か判定する。例えば、検証装置３００ｅにおける検証応答部３６５は、自身が複数の制御処理装置２００のうちの検証結果を供給すべき主検証装置であるかどうかを判定する。この際、検証応答部３６５は、一例として、制御パラメータに応じた制御指令を制御対象２００ｆに与える制御器２００ｅを管理対象とする場合に、自身が主検証装置であると判定してよい。複数の制御処理装置２００ａ～２００ｅを経由して生成される制御パラメータに基づいて制御対象２００ｆを制御する制御システムにおいては、最終的に制御対象２００ｆに対して制御指令を与える制御器２００ｅが、制御システム全体における責任を担う主要装置といえる。したがって、このような制御器２００ｅを管理対象とする検証装置３００ｅを、検証結果を供給すべき主検証装置とするとよい。なお、検証装置３００ｅが「検証を要求する側」になる場合においては、他の検証装置３００のうちの一つの検証装置３００が主検証装置として動作してよい。また、上述の説明では、検証装置３００ｅを主検証装置として主に動作させる場合を一例として示した。しかしながら、これに限定されるものではない。複数の検証装置３００のうちのいずれの検証装置３００を主検証装置とするかは、事前に規定したアルゴリズムや順番等により決定されてもよい。例えば、主検証装置を輪番とすることによって、複数の検証装置３００の間における処理負荷を分散させてもよい。

ステップ８５０において主検証装置である（Ｙｅｓ）と判定された場合、検証装置３００は、処理をステップ８５５に進める。

ステップ８５５において、検証装置３００は、対象ブロックをブロックチェーンに登録する。一例として、検証装置３００ｅにおける検証応答部３６５は、自身が主検証装置であると判定した場合に、検証が成功した旨の検証結果を復号化部３５５へ供給する。そして、復号化部３５５は、ステップ８１５において復号化した対象ブロックを登録部３１０へ供給する。これに応じて、登録部３１０は、対象ブロックであるブロックｂをブロックチェーンの末尾（ブロックａの後ろ）に登録する。このようにして、登録部３１０は、検証結果に応じて対象ブロックをブロックチェーンに登録する。

ステップ８６０において、検証装置３００は、検証が成功した旨を応答する。一例として、検証装置３００ｅにおける検証応答部３６５は、対象ブロックの検証が成功した旨の検証結果を、対象ブロックの供給元である検証装置３００ｂへ供給する。このようにして、検証応答部３６５は、対象ブロックに対する検証結果を対象ブロックの供給元である対象検証装置３００へ供給して、対象ブロックに対する検証要求に応答する。このように、検証応答部３６５は、自身が複数の検証装置３００のうちの検証結果を供給すべき主検証装置であるかどうか判定し、主検証装置である場合に、対象ブロックに対する検証結果を対象検証装置３００へ供給してよい。これに応じて、「検証を要求する側」である検証装置３００ｂにおける登録部３１０は、複数の検証装置３００のうちの検証結果を供給すべき主検証装置からの検証結果に応じて、対象ブロックをブロックチェーンに登録する。

一方、ステップ８５０において主検証装置でない（Ｎｏ）と判定された場合、検証装置３００は、処理をステップ８６５に進める。

ステップ８６５において、検証装置３００は、検証が成功した旨の検証結果を取得したか否か判定する。一例として、主検証装置ではない検証装置３００ａ、３００ｃ、および、３００ｄの検証結果取得部３４０は、主検証装置である検証装置３００ｅから、検証が成功した旨の検証結果を取得したか否か判定する。ステップ８６５において、検証が成功した旨の検証結果を取得していない（Ｎｏ）場合、検証装置３００は、処理をステップ８６５に戻してフローを継続する。すなわち、主検証装置ではない検証装置３００ａ、３００ｃ、および、３００ｄは、主検証装置である検証装置３００ｅから検証が成功した旨の検証結果が供給されるのを待つ。一方、ステップ８６５において検証が成功した旨の検証結果が取得された（Ｙｅｓ）場合、検証結果取得部３４０は取得された検証結果を復号化部３５５へ供給する。そして、検証装置３００は、処理をステップ８７０に進める。

ステップ８７０において、検証装置３００は、対象ブロックをブロックチェーンに登録する。一例として、主検証装置ではない検証装置３００ａ、３００ｃ、および、３００ｄにおける復号化部３５５は、検証が成功した旨の検証結果が供給された場合に、ステップ８１５において復号化した対象ブロックを登録部３１０へ供給する。これに応じて、登録部３１０は、対象ブロックであるブロックｂをブロックチェーンの末尾（ブロックａの後ろ）に登録する。このようにして、登録部３１０は、検証結果に応じて対象ブロックをブロックチェーンに登録する。

図９は、制御処理装置２００における動作のフローの一例を示す。ここでは、制御処理装置２００が第一演算装置２００ｂである場合について一例として説明する。

ステップ９１０において、制御処理装置２００は、上流からデータを受信する。一例として、第一演算装置２００ｂにおける受信部１１０は、上流の制御処理装置２００であるエッジデバイス２００ａからデータを受信する。これにあたり、エッジデバイス２００ａにおいては、送信すべき送信内容をハッシュ関数で処理してハッシュ値を算出している。そして、エッジデバイス２００ａにおいては、自身の秘密鍵でハッシュ値を暗号化したハッシュ値の暗号文と、送信内容とを署名として第一演算装置２００ｂへ送信している。第一演算装置２００ｂにおける受信部１１０は、このようにしてエッジデバイス２００ａによって暗号化されたデータをエッジデバイス２００ａから受信する。受信部１１０は、受信したデータを復号部１２０へ供給する。

ステップ９２０において、制御処理装置２００は、データを復号する。一例として、復号部１２０は、ステップ９１０において受信されたデータからハッシュ値の暗号文を取り出す。そして、復号部１２０は、エッジデバイス２００ａの公開鍵を用いてハッシュ値の暗号文を復号してハッシュ値を取得する。また、復号部１２０は、ステップ９１０において受信されたデータからエッジデバイス２００ａの送信内容を取り出す。そして、復号部１２０は、エッジデバイス２００ａの送信内容をエッジデバイス２００ａと同じハッシュ関数で処理してハッシュ値を算出する。復号部１２０は、復号したハッシュ値と算出したハッシュ値とを比較して、両者が一致している場合に、ステップ９１０において受信されたデータが正しい（改ざんされていない）データであると判断する。これに応じて、復号部１２０は、エッジデバイス２００ａの送信内容を処理部１３０へ供給する。

ステップ９３０において、制御処理装置２００は、データを処理する。一例として、処理部１３０は、ステップ９２０において復号されたエッジデバイス２００ａの送信内容を入力データとして、データを処理する。そして、処理部１３０は、入力データを処理した結果である出力データを、自身が送信すべき送信内容として暗号部１４０へ供給する。

ステップ９４０において、制御処理装置２００は、入出力データを提供する。一例として、処理部１３０は、エッジデバイス２００ａの送信内容である入力データ、および、自身の送信内容である出力データを、送信部１５０を介して、第一演算装置２００ｂを管理対象とする検証装置３００ｂへ提供する。

ステップ９５０において、制御処理装置２００は、データを暗号化する。一例として、暗号部１４０は、ステップ９３０において処理された結果である自身が送信すべき送信内容をハッシュ関数で処理してハッシュ値を算出する。そして、暗号部１４０は、自身の秘密鍵でハッシュ値を暗号化したハッシュ値の暗号文と、送信内容とを署名としたデータを生成する。暗号部１４０は、このようにして暗号化されたデータを送信部１５０へ供給する。

ステップ９６０において、制御処理装置２００は、メッセージを取得したか否か判定する。一例として、受信部１１０は、第一演算装置２００ｂを管理対象とする検証装置３００ｂから検証結果を示すメッセージを受信したか否か判定する。ステップ９６０においてメッセージが取得されていない（Ｎｏ）と判定された場合、制御処理装置２００は、処理をステップ９６０に戻してフローを継続する。一方、ステップ９６０においてメッセージが取得された（Ｙｅｓ）と判定された場合、受信部１１０は、受信されたメッセージを継続判定部１６０へ供給する。そして、制御処理装置２００は、処理をステップ９７０に進める。

ステップ９７０において、制御処理装置２００は、メッセージが、検証が成功した旨を示しているか否か判定する。一例として、継続判定部１６０は、ステップ９６０において取得されたメッセージが、検証が成功した旨を示しているか否か判定する。ステップ９７０において検証が成功した旨を示している（Ｙｅｓ）と判定された場合、継続判定部１６０は、下流の制御処理装置２００へのデータ送信を継続すると判定して、下流の制御処理装置２００へのデータ送信を許可する旨の許可通知を送信部１５０へ供給する。そして、制御処理装置２００は、処理をステップ９８０に進める。

ステップ９８０において、制御処理装置２００は、データを下流へ送信する。一例として、送信部１５０は、許可通知が供給されたことに応じて、ステップ９５０において暗号化されたデータを、下流の制御処理装置２００である第二演算装置２００ｃへ送信する。

一方、ステップ９７０において検証が失敗した旨を示している（Ｎｏ）と判定された場合、継続判定部１６０は、下流の制御処理装置２００へのデータ送信を中止すると判定して、下流の制御処理装置２００へのデータ送信を中止する旨の中止指示を送信部１５０へ供給する。そして、制御処理装置２００は、処理をステップ９９０に進める。

ステップ９９０において、制御処理装置２００は、下流へのデータ送信を中止する。一例として、送信部１５０は、中止指示が供給されたことに応じて、ステップ９５０において暗号化されたデータを、下流の制御処理装置２００である第二演算装置２００ｃへ送信することを中止する。

一般的なデータ取引では、公開鍵暗号化方式（ＰＫＩ）とＰＫＩをベースとしたデジタル署名とにより、データを取引する二者間においてデータの完全性（主に改ざん防止）を実現している。この場合、データを直接取引する二者間においてのみ、取引相手の改ざんを検出することができるに過ぎない。したがって、複数の装置がデータの取引に参加するシステムにおいては、直接データを取引しない装置における改ざんを検出することができない。また、一般的なデータ検証では、データの取引に参加する複数の装置のそれぞれが自身の処理ログを各自記録し、システムの管理者が監査を実施する際に複数の装置のそれぞれから処理ログを個別に収集・調査することにより、監査証跡を実現している。この場合、各装置から提供される処理ログの完全性は提供する側に依存し、監査を実施する側においては、改ざんの有無を容易に検証することができない。

また、様々なクラウドサービスの普及により、データを取引する複数の装置の少なくとも一部としてＳａａＳプロバイダ等の外部サービスプロバイダが用いられることが考えられる。このような外部サービスプロバイダにおいては、セキュリティポリシー、実装形式、クラウドサーバ特性、利用認証局の信頼性、および、通信路ＶＰＮ形式等のセキュリティレベルが様々である。したがって、セキュリティレベルの最も低い場所への改ざん攻撃のリスクが存在し、そこがボトルネックとなってデータを取引するシステム全体としてのセキュリティレベルが低下してしまう。そこで、二者間のデジタル署名のみに依存することなく、システム全体としてデータの取引に参加する全ての装置の改ざん検知と監査証跡とを確実かつ容易に実現することが望まれる。

そこで、本実施形態に係る検証装置３００は、自身が生成した対象ブロックを、データ処理システム１０における他の処理装置１００をそれぞれ管理対象とする複数の検証装置３００へ供給して、対象ブロックに対する検証を要求する。そして、検証装置３００は、複数の検証装置３００のうちの少なくとも一つの検証装置３００からの検証結果に応じて、対象ブロックをブロックチェーンに登録する。これにより、本実施形態に係る検証装置３００によれば、他の検証装置３００との協働により対象ブロックを検証してブロックチェーンに登録するので、検証システム３０全体におけるデータの改ざんの困難性を高めることができる。これにより、本実施形態に係る検証装置３００によれば、例えば、プラント機器のデータを非制御ネットワーク上に属する演算サービスを利用して処理したとしても、データ処理プロセスの各箇所でのデータの改ざんを検出し、削除且つ書き換え不能な監査証跡を各箇所で統一して残すことができる。

また、本実施形態に係る検証装置３００は、対象ブロックの検証が失敗した場合に、異常メッセージを出力する。これにより、本実施形態に係る検証装置３００によれば、データの改ざんが疑われる場合に、検証システム３０の管理者へその旨を報知するとともに、データ処理システム１０におけるデータの取引を中止させることができる。したがって、本実施形態に係る検証装置３００によれば、例えば、意図しない制御指令が制御対象に与えられてしまうことを防止することができる。

また、本実施形態に係る検証装置３００は、対象ブロックを複数の検証装置３００毎に暗号化する。これにより、本実施形態に係る検証装置３００によれば、検証のために複数の検証装置３００間で対象ブロックを受け渡しする場合においても、高いセキュリティレベルを維持することができる。

また、本実施形態に係る検証装置３００は、主検証装置からの検証結果に応じて、対象ブロックをブロックチェーンに登録する。これにより、本実施形態に係る検証装置３００によれば、検証が成功した旨の検証結果を供給する検証装置３００を主検証装置のみに限定することができるので、検証システム３０全体としての処理負荷を軽減することができる。この際、このような主検証装置は、制御パラメータに応じた制御指令を制御対象２００ｆに与える制御器２００ｅを管理対象とする検証装置３００ｅであってよい。これにより、制御システム２０における主要装置である制御器２００ｅを管理対象とする検証装置３００ｅが代表して検証要求に応答することができる。

また、本実施形態に係る検証装置３００は、上流のブロックに基づいて算出されたハッシュ値を対象ブロックに含めて生成する。これにより、本実施形態に係る検証装置３００によれば、従来のブロックチェーンが持つ優れた改ざん耐性を維持したまま、データを検証することができる。

また、本実施形態に係る検証装置３００は、管理対象とする対象処理装置における入力データ、および、出力データを対象ブロックに含めて生成する。これにより、本実施形態に係る検証装置３００によれば、複数の処理装置１００におけるいずれかの処理装置１００においてデータが変換された場合であっても、いずれの段階でデータが改ざんされたかを判断することができる。したがって、本実施形態に係る検証装置３００によれば、例えば、制御パラメータに問題が発生した場合であっても、原因を解析し、各処理箇所の追跡調査を実施することができる。

なお、上述の説明においては、検証システム３０が、複数の制御処理装置２００ａ～２００ｅのそれぞれを管理対象とする複数の検証装置３００ａ～３００ｅを含む場合を一例として示した。しかしながら、検証システム３０に含まれる検証装置３００の数はこれに限定されるものではない。検証システム３０は、複数の制御処理装置２００ａ～２００ｅよりも多い複数の検証装置３００を含んでいてもよい。この場合、いくつかの検証装置３００は、いずれの制御処理装置２００をも管理対象とせずに、「検証要求に応じる側」としてのみ機能してもよい。これにより、検証システム３０全体として、記録の冗長性を確保することができるので、改ざんの難易度を更に高めることができる。これに代えて、検証システム３０は、複数の制御処理装置２００ａ～２００ｅよりも少ない複数の検証装置３００を含んでいてもよい。すなわち、複数の検証装置３００は、必ずしも、複数の制御処理装置２００と１対１に対応して設けられていなくてもよい。

また、上述の説明においては、複数の検証装置３００における主検証装置のみが、検証が成功した旨の検証結果を供給する場合を一例として示した。しかしながら、これに限定されるものではない。「検証要求に応じる側」の検証装置３００における複数の検証装置３００（例えば、全ての検証装置３００）が、検証が成功した旨の検証結果を供給してもよい。この場合、「検証を要求する側」の検証装置３００においては、取得した全ての検証結果が、検証が成功した旨を示している場合に、対象ブロックに対する検証が成功したと判定してよい。すなわち、「検証を要求する側」の検証装置３００においては、「検証要求に応じる側」の検証装置３００から全会一致で検証が成功した旨の検証結果を取得した場合に、対象ブロックに対する検証が成功したと判定してよい。

また、上述の説明においては、検証装置３００が、エッジデバイス２００ａ、第一演算装置２００ｂ、第二演算装置２００ｃ、制御パラメータ入力装置２００ｄ、および、制御器２００ｅを管理対象とする場合を一例として示した。しかしながら、これに限定されるものではない。本実施形態に係る検証装置３００は、ゲートウェイ装置、ファイアウォール装置、通信用ルータ、ネットワークスイッチ、スマートメータ、ＩｏＴ機器、ＩｏＴ機器制御用端末、ロボット、プロセス制御装置、エッジコンピュータ、および、サーバ用コンピュータ等、データを収集して他の装置へ供給する可能性のある様々な装置を管理対象としてよい。

本発明の様々な実施形態は、フローチャートおよびブロック図を参照して記載されてよく、ここにおいてブロックは、（１）操作が実行されるプロセスの段階または（２）操作を実行する役割を持つ装置のセクションを表わしてよい。特定の段階およびセクションが、専用回路、コンピュータ可読媒体上に格納されるコンピュータ可読命令と共に供給されるプログラマブル回路、および／またはコンピュータ可読媒体上に格納されるコンピュータ可読命令と共に供給されるプロセッサによって実装されてよい。専用回路は、デジタルおよび／またはアナログハードウェア回路を含んでよく、集積回路（ＩＣ）および／またはディスクリート回路を含んでよい。プログラマブル回路は、論理ＡＮＤ、論理ＯＲ、論理ＸＯＲ、論理ＮＡＮＤ、論理ＮＯＲ、および他の論理操作、フリップフロップ、レジスタ、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、プログラマブルロジックアレイ（ＰＬＡ）等のようなメモリ要素等を含む、再構成可能なハードウェア回路を含んでよい。

コンピュータ可読媒体は、適切なデバイスによって実行される命令を格納可能な任意の有形なデバイスを含んでよく、その結果、そこに格納される命令を有するコンピュータ可読媒体は、フローチャートまたはブロック図で指定された操作を実行するための手段を作成すべく実行され得る命令を含む、製品を備えることになる。コンピュータ可読媒体の例としては、電子記憶媒体、磁気記憶媒体、光記憶媒体、電磁記憶媒体、半導体記憶媒体等が含まれてよい。コンピュータ可読媒体のより具体的な例としては、フロッピー（登録商標）ディスク、ディスケット、ハードディスク、ランダムアクセスメモリ（ＲＡＭ）、リードオンリメモリ（ＲＯＭ）、消去可能プログラマブルリードオンリメモリ（ＥＰＲＯＭまたはフラッシュメモリ）、電気的消去可能プログラマブルリードオンリメモリ（ＥＥＰＲＯＭ）、静的ランダムアクセスメモリ（ＳＲＡＭ）、コンパクトディスクリードオンリメモリ（ＣＤ-ＲＯＭ）、デジタル多用途ディスク（ＤＶＤ）、ブルーレイ（ＲＴＭ）ディスク、メモリスティック、集積回路カード等が含まれてよい。

コンピュータ可読命令は、アセンブラ命令、命令セットアーキテクチャ（ＩＳＡ）命令、マシン命令、マシン依存命令、マイクロコード、ファームウェア命令、状態設定データ、またはＳｍａｌｌｔａｌｋ（登録商標）、ＪＡＶＡ（登録商標）、Ｃ＋＋等のようなオブジェクト指向プログラミング言語、および「Ｃ」プログラミング言語または同様のプログラミング言語のような従来の手続型プログラミング言語を含む、１または複数のプログラミング言語の任意の組み合わせで記述されたソースコードまたはオブジェクトコードのいずれかを含んでよい。

コンピュータ可読命令は、汎用コンピュータ、特殊目的のコンピュータ、若しくは他のプログラム可能なデータ処理装置のプロセッサまたはプログラマブル回路に対し、ローカルにまたはローカルエリアネットワーク（ＬＡＮ）、インターネット等のようなワイドエリアネットワーク（ＷＡＮ）を介して提供され、フローチャートまたはブロック図で指定された操作を実行するための手段を作成すべく、コンピュータ可読命令を実行してよい。プロセッサの例としては、コンピュータプロセッサ、処理ユニット、マイクロプロセッサ、デジタル信号プロセッサ、コントローラ、マイクロコントローラ等を含む。

図１０は、本発明の複数の態様が全体的または部分的に具現化されてよいコンピュータ９９００の例を示す。コンピュータ９９００にインストールされたプログラムは、コンピュータ９９００に、本発明の実施形態に係る装置に関連付けられる操作または当該装置の１または複数のセクションとして機能させることができ、または当該操作または当該１または複数のセクションを実行させることができ、および／またはコンピュータ９９００に、本発明の実施形態に係るプロセスまたは当該プロセスの段階を実行させることができる。そのようなプログラムは、コンピュータ９９００に、本明細書に記載のフローチャートおよびブロック図のブロックのうちのいくつかまたはすべてに関連付けられた特定の操作を実行させるべく、ＣＰＵ９９１２によって実行されてよい。

本実施形態によるコンピュータ９９００は、ＣＰＵ９９１２、ＲＡＭ９９１４、グラフィックコントローラ９９１６、およびディスプレイデバイス９９１８を含み、それらはホストコントローラ９９１０によって相互に接続されている。コンピュータ９９００はまた、通信インターフェイス９９２２、ハードディスクドライブ９９２４、ＤＶＤドライブ９９２６、およびＩＣカードドライブのような入／出力ユニットを含み、それらは入／出力コントローラ９９２０を介してホストコントローラ９９１０に接続されている。コンピュータはまた、ＲＯＭ９９３０およびキーボード９９４２のようなレガシの入／出力ユニットを含み、それらは入／出力チップ９９４０を介して入／出力コントローラ９９２０に接続されている。

ＣＰＵ９９１２は、ＲＯＭ９９３０およびＲＡＭ９９１４内に格納されたプログラムに従い動作し、それにより各ユニットを制御する。グラフィックコントローラ９９１６は、ＲＡＭ９９１４内に提供されるフレームバッファ等またはそれ自体の中にＣＰＵ９９１２によって生成されたイメージデータを取得し、イメージデータがディスプレイデバイス９９１８上に表示されるようにする。

通信インターフェイス９９２２は、ネットワークを介して他の電子デバイスと通信する。ハードディスクドライブ９９２４は、コンピュータ９９００内のＣＰＵ９９１２によって使用されるプログラムおよびデータを格納する。ＤＶＤドライブ９９２６は、プログラムまたはデータをＤＶＤ－ＲＯＭ９９０１から読み取り、ハードディスクドライブ９９２４にＲＡＭ９９１４を介してプログラムまたはデータを提供する。ＩＣカードドライブは、プログラムおよびデータをＩＣカードから読み取り、および／またはプログラムおよびデータをＩＣカードに書き込む。

ＲＯＭ９９３０はその中に、アクティブ化時にコンピュータ９９００によって実行されるブートプログラム等、および／またはコンピュータ９９００のハードウェアに依存するプログラムを格納する。入／出力チップ９９４０はまた、様々な入／出力ユニットをパラレルポート、シリアルポート、キーボードポート、マウスポート等を介して、入／出力コントローラ９９２０に接続してよい。

プログラムが、ＤＶＤ－ＲＯＭ９９０１またはＩＣカードのようなコンピュータ可読媒体によって提供される。プログラムは、コンピュータ可読媒体から読み取られ、コンピュータ可読媒体の例でもあるハードディスクドライブ９９２４、ＲＡＭ９９１４、またはＲＯＭ９９３０にインストールされ、ＣＰＵ９９１２によって実行される。これらのプログラム内に記述される情報処理は、コンピュータ９９００に読み取られ、プログラムと、上記様々なタイプのハードウェアリソースとの間の連携をもたらす。装置または方法が、コンピュータ９９００の使用に従い情報の操作または処理を実現することによって構成されてよい。

例えば、通信がコンピュータ９９００および外部デバイス間で実行される場合、ＣＰＵ９９１２は、ＲＡＭ９９１４にロードされた通信プログラムを実行し、通信プログラムに記述された処理に基づいて、通信インターフェイス９９２２に対し、通信処理を命令してよい。通信インターフェイス９９２２は、ＣＰＵ９９１２の制御下、ＲＡＭ９９１４、ハードディスクドライブ９９２４、ＤＶＤ－ＲＯＭ９９０１、またはＩＣカードのような記録媒体内に提供される送信バッファ処理領域に格納された送信データを読み取り、読み取られた送信データをネットワークに送信し、またはネットワークから受信された受信データを記録媒体上に提供される受信バッファ処理領域等に書き込む。

また、ＣＰＵ９９１２は、ハードディスクドライブ９９２４、ＤＶＤドライブ９９２６（ＤＶＤ－ＲＯＭ９９０１）、ＩＣカード等のような外部記録媒体に格納されたファイルまたはデータベースの全部または必要な部分がＲＡＭ９９１４に読み取られるようにし、ＲＡＭ９９１４上のデータに対し様々なタイプの処理を実行してよい。ＣＰＵ９９１２は次に、処理されたデータを外部記録媒体にライトバックする。

様々なタイプのプログラム、データ、テーブル、およびデータベースのような様々なタイプの情報が記録媒体に格納され、情報処理を受けてよい。ＣＰＵ９９１２は、ＲＡＭ９９１４から読み取られたデータに対し、本開示の随所に記載され、プログラムの命令シーケンスによって指定される様々なタイプの操作、情報処理、条件判断、条件分岐、無条件分岐、情報の検索／置換等を含む、様々なタイプの処理を実行してよく、結果をＲＡＭ９９１４に対しライトバックする。また、ＣＰＵ９９１２は、記録媒体内のファイル、データベース等における情報を検索してよい。例えば、各々が第２の属性の属性値に関連付けられた第１の属性の属性値を有する複数のエントリが記録媒体内に格納される場合、ＣＰＵ９９１２は、第１の属性の属性値が指定される、条件に一致するエントリを当該複数のエントリの中から検索し、当該エントリ内に格納された第２の属性の属性値を読み取り、それにより予め定められた条件を満たす第１の属性に関連付けられた第２の属性の属性値を取得してよい。

上で説明したプログラムまたはソフトウェアモジュールは、コンピュータ９９００上またはコンピュータ９９００近傍のコンピュータ可読媒体に格納されてよい。また、専用通信ネットワークまたはインターネットに接続されたサーバーシステム内に提供されるハードディスクまたはＲＡＭのような記録媒体が、コンピュータ可読媒体として使用可能であり、それによりプログラムを、ネットワークを介してコンピュータ９９００に提供する。

以上、本発明を実施の形態を用いて説明したが、本発明の技術的範囲は上記実施の形態に記載の範囲には限定されない。上記実施の形態に、多様な変更または改良を加えることが可能であることが当業者に明らかである。その様な変更または改良を加えた形態も本発明の技術的範囲に含まれ得ることが、特許請求の範囲の記載から明らかである。

特許請求の範囲、明細書、および図面中において示した装置、システム、プログラム、および方法における動作、手順、ステップ、および段階等の各処理の実行順序は、特段「より前に」、「先立って」等と明示しておらず、また、前の処理の出力を後の処理で用いるのでない限り、任意の順序で実現しうることに留意すべきである。特許請求の範囲、明細書、および図面中の動作フローに関して、便宜上「まず、」、「次に、」等を用いて説明したとしても、この順で実施することが必須であることを意味するものではない。

１０ データ処理システム
１００ 処理装置
１１０ 受信部
１２０ 復号部
１３０ 処理部
１４０ 暗号部
１５０ 送信部
１６０ 継続判定部
２０ 制御システム
２００ 制御処理装置
２００ａ エッジデバイス
２００ｂ 第一演算装置
２００ｃ 第二演算装置
２００ｄ 制御パラメータ入力装置
２００ｅ 制御器
２００ｆ 制御対象
３０ 検証システム
３００ 検証装置
３１０ 登録部
３１５ データ取得部
３２０ 算出部
３２５ ブロック生成部
３３０ 暗号化部
３３５ 検証要求部
３４０ 検証結果取得部
３４５ 出力部
３５０ ブロック取得部
３５５ 復号化部
３６０ 検証部
３６５ 検証応答部
９９００ コンピュータ
９９０１ ＤＶＤ－ＲＯＭ
９９１０ ホストコントローラ
９９１２ ＣＰＵ
９９１４ ＲＡＭ
９９１６ グラフィックコントローラ
９９１８ ディスプレイデバイス
９９２０ 入／出力コントローラ
９９２２ 通信インターフェイス
９９２４ ハードディスクドライブ
９９２６ ＤＶＤドライブ
９９３０ ＲＯＭ
９９４０ 入／出力チップ
９９４２ キーボード

Claims (17)

1. 複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得するデータ取得部と、
   前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、前記対象データに基づいて生成するブロック生成部と、
   前記対象ブロックを前記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、前記対象ブロックに対する検証を要求する検証要求部と、
   前記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、前記対象ブロックを前記ブロックチェーンに登録する登録部と
   を備える、検証装置。
2. 前記対象ブロックの検証が失敗した旨の前記検証結果が取得された場合に、異常メッセージを出力する出力部を更に備える、請求項１に記載の検証装置。
3. 前記対象ブロックを前記複数の検証装置毎に暗号化する暗号化部を更に備え、
   前記検証要求部は、前記複数の検証装置毎に暗号化されたそれぞれの前記対象ブロックを前記複数の検証装置のそれぞれへ供給する、請求項１または２に記載の検証装置。
4. 前記登録部は、前記複数の処理装置のうちの検証結果を供給すべき主検証装置からの検証結果に応じて、前記対象ブロックを前記ブロックチェーンに登録する、請求項１から３のいずれか一項に記載の検証装置。
5. 前記データ処理システムは、前記複数の処理装置を経由して生成される制御パラメータに基づいて制御対象を制御する制御システムであり、
   前記主検証装置は、前記制御パラメータに応じた制御指令を前記制御対象に与える制御器を管理対象とする検証装置である、請求項４に記載の検証装置。
6. 前記ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する算出部を更に備え、
   前記ブロック生成部は、前記ハッシュ値を含む前記対象ブロックを生成する、請求項１から５のいずれか一項に記載の検証装置。
7. 前記データ取得部は、前記対象処理装置において上流の処理装置から入力される入力データ、および、下流の処理装置へ出力する出力データを取得し、
   前記ブロック生成部は、前記入力データおよび前記出力データを含む前記対象ブロックを生成する、請求項１から６の何れか一項に記載の検証装置。
8. 複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得することと、
   前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、前記対象データに基づいて生成することと、
   前記対象ブロックを前記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、前記対象ブロックに対する検証を要求することと、
   前記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、前記対象ブロックを前記ブロックチェーンに登録することと
   を備える、検証方法。
9. コンピュータにより実行されて、前記コンピュータを、
   複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、管理対象とする対象処理装置におけるデータである対象データを取得するデータ取得部と、
   前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを、前記対象データに基づいて生成するブロック生成部と、
   前記対象ブロックを前記複数の処理装置をそれぞれ管理対象とする複数の検証装置へ供給して、前記対象ブロックに対する検証を要求する検証要求部と、
   前記複数の検証装置のうちの少なくとも一つの検証装置からの検証結果に応じて、前記対象ブロックを前記ブロックチェーンに登録する登録部と
   して機能させる、検証プログラム。
10. 複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得するブロック取得部と、
    前記ブロックチェーンに登録済みの上流のブロックに基づいて、前記対象ブロックを検証する検証部と、
    前記対象ブロックに対する検証結果を前記対象ブロックの供給元である対象検証装置へ供給して、前記対象ブロックに対する検証要求に応答する検証応答部と、
    前記検証結果に応じて前記対象ブロックを前記ブロックチェーンに登録する登録部と
    を備える、検証装置。
11. 前記対象ブロックの検証が失敗した場合に、異常メッセージを出力する出力部を更に備える請求項１０に記載の検証装置。
12. 前記対象ブロックを、前記対象検証装置に応じて復号化する復号化部を更に備える、請求項１０または１１に記載の検証装置。
13. 前記検証応答部は、自身が検証結果を供給すべき主検証装置であるかどうか判定し、前記主検証装置である場合に、前記対象ブロックに対する検証結果を前記対象検証装置へ供給する、請求項１０から１２のいずれか一項に記載の検証装置。
14. 前記データ処理システムは、前記複数の処理装置を経由して生成される制御パラメータに基づいて制御対象を制御する制御システムであり、
    前記検証応答部は、前記制御パラメータに応じた制御指令を前記制御対象に与える制御器を管理対象とする場合に、自身が主検証装置であると判定する、請求項１３に記載の検証装置。
15. 前記ブロックチェーンに登録済みの上流のブロックに基づいてハッシュ値を算出する算出部を更に備え、
    前記検証部は、前記対象ブロックに含まれるハッシュ値と算出したハッシュ値とに基づいて、前記対象ブロックを検証する、請求項１０から１４のいずれか一項に記載の検証装置。
16. 複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得することと、
    前記ブロックチェーンに登録済みの上流のブロックに基づいて、前記対象ブロックを検証することと、
    前記対象ブロックに対する検証結果を、前記対象ブロックの供給元である対象検証装置へ供給して、前記対象ブロックに対する検証要求に応答することと、
    前記検証結果に応じて前記対象ブロックを前記ブロックチェーンに登録することと
    を備える、検証方法。
17. コンピュータにより実行されて、前記コンピュータを、
    複数の処理装置を経由してデータが伝搬または変換されるデータ処理システムにおいて、前記複数の処理装置のそれぞれにおけるデータに基づくブロックを記録するブロックチェーンに登録すべき対象ブロックを取得するブロック取得部と、
    前記ブロックチェーンに登録済みの上流のブロックに基づいて、前記対象ブロックを検証する検証部と、
    前記対象ブロックに対する検証結果を、前記対象ブロックの供給元である対象検証装置へ供給して、前記対象ブロックに対する検証要求に応答する検証応答部と、
    前記検証結果に応じて前記対象ブロックを前記ブロックチェーンに登録する登録部と
    して機能させる、検証プログラム。

Images