JP7622870B2 - 判定システム、判定方法及びプログラム - Google Patents

Description

本開示は、検査の妥当性を検証する技術に関する。

近年のサイバー犯罪の増加に伴って、ソフトウェアのセキュリティを確保することの重要性が高まっている。

特許文献１には、ソフトウェアが安全であるか否かを検査するソフトウェア検査方法の例が開示されている。特許文献１のソフトウェア検査方法は、第１のドメインが実行する複数のソフトウェアを、ソフトウェアが安全か否かを検査する第２のドメインによって検査する。

国際公開第２００８／０９６８９１号

ソフトウェアの脆弱性の検査が行われても、その検査が妥当な検査でなければ、ソフトウェアの安全性を確保することはできない。特許文献１の技術では、行われた検査が妥当な検査であるか確認することはできない。

本開示の目的の１つは、ソフトウェアの検査の妥当性の判定できる判定装置などを提供することである。

本開示の一態様に係る判定システムは、対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取手段と、前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取手段と、前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定手段と、前記妥当性の判定の結果を出力する出力手段と、を備える。

本開示の一態様に係る判定方法は、対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取り、前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取り、前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定し前記妥当性の判定の結果を出力する。

本開示の一態様に係る記憶媒体は、対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取処理と、前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取処理と、前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定処理と、前記妥当性の判定の結果を出力する出力処理と、をコンピュータに実行させるプログラムを記憶する。本開示の一態様は、上述のプログラムによっても実現される。

本開示には、ソフトウェアの検査の妥当性の判定できるという効果がある。

図１は、本開示の第１の実施形態に係る判定システムの構成の例を表すブロック図である。 図２は、本開示の第１の実施形態に係る判定システムの動作の例を表すフローチャートである。 図３は、本開示の第２の実施形態に係る判定システムの構成の例を表すブロック図である。 図４は、本開示の第２の実施形態に係る判定システムの動作の例を表すブロック図である。 図５は、本開示の実施形態に係る判定システムを実現することができる、コンピュータのハードウェア構成の一例を表す図である。

以下では、本開示の実施形態について、図面を使用しながら詳細に説明する。

＜第１の実施形態＞
まず、本開示の第１の実施形態について、図面を使用しながら詳細に説明する。

＜構成＞
図１は、本開示の第１の実施形態に係る判定システムの構成の例を表すブロック図である。図１に示す例では、本実施形態の判定システム１０は、第１結果受取部１２０と、第２結果受取部１４０と、判定部１５０と、出力部１６０と、を備える。第１結果受取部１２０は、対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る。第２結果受取部１４０は、前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る。判定部１５０は、前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する。出力部１６０は、前記妥当性の判定の結果を出力する。

対象ソフトウェアは、脆弱性の検査の対象であるソフトウェアである。第１検査は、検査機関によって行われる脆弱性の検査である。第１検査を行う検査機関を、第１検査機関と表記する。第２検査は、第１検査機関とは異なる検査機関によっておこなわれる脆弱性の検査である。第２検査を行う検査機関を、第２検査機関と表記する。第１検査の方法と、第２検査の方法は、同一の方法でなくてよい。脆弱性の深刻さの度合い（以下、深刻度と表記）を判定する基準は、第１検査と第２検査で同じである。脆弱性の件数を判定する基準も、第１検査と第２検査で同じである。脆弱性の種類を判定する基準も、第１検査と第２検査で同じである。

上述の検査の結果は、具体的には、検査の結果の情報を示す。検査の結果の情報は、例えば、検査の日時、検査によって検出された脆弱性の情報のリスト（脆弱性情報リストとも表記）、侵入検査の手順などを含む。

＜第１結果受取部１２０＞
第１結果受取部１２０は、第１検査を行う第１検査機関（具体的には、第１検査機関が管理する情報処理装置（以下では、第１装置とも表記））から、対象ソフトウェアの第１検査の結果を受け取る。第１検査の結果は、第１検査機関によって行われた、対象ソフトウェアの脆弱性の検査（すなわち、第１検査）の結果である。第１結果受取部１２０は、第１検査の結果に加えて、第１検査の結果の電子署名を受け取ってもよい。第１検査の結果の電子署名は、既存の様々な方法の１つによって生成された、第１検査の結果が第１検査機関によって生成され改ざんされていないことを証明する電子データである。具体的には、第１検査の結果の電子署名は、第１検査の結果の電子データのハッシュ値を第１検査機関の秘密鍵を用いて暗号化することによって生成されたデータである。

＜第２結果受取部１４０＞
第２結果受取部１４０は、第２検査を行う第２検査機関（具体的には、第２検査機関が管理する情報処理装置（以下では、第２装置とも表記））から、対象ソフトウェアの第２検査の結果を受け取る。第２検査の結果は、第２検査機関によって行われた、対象ソフトウェアの脆弱性の検査（すなわち、第２検査）の結果である。第２結果受取部１４０は、第２検査の結果に加えて、第２検査の結果の電子署名を受け取ってもよい。第２検査の結果の電子署名は、既存の様々な方法の１つによって生成された、第２検査の結果が第２検査機関によって生成され改ざんされていないことを証明する電子データである。具体的には、第２検査の結果の電子署名は、第２検査の結果の電子データのハッシュ値を第２検査機関の秘密鍵を用いて暗号化することによって生成されたデータである。

