JP7477907B2 - 情報提供システム、情報提供方法及び情報提供プログラム - Google Patents

Description

本発明は、情報提供システム、情報提供方法及びプログラムに関する。

ビッグデータを用いた回帰分析や機械学習、ビッグデータから関係性を見つけ出す分析等、大規模なデータ処理は、独立した大規模なコンピュータシステムで処理されている。近年ではネットワーク技術の進展と共に、分散処理による演算処理が普及してきおり、他者が管理するパーソナルコンピュータ（以下「ＰＣ」という。）等の演算装置に情報を提供するためのシステムとして、特許文献１や特許文献２のものが知られている。

特許文献１には、ユーザデバイスに対してサービスプロバイダから提供するコンテンツの利用管理を行うシステムにおいて、前記ユーザデバイスは、前記サービスプロバイダから受信したコンテンツ利用権限証明書に格納された暗号化コンテンツ鍵に対するユーザデバイス内の格納鍵を適用した復号処理を実行することによりコンテンツ鍵を取得し、取得したコンテンツ鍵を適用した暗号化コンテンツの復号化処理を実行してコンテンツを取得するコンテンツ利用管理システムが記載されている。

また、特許文献１のコンテンツ利用権限証明書は、当該コンテンツ利用権限証明書の発行エンティテイの電子署名が付加された構成であり、前記コンテンツ利用権限証明書内の暗号化コンテンツ鍵の復号化処理は、前記電子署名の検証によりデータ改竄のないことの確認を条件として実行する構成となっている。

特許文献２には、データベースへのアクセス制御方法において、プログラムの安全性を検証する安全性検証処理を含むとともに、上記安全性検証処理での検証結果に基づいて、上記プログラムに対して上記データアクセス権限を設定する技術が記載されている。

また、特許文献２では、プログラムの安全性の検証は、外部の認証機関による認証を確認してもよいし、プログラムに記録されている作成者の署名等を確認してもよいし、プログラムのコードを解析して動作内容を確認してもよいとされている。

特開２００３－０８７２３７号公報 特開２００２－１８２９８３号公報

従来は、参加者が多数でかつ、個人情報を含む秘匿性の高い情報を対象とした分散処理はこれまで行われていない。すなわち、上記特許文献１に記載のコンテンツ利用管理システムでは、ユーザのコンテンツ利用権限を、サービスプロバイダ側でユーザ毎に管理することなく、正当なユーザにおいてのみコンテンツ利用を可能とし、さらに、期間制限、回数制限等、ユーザに対応した様々な利用制限を設定することが可能ではあるが、取り扱うコンテンツは、まんがや映像であり、ユーザがコンテンツを用いて演算処理できるようなシステムとはなっていない。

また、上記特許文献２には、プログラムの安全性の検証について開示されているが、自己のＰＣでのプログラム処理に関する検証であり、他のＰＣに対してデータベース内の情報を提供することを前提とするものではない。

そこで、本発明の目的は、情報提供者から提供された情報を演算処理装置においてプログラムにより演算処理する際に、情報提供者がプログラムに対する情報の使用制限やプログラムの検証を行うことができる情報提供システム、情報提供方法及び情報提供プログラムを提供することにある。

本発明の上記目的は、以下の構成によって達成できる。すなわち、本発明の第１の態様の情報提供システムは、情報を記憶し、演算処理装置からの要求に応じて情報を提供する情報提供装置と、前記情報提供装置から提供された提供情報に基づいて所定の演算処理プログラムにより演算処理を行う演算処理装置と、を少なくとも含む情報提供システムであって、前記情報提供装置が、前記演算処理装置の演算処理プログラムを検証するための検証用データを含む付加情報を生成し、前記提供情報に、前記演算処理装置から要求された要求データに加え、前記付加情報を付加し、前記演算処理装置が、前記演算処理プログラムに前記検証用データを用いた検証用演算を実行させた場合に、前記検証用演算を検証するプログラム検証部を備え、前記プログラム検証部により前記演算処理プログラムが適正なプログラムとして認証された場合に限り、前記演算処理プログラムに前記要求データが提供され、前記演算処理装置では、提供された前記要求データを用いて前記演算処理プログラムによる演算処理が行われることを特徴とする。

本発明の第２の態様の情報提供システムは、第１の態様の情報提供システムにおいて、前記付加情報にはさらに前記演算処理装置から要求された要求データを使用するための情報使用条件が含まれていることを特徴とする。

本発明の第３の態様の情報提供システムは、第１又は第２の態様の情報提供システムにおいて、前記付加情報にはさらに前記検証用演算に用いられる検証用演算結果データが含まれていることを特徴とする。

本発明の第４の態様の情報提供システムは、第３の態様の情報提供システムにおいて、前記提供情報の中、少なくとも前記要求データ、前記検証用データ及び前記検証用演算結果データは前記情報提供装置において暗号化されて前記演算処理装置に送信され、前記演算処理装置において前記プログラム検証部は暗号化された前記提供情報を復号することを特徴とする。

本発明の第５の態様の情報提供システムは、第３又は第４の態様の情報提供システムにおいて、前記プログラム検証部は、前記検証用データを用いた前記演算処理プログラムによる演算処理の結果が、前記検証用演算結果データと一致した否かにより、前記演算処理プログラムを検証することを特徴とする。

本発明の第６の態様の情報提供システムは、第１乃至第５のいずれかの態様の情報提供システムにおいて、前記付加情報には少なくとも前記演算処理装置において前記演算処理プログラムに許容される演算処理の範囲を規定した権限情報が含まれていることを特徴とする。

本発明の第７の態様の情報提供システムは、第６の態様の情報提供システムにおいて、前記プログラム検証部は、前記演算処理装置において前記演算処理プログラムが前記検証用データを用いた前記検証用演算を実行した場合に、当該検証用演算が前記権限情報に規定された演算処理の範囲内であるか否かにより、前記演算処理プログラムが検証されることを特徴とする。

本発明の第８の態様の情報提供システムは、第２の態様の情報提供システムにおいて、前記演算処理装置では、前記付加情報によって規定された前記情報使用条件の範囲内で、前記演算処理プログラムによる演算処理が行われることを特徴とする。

本発明の第９の態様の情報提供方法は、情報提供装置に対する要求に応じて提供された提供情報に基づいて演算処理装置において所定の演算処理プログラムにより演算処理を行う情報提供方法であって、前記情報提供装置に対して前記提供情報を要求する要求ステップと、前記情報提供装置が、前記演算処理装置の演算処理プログラムを検証するための検証用データを含む付加情報を生成し、前記提供情報に、前記演算処理装置から要求された要求データに加え、前記付加情報を付加する付加情報ステップと、前記演算処理装置が、前記演算処理プログラムに前記検証用データを用いた検証用演算を実行させることにより、前記演算処理プログラムを検証するプログラム検証ステップと、前記プログラム検証ステップにより前記演算処理プログラムが適正なプログラムとして認証された場合に限り、前記演算処理プログラムに前記要求データが提供される提供ステップと、提供された前記要求データを用いて前記演算処理プログラムにより演算処理を行うステップと、を含むことを特徴とする。

本発明の第１０の態様の情報提供プログラムは、第９の態様の情報提供方法の各ステップをコンピュータ装置により実行することを特徴とする。

本発明の実施形態によれば、情報提供者から提供された情報を演算処理装置においてプログラムにより演算処理する際に、情報提供者がプログラムに対する情報の使用制限やプログラムの検証を行うことができる情報提供システム、情報提供方法及び情報提供プログラムを提供することができる。

情報提供システムの全体ブロック図である。 情報提供システムの動作説明図である。 演算処理装置の動作説明図である。 組み合わせプログラムの説明図である。 電子投票システムに適用した場合の説明図である。

以下、図面を参照して本発明の実施形態に係る情報提供システム、情報提供方法及び情報提供プログラムを説明する。但し、以下に示す実施形態は本発明の技術思想を具体化するための情報提供システム、情報提供方法及び情報提供プログラムを例示するものであって、本発明をこれらに特定するものではなく、特許請求の範囲に含まれるその他の実施形態のものにも等しく適用し得るものである。

［第１実施形態］
本発明の第１実施形態に係る情報提供システム、情報提供方法及び情報提供プログラムについて、図１及び図２を参照して説明する。

図１は、情報提供システムの全体ブロック図である。情報提供システムは、情報提供装置１０、演算処理装置２０及び管理サーバ３０を備えており、情報提供装置１０、演算処理装置２０及び管理サーバ３０はそれぞれ情報ネットワーク４０により相互に接続されている。情報提供装置１０及び演算処理装置２０は1個以上設けられている。