＜判定部１５０＞
判定部１５０は、第１検査の結果と第２検査の結果とを比較し、第２検査の結果において検出され第１検査の結果において検出されなかった脆弱性（以下、未検出脆弱性と表記）を抽出する。判定部１５０は、抽出された未検出脆弱性から、第１検査の妥当性を判定する。第１検査の判定方法の具体例については、後で詳細に説明する。

＜出力部１６０＞
出力部１６０は、妥当性の判定の結果を、例えば、表示装置又は他の情報処理装置等に出力する。出力部１６０は、未検出脆弱性の情報（例えば、未検出脆弱性の深刻さの程度を表す深刻度と、未検出脆弱性の種類と、未検出脆弱性の説明と）を出力してもよい。

＜動作＞
次に、本開示の第１の実施形態に係る判定システムの動作について、図面を使用しながら詳細に説明する。

図２は、本開示の第１の実施形態に係る判定システムの動作の例を表すフローチャートである。図２に示す例では、第１結果受取部１２０が、対象ソフトウェアの脆弱性の第１検査の結果を受け取る（ステップＳ１１）。第２結果受取部１４０が、対象ソフトウェアの脆弱性の第２検査の結果を受け取る（ステップＳ１２）。そして、判定部１５０が、記第２検査の結果において検出され、第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、第１検査の妥当性を判定する（ステップＳ１３）。出力部１６０は、妥当性の判定の結果、すなわち、判定された妥当性を出力する（ステップＳ１４）。

＜効果＞
本開示には、ソフトウェアの検査の妥当性の判定できるという効果がある。その理由は、判定部１５０が、記第２検査の結果において検出され、第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、第１検査の妥当性を判定するからである。そして、出力部１６０が、妥当性の判定の結果を出力するからである。それにより、第２検査が妥当であれば、第１検査が妥当であるか否かを知ることができる。

＜具体的な判定の方法＞
判定部１５０は、未検出脆弱性の数から、第１検査の妥当性を判定してもよい。

具体的には、判定部１５０は、未検出脆弱性の総数が所定数以上である場合、第１検査が妥当ではないと判定し、未検出脆弱性の総数が所定数を超えない場合、第１検査は妥当であると判定してよい。この場合、判定部１５０は、第２検査によって検出された脆弱性の数から第１検査によって検出された脆弱性の数を引いた数を、未検出脆弱性の数としてもよい。判定部１５０は、第２検査によって検出された脆弱性において、第１検査によっても検出された脆弱性を特定してもよい。そして、判定部１５０は、第２検査によって検出され、第１検査によって検出されなかった脆弱性を特定してもよい。判定部１５０は、特定された、第２検査によって検出され、第１検査によって検出されなかった脆弱性の数を、未検出脆弱性の数としてもよい。

判定部１５０は、深刻度が所定深刻度よりも高い未検出脆弱性（すなわち、所定深刻度が示す深刻度よりも深刻な未検出脆弱性）の数から、第１検査の妥当性を判定してもよい。具体的には、判定部１５０は、例えば、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の件数が、第１検査において検出された、同じ深刻度の脆弱性の数よりも少ない場合、第１検査が妥当ではないと判定してよい。そして、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の件数が、第１検査において検出された、同じ深刻度の脆弱性の数よりも少なくない場合、判定部１５０は、第１検査は妥当であると判定してよい。判定部１５０は、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の全てが、第１検査においても検出されていたかを判定してもよい。判定部１５０は、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の全てが、第１検査においても検出されていた場合、第１検査は妥当であると判定してよい。判定部１５０は、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の少なくとも１つ以上が、第１検査において検出されていなかった場合、第１検査が妥当ではないと判定してよい。

判定部１５０は、深刻度ごとの未検出脆弱性の数から、第１検査の妥当性を判定してもよい。この場合、判定部１５０は、深刻度ごとに、深刻度に応じた係数と、第２検査によって検出され第１検査によって検出されなかった脆弱性の数と、の積を算出し、算出した積の和を、スコアとしてよい。そして、判定部１５０は、スコアが所定スコアよりも小さい場合、第１検査は妥当であると判定してよい。判定部１５０は、スコアが所定スコア以上である場合、第１検査が妥当ではないと判定してよい。この場合、深刻度に応じた係数、及び、上述の所定スコアは、第２検査において検出された、深刻度が所定深刻度よりも高い脆弱性の少なくとも１つ以上が、第１検査において検出されていなかった場合、スコアが所定スコア以上になるよう設定されていてよい。

判定の方法は、以上で説明した例に限られない。

＜第２の実施形態＞
次に、本開示の第２の実施形態について、図面を使用しながら詳細に説明する。