図２は、情報提供システムの動作説明図である。情報提供装置１０は、検証データ作成部１１及びデータベース１２を備えている。検証データ作成部１１とデータベース１２とは相互に接続され、検証データ作成部１１を介してデータベース１２の情報は、演算処理装置２０に提供可能とされている。

検証データ作成部１１は演算処理装置２０のデータ要求部２２からのデータ要求情報に応じて、情報提供プラットフォームプログラム管理部３１から提供された情報提供装置用プログラムに基づくＣＰＵ（図示省略）による演算により、後述のように検証用データ、及び、演算処理検証に用いられる検証用演算結果データを出力する。また、検証データ作成部１１は、同様に、予め入出力手段（図示省略）等により設定されたデータ利用制限情報に基づき、情報提供装置用プログラムに従ったＣＰＵによる演算により、演算処理装置に対する権限リストのデータを作成する。さらに、検証データ作成部１１は、情報提供装置用プログラムに従って、データベース１２にアクセスして要求データ、すなわち、実際に演算処理装置２０の演算に用いられるデータを取得する。そして、検証データ作成部１１は、これらのデータを提供情報として、演算処理装置２０のプログラム検証部２３に送信する。

演算処理装置２０は、演算処理プログラム実行部２１、データ要求部２２、プログラム検証部２３を有している。演算処理プログラム実行部２１、データ要求部２２、プログラム検証部２３はいずれもスーパバイザ２４により管理されている。ここで、スーパバイザ２４とは、ＯＳが管理している資源を排他的に、例えば閲覧をはじめとする他者の利用をそのままでは許さないように管理するプログラム、別の表現では、ＯＳを統制が取れた環境の下で管理するプログラムを意味する。例えば情報提供プラットフォームプログラム管理部３１から提供された演算処理装置用プログラムに基づき、カーネルによってＯＳが管理している資源を排他的に管理することができる。

演算処理プログラム実行部２１からデータ要求部２２に対して、演算処理プログラムが要求するデータを情報提供装置１０に対して要求し、この要求に応じて情報提供装置１０からプログラム検証部２３へ要求データを含む提供情報が送信される。プログラム検証部２３においては、演算処理プログラムが検証され、適正であった場合には、演算処理プログラム実行部２１に要求データが提供される。

データ要求部２２及びプログラム検証部２３はいずれも、演算処理装置用プログラムに従ってスーパバイザ２４により管理されており、セキュアなＯＳ環境の中で、データ要求部２２によるデータ要求情報の演算処理や、プログラム検証部２３によるプログラム検証及び演算処理プログラムへの要求データの提供処理等の各種演算処理が演算処理装置２０のＣＰＵ（図示省略）により実行される。同様に、演算処理プログラム実行部２１における処理も同様に、セキュアなＯＳ環境の中でＣＰＵにより実行される。

情報提供装置１０及び演算処理装置２０は、管理サーバ３０に接続されており、情報提供装置１０の検証データ作成部１１及び演算処理装置２０のスーパバイザ２４のプログラムは、管理サーバ３０の情報提供プラットフォームプログラム管理部３１から提供され、これらのプログラムは情報提供プラットフォームプログラム管理部３１により管理されている。これにより、情報提供システムは、情報提供プラットフォーム上で統制がとれた環境の中で情報の提供及び情報の利用が行われる。情報提供装置１０と演算処理装置２０との通信を行う際のデータの暗号化、復号化及び電子署名のアルゴリズムも、この情報提供プラットフォームプログラム管理部３１により管理されている。

演算処理装置２０に対して、情報提供装置１０から要求データが提供される手順について説明する。

（１）演算処理プログラム実行部２１からの要求に応じて、データ要求部２２において、演算処理プログラムが必要とする要求データを各情報提供装置１０に対して要求するためのデータ要求情報を作成する。

（２）データ要求部２２から情報提供装置１０の検証データ作成部１１に対して、データ要求情報が送信される。

（３）検証データ作成部１１において、対象とする演算処理プログラムを検証するための検証データを作成する。

（４）検証データ作成部１１から演算処理装置２０のプログラム検証部２３へ要求データ及び演算処理プログラムに許容される演算処理の範囲や使用制限の条件を規定した付加情報が含まれる提供情報が送信される。

（５）プログラム検証部２３において、対象とする演算処理プログラムが認証された場合には、演算処理プログラム実行部２１に要求データが提供され、演算処理プログラムによる演算処理が実行される。