＜構成＞
図３は、本開示の第２の実施形態に係る判定システムの構成の例を表すブロック図である。図３に示す例では、判定システム１００は、ソフトウェア受付部１１０と、第１結果受取部１２０と、ソフトウェア提供部１３０と、第２結果受取部１４０と、判定部１５０と、出力部１６０とを含む。判定システム１００は、ソフトウェア提供装置２００、第１検査装置３００、第２検査装置４００、及び、出力先装置５００の各々と、通信可能に接続されている。

＜ソフトウェア提供装置２００＞
ソフトウェア提供装置２００は、対象ソフトウェアと、対象ソフトウェアの真正性情報とを、判定システム１００のソフトウェア受付部１１０に提供する。ソフトウェア提供装置２００は、対象ソフトウェアの提供元によって管理される情報処理装置である。提供される対象ソフトウェアは、対象ソフトウェアをインストールするために必要なデータである。対象ソフトウェアは、例えば、１つのファイルの形式で提供されてよい。対象ソフトウェアの真正性情報は、対象ソフトウェアが、対象ソフトウェアの提供元によって提供され、改ざんされていないことを証明するデータである。対象ソフトウェアの真正性情報は、例えば、対象ソフトウェアのファイルのハッシュ値を、対象ソフトウェアの提供元の秘密鍵を用いて暗号化することによって生成されたデータであってよい。

＜第１検査装置３００＞
第１検査装置３００は、判定システム１００のソフトウェア提供部１３０から、対象ソフトウェアと対象ソフトウェアの真正性情報とを受け取る。第１検査装置３００は、例えば、上述の第１検査を行う装置である。第１検査装置３００は、例えば、第１検査を行う検査機関（以下の説明では、第１検査機関）によって管理されている情報処理装置である。第１検査装置３００は、受け取った真正性情報を用いて、対象ソフトウェアの真正性を確認する。言い換えると、第１検査装置３００は、受け取った真正性情報を用いて、ソフトウェア提供部１３０から受け取った対象ソフトウェアが対象ソフトウェアの提供元から提供され、改ざんされていないことを確認する。第１検査装置３００は、真正性情報が、対象ソフトウェアのファイルのハッシュ値を、対象ソフトウェアの提供元の秘密鍵を用いて暗号化することによって生成されたデータである場合、対象ソフトウェアの提供元の公開鍵を取得する。そして、第１検査装置３００は、受け取った真正性情報と取得した対象ソフトウェアの提供元の公開鍵を用いて、対象ソフトウェアの真正性を確認する。対象ソフトウェアの提供元の公開鍵を取得する方法、及び、受け取った真正性情報と取得した対象ソフトウェアの提供元の公開鍵を用いて対象ソフトウェアの真正性を確認する方法は、既存の方法であってよい。第１検査装置３００は、対象ソフトウェアの真正性が確認されなかった場合、対象ソフトウェアの第１検査を行わなくてよい。

第１検査装置３００は、真正性が確認された対象ソフトウェアの脆弱性の検査である第１検査を行う。第１検査装置３００は、第１検査の結果を表すデータ（本開示の説明では、単に、第１検査の結果とも表記）と、第１検査の結果を表すデータの電子署名とを生成する。第１検査装置３００は、第１検査の結果と、第１検査の結果の電子署名とを、判定システム１００の第１結果受取部１２０に送信する。

＜第２検査装置４００＞
第２検査装置４００は、判定システム１００のソフトウェア提供部１３０から、対象ソフトウェアと対象ソフトウェアの真正性情報とを受け取る。第２検査装置４００は、例えば、上述の第１検査を行う装置である。第２検査装置４００は、例えば、第２検査を行う検査機関（以下の説明では、第１検査機関）によって管理されている情報処理装置である。第２検査装置４００は、受け取った真正性情報を用いて、対象ソフトウェアの真正性を確認する。言い換えると、第２検査装置４００は、受け取った真正性情報を用いて、ソフトウェア提供部１３０から受け取った対象ソフトウェアが対象ソフトウェアの提供元から提供され、改ざんされていないことを確認する。第２検査装置４００は、真正性情報が、対象ソフトウェアのファイルのハッシュ値を、対象ソフトウェアの提供元の秘密鍵を用いて暗号化することによって生成されたデータである場合、対象ソフトウェアの提供元の公開鍵を取得する。そして、第２検査装置４００は、受け取った真正性情報と取得した対象ソフトウェアの提供元の公開鍵を用いて、対象ソフトウェアの真正性を確認する。対象ソフトウェアの提供元の公開鍵を取得する方法、及び、受け取った真正性情報と取得した対象ソフトウェアの提供元の公開鍵を用いて対象ソフトウェアの真正性を確認する方法は、既存の方法であってよい。第２検査装置４００は、対象ソフトウェアの真正性が確認されなかった場合、対象ソフトウェアの第２検査を行わなくてよい。

第２検査装置４００は、真正性が確認された対象ソフトウェアの脆弱性の検査である第２検査を行う。第２検査装置４００は、第２検査の結果を表すデータ（本開示の説明では、単に、第２検査の結果とも表記）と、第２検査の結果を表すデータの電子署名とを生成する。第２検査装置４００は、第２検査の結果と、第２検査の結果の電子署名とを、判定システム１００の第２結果受取部１４０に送信する。

＜出力先装置５００＞
出力先装置５００は、判定システム１００の出力部１６０から、第１検査の妥当性の判定の結果を受け取る。出力先装置５００は、判定システム１００の出力部１６０から、さらに、第１検査によって検出されず第２検査によって検出された脆弱性である、未検出脆弱性の情報を受け取ってもよい。出力先装置５００は、判定システム１００の出力部１６０から、第１検査によって検出された脆弱性の情報と、第２検査によって検出された脆弱性の情報とを受け取ってもよい。

出力先装置５００は、例えば、ディスプレイ、又は、ディスプレイを備えた情報処理装置などである。出力先装置５００は、受け取った情報を表示してよい。出力先装置５００は、受け取った情報を記憶してもよい。

＜ソフトウェア受付部１１０＞
ソフトウェア受付部１１０は、ソフトウェア提供装置２００から、対象ソフトウェアと対象ソフトウェアの真正性情報とを受け付ける。ソフトウェア受付部１１０は、ソフトウェア提供装置２００から、対象ソフトウェアと対象ソフトウェアの真正性情報とを、情報記憶部１７０に格納する。

＜ソフトウェア提供部１３０＞
ソフトウェア提供部１３０は、情報記憶部１７０に格納されている対象ソフトウェアと対象ソフトウェアの真正性情報とを、第１検査装置３００に提供する（言い換えると、送信する）。ソフトウェア提供部１３０は、情報記憶部１７０に格納されている対象ソフトウェアと対象ソフトウェアの真正性情報とを、さらに、第２検査装置４００に提供する（言い換えると、送信する）。

＜第１結果受取部１２０＞
第１結果受取部１２０は、第１検査装置３００から、第１検査の結果と、第１検査の結果の電子署名とを受け取る。第１結果受取部１２０は、第１検査装置３００から受け取った、第１検査の結果と、第１検査の結果の電子署名とを、情報記憶部１７０に格納する。

＜情報記憶部１７０＞
情報記憶部１７０は、ソフトウェア受付部１１０によって格納された、対象ソフトウェアと対象ソフトウェアの真正性情報とを記憶する。情報記憶部１７０は、対象ソフトウェアと対象ソフトウェアの真正性情報とを、一旦格納された対象ソフトウェア及び対象ソフトウェアの真正性情報を変更できないように記憶していてよい。具体的には、例えば、情報記憶部１７０は、格納されている対象ソフトウェア及び対象ソフトウェアの真正性情報への書き換えの要求、削除の要求、及び、上書きの要求を拒否してよい。情報記憶部１７０は、対象ソフトウェア及びその真正性情報が繰り返し格納された場合、すでに記憶している対象ソフトウェア及びその真正性情報を保持したまま、新たに格納された対象ソフトウェア及びその真正性情報を別に記憶してよい。

情報記憶部１７０は、さらに、第１結果受取部１２０によって格納された、第１検査の結果と、第１検査の結果の電子署名とを記憶する。情報記憶部１７０は、第１検査の結果と、第１検査の結果の電子署名とを、一旦格納された第１検査の結果と、第１検査の結果の電子署名とを変更できないように記憶していてよい。具体的には、例えば、情報記憶部１７０は、格納されている第１検査の結果及び第１検査の結果の電子署名への書き換えの要求、削除の要求、及び、上書きの要求を拒否してよい。情報記憶部１７０は、第１検査の結果と第１検査の結果の電子署名とが繰り返し格納された場合、既に記憶している第１検査の結果と、第１検査の結果の電子署名とを保持したまま、新たに格納された第１検査の結果と、第１検査の結果の電子署名とを別に記憶してよい。

情報記憶部１７０は、さらに、第２結果受取部１４０によって格納された、第２検査の結果と、第２検査の結果の電子署名とを記憶してもよい。情報記憶部１７０は、第２検査の結果と、第２検査の結果の電子署名とを、一旦格納された第２検査の結果と、第２検査の結果の電子署名とを変更できないように記憶していてよい。具体的には、例えば、情報記憶部１７０は、格納されている第２検査の結果及び第２検査の結果の電子署名への書き換えの要求、削除の要求、及び、上書きの要求を拒否してよい。情報記憶部１７０は、第２検査の結果と第２検査の結果の電子署名とが繰り返し格納された場合、既に記憶している第２検査の結果と、第２検査の結果の電子署名とを保持したまま、新たに格納された第２検査の結果と、第２検査の結果の電子署名とを別に記憶してよい。

判定システム１００は、情報記憶部１７０への追記は可能であるが、情報記憶部１７０に格納された情報の書き換え及び削除などをできないように制御されている。具体的には、例えば、ソフトウェア受付部１１０は、情報記憶部１７０に格納した、対象ソフトウェアおよび対象ソフトウェアの真正性情報の変更、上書き及び削除をしないように構成されていてよい。第１結果受取部１２０が、情報記憶部１７０に格納した第１検査の結果の変更、上書き及び削除をしないように構成されていてよい。第２結果受取部１４０が、情報記憶部１７０に格納した第２検査の結果の変更、上書き及び削除をしないように構成されていてよい。情報記憶部１７０が、情報記憶部１７０に既に格納されている情報を書き換える命令、情報記憶部１７０に既に格納されている情報を上書きする命令、及び、情報記憶部１７０に既に格納されている情報を削除する命令などを受け付けないように構成されていてもよい。