上記（１）のデータ要求情報の作成について詳しく説明する。演算処理プログラム実行部２１で実行される処理対象の演算処理プログラムは、例えば次の演算処理プログラムＰ１のようなRustのプログラムである。演算処理プログラムＰ１は、線形回帰分析の例であり、要求データ（データ群）に対して、最小二乗法（OLS)を用いた線形回帰を行う。

［演算処理プログラムＰ１］

データ要求情報には、要求データに関する指示である、最小二乗法を用いた線形回帰を行うための要求データの情報に加え、処理対象となる演算プログラムとしての演算処理プログラムＰ１の情報、例えばソースプログラムの情報が含まれる。なお、演算処理プログラムの情報としては、ソースプログラムだけに限られるものではなく、入力に対する出力の関係を特定できる情報、例えば、処理内容が事前に検証され、確認されている専用ハードウェアを直接に接続する、そのようなハードウェアを直列したものに接続する等、演算処理プログラムの処理内容が把握できるものであればどのような情報であってもかまわない。

上記（２）においては、データ要求部２２から情報提供装置１０の検証データ作成部１１に対して、データ要求情報が送信される。データ要求情報は情報提供プラットフォームプログラム管理部３１で管理されるプロトコルに従って暗号化されることが望ましい。

上記（３）の検証データ作成部１１における検証データ作成について詳しく説明する。検証データ作成部１１では、データ要求情報が暗号化されている場合には、情報提供プラットフォームプログラム管理部３１で管理されるプロトコルに従って復号化される。次に、検証データ作成部１１では、演算処理装置２０において処理対象の演算処理プログラムに許容する演算処理の範囲を規定するための情報を生成する。

検証データ作成部１１では、データ要求情報に付与された演算処理プログラムの処理内容を解析し、演算処理プログラムが適正であるかどうかを検証するために必要な情報を生成し、提供情報に付加する。このため検証データ作成部１１からプログラム検証部２３に送信される提供情報には、次の情報が含まれている。
（ａ）演算処理装置において前記演算処理プログラムに許容される演算処理の範囲や使用制限の条件を規定した権限情報、例えば権限リスト
（ｂ）検証用データ
（ｃ）演算処理検証に用いられる検証用演算結果データ
（ｄ）要求データ（実際の演算に用いられるデータ）

上記（４）では、検証データ作成部１１から演算処理装置２０のプログラム検証部２３へ要求データ及び演算処理プログラムに許容される演算処理の範囲を規定した付加情報が含まれる提供情報が送信される。提供情報の中、少なくとも上記（ｂ）（ｃ）及び（ｄ）は情報提供プラットフォームプログラム管理部３１で管理されるプロトコルに従って暗号化されることが望ましい。上記（ａ）も併せて暗号化を行ってもよい。さらに、提供情報に電子署名を付加することにより、より確実に改ざんを防ぐことができる。

上記（５）のプログラム検証部２３の処理について詳細に説明する。プログラム検証部２３においては、提供情報に含まれている上記（ｂ）及び（ｃ）を用いて、上記（ｂ）の検証用データを用いてデータ処理対象の処理プログラムを実行した場合の結果が、上記（ｃ）の演算処理検証に用いられる検証用演算結果データと一致するかどうかを検証する。

さらに、上記（ｂ）の検証用データを用いてデータ処理対象の処理プログラムを実行した場合に、処理プログラムが上記（ａ）の権限情報で許される範囲を超えた処理をしていないかどうかが判定される。

例えば、権限情報としての権限リストに、データ保存に関し、演算結果の保存が許可されているが、要求データ自体の保存は許可されていない場合には、演算処理装置２０が、演算結果を保存することは許可されるが、要求データ自体を別途保存しておくことは許可されない。このため、上記（ｂ）の検証用データを用いてデータ処理対象の処理プログラムを実行した場合に、データ保存が権限リストの範囲にあるかどうかが検証される。

演算処理装置２０のスーパバイザ２４は、情報提供プラットフォームプログラム管理部３１により提供されたプログラムにより、常に統制された環境で動作されている。このため、演算処理装置２０のプログラム検証部２３及び演算処理プログラム実行部２１において実行される演算処理プログラムの演算処理はスーパバイザ２４により常に監視することが可能であり、データの保存、転送、削除等の処理内容は常に把握されている。このために、本実施例の情報提供システムにおいては、上記（ｂ）の検証用データを用いてデータ処理対象の処理プログラムを実行した場合に、データ保存が権限リストの範囲にあるかどうかを適切に検証することが可能である。

上記（ｂ）の検証用データを用いてプログラム検証部２３にて処理対象の演算処理プログラムを実行した場合の結果が、上記（ｃ）の演算処理検証に用いられる検証用演算結果データと一致し、かつ、上記（ｂ）の検証用データを用いてデータ処理対象の処理プログラムを実行した場合に、処理プログラムが上記（ａ）の権限情報で許される範囲を越えた処理をしていないと判定された場合に、処理対象の演算処理プログラムは適正であると判断され、すなわち、適正な演算処理プログラムとして認証される。

演算処理プログラムが適正なプログラムとして認証されると、上記（ｄ）の要求データが演算処理プログラムに提供され、演算処理プログラム実行部２１において、演算処理プログラムは要求データを用いて実際の演算を行う。

図３は、演算処理装置２０の動作説明図である。データ要求部２２、プログラム検証部２３、演算処理プログラム実行部２１、メモリ２５及びそれ以外の入出力装置（図示省略）等は、全てスーパバイザ２４により管理された環境の中で処理されている。これによりスーパバイザ２４によりＯＳの全ての動作を管理できる状態、すなわち、ＯＳのセキュアな実行環境を実現することができる。なお、図３の演算処理装置２０の動作説明図は、本実施形態の一例であり、他の様々な構成によって、ＯＳのセキュア化を実現することもできる。

演算処理プログラム実行部２１において関数２８は、全てのデータを、ライブラリ２７を介して送受している。メモリ２５内には、ライブラリ２７だけがアクセス可能なライブラリ専用領域が仮想的に設けられており、例えば、プログラム検証部２３を介して入手された要求データはメモリ２５内のライブラリ専用領域に格納される。また、例えば図３において、データ２９はメモリ２５内のライブラリ専用領域に記憶されているものである。関数２８は、メモリ２５内のライブラリ専用領域に格納された要求データにアクセスできる。そして、関数２８は、メモリ２５のデータ２９を、ライブラリ２７を経由して受け取る。関数２８は受け取ったデータを用いて、演算処理装置２０のＣＰＵにより関数２８に従って演算を行う。関数２８の演算の終了後、演算処理プログラムによる最終的な演算結果リストだけがユーザに提供され、メモリ２５内のデータ２９の領域にある演算途中に用いられたデータは完全に削除される。データを完全に削除する方法としては、特に限定されるものではないが、例えばデータを全て「０」で埋めること等の適宜の方法を採用可能である。また、関数２８は、演算結果のリストのみをユーザに提供する。

このように、関数２８は、スーパバイザ２４の完全な管理のもと、ライブラリ２７を介して全てのデータの送受を行っているため、演算処理装置２０内におけるメモリ２５内のライブラリ専用領域以外の領域に要求データや演算途中のデータを残すことがなく、要求データはライブラリ２７内にのみスーパバイザ２４が管理可能な状態で格納されている。したがって、スーパバイザ２４は、情報提供装置１０から受信した権限リストに規定された権限の範囲内で要求データを使用し、ライブラリ内で要求データを確実に管理することができる。また、上述のとおり、メモリ２５内のライブラリ専用領域のデータは完全に削除することが可能である。

ここでは、ＯＳをセキュア化する例を説明したが、演算処理プログラム実行部２１の演算で用いられるアプリケーションを仮想化することにより、演算処理装置の動作をスーパバイザ２４により管理することも可能である。この場合には、アプリケーションによる演算が開始された後、アプリケーションにより要求データが呼び出される前に、スーパバイザ２４が全ての動作を管理する仮想的な環境（以下「セキュア環境」という。）内でアプリケーションを動作させる。次に、アプリケーションから演算結果を出力されると、スーパバイザ２４は、ユーザに対して演算結果のリストだけを提供すると共に、要求データ及び演算途中のデータを削除した後に、アプリケーションはセキュア環境から演算処理装置２０の通常演算環境での動作に戻される。したがって、アプリケーション仮想化の場合にも、スーパバイザ２４は、アプリケーションをセキュア環境において管理するため、情報提供装置１０から受信した権限リストに規定された権限の範囲内であることを監視する。すわなち、権限リストの規定に応じて、コンソールへの出力を制限すること、ファイルに書き込むこと、ネットワーク通信を行うこと等を禁止する。また、例えば認証されたＧＰＵを用いることにより、スーパバイザ２４の管理のもとでユーザに対して演算結果のみを提示することができる。