＜第２結果受取部１４０＞
第２結果受取部１４０は、第２検査装置４００から、第２検査の結果と、第２検査の結果の電子署名とを受け取る。第２結果受取部１４０は、第２検査装置４００から受け取った、第２検査の結果と、第２検査の結果の電子署名とを、判定部１５０に送出する。図４に示す例では、第２結果受取部１４０と情報記憶部１７０とをつなぐ線は簡単のため省略されているが、第２結果受取部１４０は、第２検査装置４００から受け取った、第２検査の結果と、第２検査の結果の電子署名とを、情報記憶部１７０に格納してもよい。

＜判定部１５０＞
判定部１５０は、情報記憶部１７０から、第１検査の結果と第１検査の結果の電子署名とを読み出す。判定部１５０は、読み出した第１検査の結果の電子署名を使用して、第１検査の結果が第１検査機関によって生成され改ざんされていないことを確認する。第１検査の結果の電子署名が第１検査の結果のハッシュ値を第１検査機関の秘密鍵によって暗号化することによって生成されたデータである場合、判定部１５０は、第１検査機関の公開鍵を取得する。そして、判定部１５０は、読み出した第１検査の結果の電子署名と取得した第１検査機関の公開鍵とを使用した既存の方法によって、第１検査の結果が第１検査機関によって生成され改ざんされていないことを確認する。

判定部１５０は、第２結果受取部１４０から、第２検査の結果と第２検査の結果の電子署名とを受け取る。第２検査の結果と第２検査の結果の電子署名とが情報記憶部１７０に格納されている場合、判定部１５０は、情報記憶部１７０から、第２検査の結果と第２検査の結果の電子署名とを読み出してもよい。判定部１５０は、読み出した第２検査の結果の電子署名を使用して、第２検査の結果が第２検査機関によって生成され改ざんされていないことを確認する。第２検査の結果の電子署名が第２検査の結果のハッシュ値を第２検査機関の秘密鍵によって暗号化することによって生成されたデータである場合、判定部１５０は、第２検査機関の公開鍵を取得する。そして、判定部１５０は、読み出した第２検査の結果の電子署名と取得した第２検査機関の公開鍵とを使用した既存の方法によって、第２検査の結果が第２検査機関によって生成され改ざんされていないことを確認する。

第１検査の結果が第１検査機関によって生成され改ざんされていないこと、及び、第２検査の結果が第２検査機関によって生成され改ざんされていないことが確認された場合、判定部１５０は、第２検査の結果において検出され第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、第１検査の妥当性を判定する。本実施形態の第１検査の妥当性を判定する方法は、第１の実施形態の第１検査の妥当性を判定する方法と同じであってよい。

判定部１５０は、第１検査の妥当性の判定の結果を出力部１６０に送出する。

判定部１５０は、第１検査の妥当性を判定する過程において、第１検査によって検出された脆弱性の情報と、第２検査によって検出された脆弱性の情報とを特定する。判定部１５０は、第１検査によって検出された脆弱性の情報と、第２検査によって検出された脆弱性の情報とを、出力部１６０に送出してよい。

判定部１５０は、第１検査の妥当性を判定する過程において、第１検査によって検出されず第２検査によって検出された脆弱性である、未検出脆弱性を特定する。判定部１５０は、未検出脆弱性の情報を、出力部１６０に送出してよい。

＜出力部１６０＞
出力部１６０は、判定部１５０から、第１検査の妥当性の判定の結果を受け取る。この場合、出力部１６０は、判定部１５０から受け取った、第１検査の妥当性の判定の結果を、出力先装置５００に出力する。

出力部１６０は、判定部１５０から、第１検査によって検出されず第２検査によって検出された脆弱性である、未検出脆弱性の情報を受け取ってもよい。この場合、出力部１６０は、判定部１５０から受け取った、未検出脆弱性の情報を、出力先装置５００に出力する。

出力部１６０は、判定部１５０から、第１検査によって検出された脆弱性の情報と、第２検査によって検出された脆弱性の情報とを受け取ってもよい。この場合、出力部１６０は、判定部１５０から受け取った、第１検査によって検出された脆弱性の情報と、第２検査によって検出された脆弱性の情報とを、例えば双方の情報を対照可能な形式で、出力先装置５００に出力する。

＜動作＞
図４は、本開示の第２の実施形態に係る判定システムの動作の例を表すブロック図である。

図４に示す例では、まず、ソフトウェア受付部１１０が、ソフトウェア提供装置２００から、対象ソフトウェアを受け付ける（ステップＳ１０１）。ステップＳ１０１において、ソフトウェア受付部１１０は、対象ソフトウェアと対象ソフトウェアの真正性情報とを受け付けてよい。ソフトウェア受付部１１０は、受け付けた対象ソフトウェアと対象ソフトウェアの真正性情報とを、情報記憶部１７０に格納する。情報記憶部１７０は、対象ソフトウェアを記憶する（ステップＳ１０２）。具体的には、情報記憶部１７０は、ソフトウェア受付部１１０によって格納された、対象ソフトウェアと対象ソフトウェアの真正性情報とを記憶する。

次に、ソフトウェア提供部１３０が、対象ソフトウェアを第１検査装置３００に提供する（ステップＳ１０３）。具体的には、ソフトウェア提供部１３０が、対象ソフトウェアと対象ソフトウェアの真正性情報とを情報記憶部１７０から読み出し、読み出した対象ソフトウェアと対象ソフトウェアの真正性情報とを第１検査装置３００に提供する。

第１結果受取部１２０は、第１検査装置３００から、対象ソフトウェアの第１検査の結果を受け取る（ステップＳ１０４）。ステップＳ１０４において、第１結果受取部１２０は、第１検査装置３００から、対象ソフトウェアの第１検査の結果と、対象ソフトウェアの第１検査の結果の電子署名とを受け取る。そして、第１結果受取部１２０は、受け取った、対象ソフトウェアの第１検査の結果と、対象ソフトウェアの第１検査の結果の電子署名とを、情報記憶部１７０に格納する。情報記憶部１７０は、第１結果受取部１２０によって格納された、対象ソフトウェアの第１検査の結果（具体的には、対象ソフトウェアの第１検査の結果と、対象ソフトウェアの第１検査の結果の電子署名と）を記憶する（ステップＳ１０５）。

次に、ソフトウェア提供部１３０が、対象ソフトウェアを第２検査装置４００に提供する（ステップＳ１０６）。ステップＳ１０６において、ソフトウェア提供部１３０は、対象ソフトウェアと対象ソフトウェアの真正性情報とを情報記憶部１７０から読み出し、読み出した対象ソフトウェアと対象ソフトウェアの真正性情報とを、第２検査装置４００に提供する。

第２結果受取部１４０は、第２検査装置４００から、対象ソフトウェアの第２検査の結果を受け取る（ステップＳ１０７）。ステップＳ１０７において、第２結果受取部１４０は、第２検査装置４００から、対象ソフトウェアの第２検査の結果と、対象ソフトウェアの第２検査の結果の電子署名とを受け取ってよい。第２結果受取部１４０は、受け取った対象ソフトウェアの第２検査の結果と、対象ソフトウェアの第２検査の結果の電子署名とを、判定部１５０に送出する。第２結果受取部１４０は、さらに、受け取った対象ソフトウェアの第２検査の結果と、対象ソフトウェアの第２検査の結果の電子署名とを、情報記憶部１７０に格納してもよい。

判定部１５０は、対象ソフトウェアの第１検査の結果と、対象ソフトウェアの第１検査の結果の電子署名とを、情報記憶部１７０から読み出す。判定部１５０は、さらに、対象ソフトウェアの第２検査の結果と、対象ソフトウェアの第２検査の結果の電子署名とを、第２結果受取部１４０から受け取る。判定部１５０は、対象ソフトウェアの第２検査の結果と、対象ソフトウェアの第２検査の結果の電子署名とを、情報記憶部１７０から読み出してもよい。

判定部１５０は、第１検査の結果と第２検査の結果とを比較する（ステップＳ１０８）。そして、判定部１５０は、第１検査の妥当性を判定する（ステップＳ１０９）。判定部１５０は、第１検査の妥当性の判定の結果を、出力部１６０に送出する。

そして、出力部１６０が、第１検査の妥当性の判定の結果を出力する（ステップＳ１１０）。

＜効果＞
本実施形態には、第１の実施形態の効果と同じ効果がある。その理由は、第１の実施形態の効果が生じる理由と同じである。

＜他の実施形態＞
第１の実施形態の判定システム１０及び第２の実施形態の判定システム１００は、メモリにロードされたプログラムを実行するプロセッサを含むコンピュータによって実現することができる。判定システム１０及び判定システム１００は、専用のハードウェアによって実現することもできる。判定システム１０及び判定システム１００は、前述のコンピュータと専用のハードウェアとの組み合わせによって実現することもできる。

図５は、本開示の実施形態に係る判定システムを実現することができる、コンピュータ１０００のハードウェア構成の一例を表す図である。図５に示す例では、コンピュータ１０００は、プロセッサ１００１と、メモリ１００２と、記憶装置１００３と、Ｉ／Ｏ（Ｉｎｐｕｔ／Ｏｕｔｐｕｔ）インタフェース１００４とを含む。また、コンピュータ１０００は、記憶媒体１００５にアクセスすることができる。メモリ１００２と記憶装置１００３は、例えば、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）、ハードディスクなどの記憶装置である。記憶媒体１００５は、例えば、ＲＡＭ、ハードディスクなどの記憶装置、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、可搬記憶媒体である。記憶装置１００３が記憶媒体１００５であってもよい。プロセッサ１００１は、メモリ１００２と、記憶装置１００３に対して、データやプログラムの読み出しと書き込みを行うことができる。プロセッサ１００１は、Ｉ／Ｏインタフェース１００４を介して、例えば、ソフトウェア提供装置２００、第１検査装置３００、第２検査装置４００、出力先装置５００にアクセスすることができる。プロセッサ１００１は、記憶媒体１００５にアクセスすることができる。記憶媒体１００５には、コンピュータ１０００を、本開示の実施形態に係る判定システムとして動作させるプログラムが格納されている。