[変形例]
本実施形態の上記実施例では、１つのプログラム毎に認証する例を示したが、ここでは変形例として、複数のプログラムを予め認証しておき、認証済みの複数のプログラムを組み合わせて演算を行う例を説明する。図４を参照して本実施形態の変形例について説明する。図４は、組み合わせプログラムの説明図である。変形例では、プログラム検証部２３において事前に認証済みの複数のプログラムを組み合わせ、要求データを用いて所定の演算を行うプログラム（以下「組み合わせプログラム」という。）について説明する。

データ受領プログラム５０は、インターネット等の通信ネットワークを介して受信した要求データを受け取り、演算処理可能な状態として出力するプログラムである。データ受領プログラム５０の出力部５１から、要求データが出力される。

傾向スコアマッチング５２は、要求データを用いて傾向スコアマッチングの演算を行うプログラムである。傾向スコアマッチング５２では、要求データを用いて、例えば、学歴の近い人のマッチングや所得の近い人のマッチング等が可能である。傾向スコアマッチング５２の入力部５３は、データ受領プログラム５０の出力から要求データを受け取り、傾向スコアマッチング５２において傾向スコアマッチング演算が行われ、出力部５４は傾向スコアマッチングの結果を出力する。

重回帰分析５５では、傾向スコアマッチング５２の出力部５４からの傾向スコアマッチングの結果を入力部５６により受け取り、重回帰分析を行い、例えば、学歴と所得との関連性を分析することができる。

このように、図４に示された組み合わせプログラムでは、要求データに基づいて傾向スコアマッチングのデータを重回帰分析することにより得られた結果リストは、ユーザに提供されるが、前述のようにスーパバイザ２４の完全な管理のもと、要求データ及び演算途中のデータは削除されて、演算処理装置に残されることはない。ただし、部分プログラムは、演算処理装置の中の演算処理プログラム実行部の中で動作するものであり、出力部と入力部との間に連携を設定することにより、その出力データは削除されることなく、後続の入力データとして利用できる。この場合にも、組み合わせプログラムにおいて最終的に得られた結果リストだけがユーザに提供され、途中経過のデータは演算終了後には全て削除される。

次に、組み合わせプログラムによる演算を行うための、事前の認証の手順について説明する。

（１）実行する予定のｎ個の組み合わせプログラムPｉ（ｉ=1～ｎ）の中の１つである部分プログラムPｉについて、対象とする部分プログラムPｉが処理できる入力の種類と、対象とする部分プログラムPｉが結果として返す出力の種類が事前に登録される。

（２）演算処理装置２０において、対象とする部分プログラムPｉの事前の認証を行うための事前認証プログラムＡｉ（ｉ=1～ｎ）が、スーパバイザ２４の管理のもと自動的に生成される。事前認証プログラムＡｉは、スーパバイザ２４の権限を利用するプログラムであって、また、対象とする部分プログラムPｉを内部的に呼び出す関数である。事前認証プログラムＡｉは、データ要求部２２を通じて、対象とする部分プログラムPｉが処理できる入力の種類と、対象とする部分プログラムPｉが結果として返す出力の種類とに対応した事前承認要求を各情報提供装置１０に対して送信する。

（３）情報提供装置１０の検証データ作成部１１において、事前認証プログラムＡｉの対象である部分プログラムPｉを検証するための検証データが作成される。

（４）情報提供装置１０の検証データ作成部１１から演算処理装置２０のプログラム検証部２３へ、検証データ、演算処理検証に用いられる検証用演算結果データ、及び、演算処理プログラムに許容される演算処理の範囲や使用制限の条件を規定した付加情報等が含まれる部分プログラム検証用情報が送信される。

（５）プログラム検証部２３において、事前認証プログラムＡｉが対応する部分プログラムＰｉを適正な演算処理プログラムとして認証した場合、部分プログラムＰｉは事前認証済みの部分プログラムＰｉとして演算処理装置２０に格納され、演算処理プログラム実行部２１から呼び出せるようになる。より具体的には、事前認証プログラムＡｉは、検証用データを用いて部分プログラムＰｉを実行した場合の結果が、検証用演算結果データと一致するかどうかを検証する。さらに、事前認証プログラムＡｉは、部分プログラムＰｉを実行した場合に、付加情報で規定された演算処理の範囲や使用制限の条件で許される範囲を超えた処理をしていないかどうかを判定する。