プロセッサ１００１は、記憶媒体１００５に格納されている、コンピュータ１０００を、本開示の実施形態に係る判定システムとして動作させるプログラムを、メモリ１００２にロードする。そして、プロセッサ１００１が、メモリ１００２にロードされたプログラムを実行することにより、コンピュータ１０００は、本開示の実施形態に係る判定システムとして動作する。

ソフトウェア受付部１１０、第１結果受取部１２０、ソフトウェア提供部１３０、第２結果受取部１４０、判定部１５０、出力部１６０は、例えば、メモリ１００２にロードされたプログラムを実行するプロセッサ１００１により実現できる。情報記憶部１７０は、コンピュータ１０００が含むメモリ１００２やハードディスク装置等の記憶装置１００３により実現できる。ソフトウェア受付部１１０、第１結果受取部１２０、ソフトウェア提供部１３０、第２結果受取部１４０、判定部１５０、出力部１６０、情報記憶部１７０の一部又は全部を、各部の機能を実現する専用の回路によって実現できる。

また、上記の実施形態の一部又は全部は、以下の付記のようにも記載されうるが、以下には限られない。

（付記１）
対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取部と、
前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取部と、
前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定部と、
前記妥当性の判定の結果を出力する出力部と、
を備える判定システム。

（付記２）
前記判定部は、前記未検出脆弱性の数から、前記妥当性を判定する
付記１に記載の判定システム。

（付記３）
前記判定部は、深刻さを表す深刻度が所定深刻度よりも高い前記未検出脆弱性の数から、前記妥当性を判定する
付記２に記載の判定システム。

（付記４）
前記判定部は、前記未検出脆弱性の前記深刻度ごとの数から、前記妥当性を判定する
付記３に記載の判定システム。

（付記５）
前記判定部は、前記未検出脆弱性の種類ごとの数から、前記妥当性を判定する
付記１乃至４のいずれか１項に記載の判定システム。

（付記６）
前記対象ソフトウェアと当該対象ソフトウェアの真正性情報とを記憶する情報記憶部と、
前記対象ソフトウェアと前記真正性情報とを、前記第１検査を行う第１検査装置と、前記第２検査を行う第２検査装置とに提供するソフトウェア提供部と、
前記第１検査装置から、前記第１検査の結果と当該第１検査の結果の電子署名とを受け取り、受け取った前記第１検査の結果と当該第１検査の結果の電子署名とを前記情報記憶部に格納する第１結果受取部と、
前記第２検査装置から、前記第２検査の結果と当該第２検査の結果の電子署名とを受け取る第２結果受取部と、
前記妥当性の判定の結果を出力する出力部と、
を備え、
前記情報記憶部は、記憶している前記第１検査結果を変更できないように、当該第１検査結果を記憶し、
前記出力部は、前記未検出脆弱性の情報をさらに出力する
付記１乃至５のいずれか１項に記載の判定システム。

（付記７）
対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取り、
前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取り、
前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定し、
前記妥当性の判定の結果を出力する、
判定方法。

（付記８）
前記未検出脆弱性の数から、前記妥当性を判定する
付記７に記載の判定方法。

（付記９）
深刻さを表す深刻度が所定深刻度よりも高い前記未検出脆弱性の数から、前記妥当性を判定する
付記８に記載の判定方法。

（付記１０）
前記未検出脆弱性の前記深刻度ごとの数から、前記妥当性を判定する
付記９に記載の判定方法。

（付記１１）
前記未検出脆弱性の種類ごとの数から、前記妥当性を判定する
付記７乃至１０のいずれか１項に記載の判定方法。

（付記１２）
前記対象ソフトウェアと当該対象ソフトウェアの真正性情報とを情報記憶部に記憶し、
前記対象ソフトウェアと前記真正性情報とを、前記第１検査を行う第１検査装置と、前記第２検査を行う第２検査装置とに提供し、
前記第１検査装置から、前記第１検査の結果と当該第１検査の結果の電子署名とを受け取り、受け取った前記第１検査の結果と当該第１検査の結果の電子署名とを前記情報記憶部に格納し、
前記第２検査装置から、前記第２検査の結果と当該第２検査の結果の電子署名とを受け取り、
前記妥当性の判定の結果を出力し、
記憶している前記第１検査結果を変更できないように、当該第１検査結果を記憶し、
前記未検出脆弱性の情報をさらに出力する
付記７乃至１１のいずれか１項に記載の判定方法。

（付記１３）
対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取処理と、
前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取処理と、
前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定処理と、
前記妥当性の判定の結果を出力する出力処理と、
をコンピュータに実行させるプログラムを記憶する記憶媒体。

（付記１４）
前記判定処理、前記未検出脆弱性の数から、前記妥当性を判定する
付記１３に記載の記憶媒体。