（６）上記（１）～（５）の部分プログラム事前検証の手順が、必要な数ｎの部分プログラムＰｉ（ｉ＝１～ｎ）について、繰り返される。
（７）演算処理プログラム実行部２１において、事前認証済みの部分プログラムPｉを複数組み合わせた組み合わせプログラムが構成される。組み合わせプログラムが実行されると、データ要求部２２からの要求に応じて、情報提供装置１０から要求データが、演算処理装置２０のプログラム検証部２３に送信される。プログラム検証部２３では、各部分プログラムが許容される演算処理の範囲として規定された範囲内で、組み合わせプログラムに対して要求データが提供され、目的の演算が行われる。演算処理プログラム実行部２１で得られた演算処理の結果リストがユーザに提供されると共に、上述のとおりスーパバイザ２４により完全に管理された環境により演算が実行されるため、要求データや演算途中のデータは使用制限の条件に応じて削除され、演算処理装置２０には残されることはない。

単に重回帰分析をしても意味のある分析結果が得られない場合があるが、このような場合には傾向スコアマッチングした上でその結果に対して重回帰分析をすると意味のある結果が得られやすい。したがって、本変形例にように、各分析処理を順に組み合わせることで意味のある結果が得られやすくなる。

［第２実施形態］
本発明の第２実施形態に係る情報提供システム、情報提供方法及び情報提供プログラムについて、図５を参照して説明する。図５は、電子投票システムへ適用した場合の説明図であり、第１実施形態で説明した情報提供システムを電子投票システムへ適用した場合の説明図である。図５において、第１実施形態と同様の構成については同じ符号を用い、その説明は省略する。

演算処理装置２０において、投票用紙集計プログラムが投票結果を示す投票用紙（Ａ，Ｂ，・・・,Ｎ）の投票用紙情報（ＩＤリスト）を集計する場合について説明する。

（１）通信ネットワークを通じて、演算処理装置２０は有権者一覧に対応する各情報提供装置Ｓ１、Ｓ２～Ｓｎに対して、投票用紙情報を提供するようにデータ要求情報を送信する。
（２）情報提供装置Ｓ１、Ｓ２～Ｓｎからは演算処理装置２０の要求に応じて各投票用紙情報が提供される。
（３）投票用紙集計プログラムが認証された場合には、演算処理装置２０では、投票用紙集計プログラムに有権者一覧が入力され、次に、投票用紙集計プログラムは、各投票用紙情報（Ｂ，C, ・・・, Ｍ）を用いて投票結果を集計する。なお、図５では、情報提供装置Ｓ１は投票用紙情報Ａ及びＢを記憶しているが、投票者は投票用紙情報Ａを取消し、最終的に投票用紙情報Ｂを有効な投票とした例が示されている。
（４）投票用紙集計プログラムは、投票結果リストをユーザに提供すると共に、第１実施形態と同様に、スーパバイザ２４による完全に管理された環境において演算が行われているため、要求データである各投票用紙情報や演算途中のデータは削除され、演算処理装置２０に残されることはない。

本実施形態では、情報提供装置Ｓ１、Ｓ２～Ｓｎに保存されている投票用紙情報は変更履歴を記録し、改ざんを防止するようなデータベースに記憶される。なお、投票用紙情報が記憶されるデータベースはとしてブロックチェーンを採用することができるが、データベースはブロックチェーンに限定されるものではなく、他の分散記憶形式等であってもよい。ブロックチェーンを採用した場合には、演算処理装置２０は各情報提供装置１０にデータ要求情報を送信することにより、所望の投票用紙情報を取得することが可能であり、かつ、変更履歴が記録されることにより改ざんを防止することができる。

以上、本発明のいくつかの実施形態について説明したが、これらの実施形態は本発明の技術思想を具体化するための情報提供システム、情報提供方法及び情報提供プログラムを例示するものであって、本発明をこれらに特定するものではなく、その他の実施形態のものにも等しく適用し得るものであり、また、これらの実施形態の一部を省略、追加、変更することや、各実施形態の態様を組み合わせることが可能である。

１０…情報提供装置
１１…検証データ作成部
１２…データベース
２０…演算処理装置
２１…演算処理プログラム実行部
２２…データ要求部
２３…プログラム検証部
２４…スーパバイザ
２５…メモリ
２７…ライブラリ
２８…関数
２９…データ
３０…管理サーバ
３１…情報提供プラットフォームプログラム管理部
４０…情報ネットワーク
５０…データ受領プログラム
５１…出力部
５２…傾向スコアマッチング
５３…入力部
５４…出力部
５５…重回帰分析
５６…入力部
Ａｉ…事前認証プログラム
Ｐ１…演算処理プログラム
Ｐｉ…部分プログラム

Claims (10)

1. 情報を記憶し、演算処理装置からの要求に応じて情報を提供する情報提供装置と、
   前記情報提供装置から提供された提供情報に基づいて所定の演算処理プログラムにより演算処理を行う演算処理装置と、
   を少なくとも含む情報提供システムであって、
   前記情報提供装置が、前記演算処理装置の演算処理プログラムを検証するための検証用データを含む付加情報を生成し、前記提供情報に、前記演算処理装置から要求された要求データに加え、前記付加情報を付加し、
   前記演算処理装置が、前記演算処理プログラムに前記検証用データを用いた検証用演算を実行させた場合に、前記検証用演算を検証するプログラム検証部を備え、前記プログラム検証部により前記演算処理プログラムが適正なプログラムとして認証された場合に限り、前記演算処理プログラムに前記要求データが提供され、
   前記演算処理装置では、提供された前記要求データを用いて前記演算処理プログラムによる演算処理が行われることを特徴とする情報提供システム。
2. 前記付加情報にはさらに前記演算処理装置から要求された要求データを使用するための情報使用条件が含まれていることを特徴とする請求項１に記載の情報提供システム。
3. 前記付加情報にはさらに前記検証用演算に用いられる検証用演算結果データが含まれていることを特徴とする請求項１又は２に記載の情報提供システム。
4. 前記提供情報の中、少なくとも前記要求データ、前記検証用データ及び前記検証用演算結果データは前記情報提供装置において暗号化されて前記演算処理装置に送信され、
   前記演算処理装置において前記プログラム検証部は暗号化された前記提供情報を復号することを特徴とする請求項３に記載の情報提供システム。
5. 前記プログラム検証部は、前記検証用データを用いた前記演算処理プログラムによる演算処理の結果が、前記検証用演算結果データと一致した否かにより、前記演算処理プログラムを検証することを特徴とする請求項３又は４に記載の情報提供システム。
6. 前記付加情報には少なくとも前記演算処理装置において前記演算処理プログラムに許容される演算処理の範囲を規定した権限情報が含まれていることを特徴とする請求項１～５のいずれか１項に記載の情報提供システム。
7. 前記プログラム検証部は、前記演算処理装置において前記演算処理プログラムが前記検証用データを用いた前記検証用演算を実行した場合に、当該検証用演算が前記権限情報に規定された演算処理の範囲内であるか否かにより、前記演算処理プログラムが検証されることを特徴とする請求項６に記載の情報提供システム。
8. 前記演算処理装置では、前記付加情報によって規定された前記情報使用条件の範囲内で、前記演算処理プログラムによる演算処理が行われることを特徴とする請求項２に記載の情報提供システム。
9. 情報提供装置に対する要求に応じて提供された提供情報に基づいて演算処理装置において所定の演算処理プログラムにより演算処理を行う情報提供方法であって、
   前記情報提供装置に対して前記提供情報を要求する要求ステップと、
   前記情報提供装置が、前記演算処理装置の演算処理プログラムを検証するための検証用データを含む付加情報を生成し、前記提供情報に、前記演算処理装置から要求された要求データに加え、前記付加情報を付加する付加情報ステップと、
   前記演算処理装置が、前記演算処理プログラムに前記検証用データを用いた検証用演算を実行させることにより、前記演算処理プログラムを検証するプログラム検証ステップと、
   前記プログラム検証ステップにより前記演算処理プログラムが適正なプログラムとして認証された場合に限り、前記演算処理プログラムに前記要求データが提供される提供ステップと、
   提供された前記要求データを用いて前記演算処理プログラムにより演算処理を行うステップと、
   を含むことを特徴とする情報提供方法。
10. 請求項９に記載の情報提供方法の各ステップをコンピュータ装置により実行することを特徴とする情報提供プログラム。