（付記１５）
前記判定処理は、深刻さを表す深刻度が所定深刻度よりも高い前記未検出脆弱性の数から、前記妥当性を判定する
付記１４に記載の記憶媒体。

（付記１６）
前記判定処理は、前記未検出脆弱性の前記深刻度ごとの数から、前記妥当性を判定する
付記１５に記載の記憶媒体。

（付記１７）
前記判定処理は、前記未検出脆弱性の種類ごとの数から、前記妥当性を判定する
付記１３乃至１６のいずれか１項に記載の記憶媒体。

（付記１８）
前記対象ソフトウェアと当該対象ソフトウェアの真正性情報とを情報記憶部に記憶する情報記憶処理と、
前記対象ソフトウェアと前記真正性情報とを、前記第１検査を行う第１検査装置と、前記第２検査を行う第２検査装置とに提供するソフトウェア提供処理と、
前記第１検査装置から、前記第１検査の結果と当該第１検査の結果の電子署名とを受け取り、受け取った前記第１検査の結果と当該第１検査の結果の電子署名とを前記情報記憶部に格納する第１結果受取処理と、
前記第２検査装置から、前記第２検査の結果と当該第２検査の結果の電子署名とを受け取る第２結果受取処理と、
前記妥当性の判定の結果を出力する出力処理と、
をコンピュータに実行させ、
前記情報記憶処理は、記憶している前記第１検査結果を変更できないように、当該第１検査結果を記憶し、
前記出力処理は、前記未検出脆弱性の情報をさらに出力する
付記１３乃至１７のいずれか１項に記載の記憶媒体。

以上、実施形態を参照して本開示を説明したが、本開示は上記実施形態に限定されるものではない。本開示の構成や詳細には、本開示のスコープ内で当業者が理解し得る様々な変更をすることができる。

１０ 判定システム
１００ 判定システム
１１０ ソフトウェア受付部
１２０ 第１結果受取部
１３０ ソフトウェア提供部
１４０ 第２結果受取部
１５０ 判定部
１６０ 出力部
１７０ 情報記憶部
２００ ソフトウェア提供装置
３００ 第１検査装置
４００ 第２検査装置
５００ 出力先装置
１０００ コンピュータ
１００１ プロセッサ
１００２ メモリ
１００３ 記憶装置
１００４ Ｉ／Ｏインタフェース
１００５ 記憶媒体

Claims (10)

1. 対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取手段と、
   前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取手段と、
   前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定手段と、
   前記妥当性の判定の結果を出力する出力手段と、
   を備える判定システム。
2. 前記判定手段は、前記未検出脆弱性の数から、前記妥当性を判定する
   請求項１に記載の判定システム。
3. 前記判定手段は、深刻さを表す深刻度が所定深刻度よりも高い前記未検出脆弱性の数から、前記妥当性を判定する
   請求項２に記載の判定システム。
4. 前記判定手段は、前記未検出脆弱性の前記深刻度ごとの数から、前記妥当性を判定する
   請求項３に記載の判定システム。
5. 前記判定手段は、前記未検出脆弱性の種類ごとの数から、前記妥当性を判定する
   請求項１乃至４のいずれか１項に記載の判定システム。
6. 前記対象ソフトウェアと当該対象ソフトウェアの真正性情報とを記憶する情報記憶手段と、
   前記対象ソフトウェアと前記真正性情報とを、前記第１検査を行う第１検査装置と、前記第２検査を行う第２検査装置とに提供するソフトウェア提供手段と、
   前記第１検査装置から、前記第１検査の結果と当該第１検査の結果の電子署名とを受け取り、受け取った前記第１検査の結果と当該第１検査の結果の電子署名とを前記情報記憶手段に格納する第１結果受取手段と、
   前記第２検査装置から、前記第２検査の結果と当該第２検査の結果の電子署名とを受け取る第２結果受取手段と、
   前記妥当性の判定の結果を出力する出力手段と、
   を備え、
   前記情報記憶手段は、記憶している前記第１検査結果を変更できないように、当該第１検査結果を記憶し、
   前記出力手段は、前記未検出脆弱性の情報をさらに出力する
   請求項１乃至５のいずれか１項に記載の判定システム。
7. コンピュータが、
   対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取り、
   前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取り、
   前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定し、
   前記妥当性の判定の結果を出力する、
   判定方法。
8. 前記コンピュータが、
   前記未検出脆弱性の数から、前記妥当性を判定する
   請求項７に記載の判定方法。
9. 前記コンピュータが、
   深刻さを表す深刻度が所定深刻度よりも高い前記未検出脆弱性の数から、前記妥当性を判定する
   請求項８に記載の判定方法。
10. 対象ソフトウェアの脆弱性の第１検査の結果である第１検査結果を受け取る第１結果受取処理と、
    前記対象ソフトウェアの脆弱性の第２検査の結果である第２検査結果を受け取る第２結果受取処理と、
    前記第２検査の結果において検出され前記第１検査の結果において検出されなかった脆弱性である未検出脆弱性から、前記第１検査の妥当性を判定する判定処理と、
    前記妥当性の判定の結果を出力する出力処理と、
    をコンピュータに実行させるプログラム。

Images