知財求人 - 知財ポータルサイト「IP Force」
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2023106262
(43)【公開日】2023-08-01
(54)【発明の名称】ポリシー競合検出装置及びポリシー競合検出方法
(51)【国際特許分類】
G06F 8/70 20180101AFI20230725BHJP
【ＦＩ】
G06F8/70
【審査請求】未請求
【請求項の数】16
【出願形態】ＯＬ
(21)【出願番号】P 2022007502
(22)【出願日】2022-01-20
(71)【出願人】
【識別番号】000005108
【氏名又は名称】株式会社日立製作所
(74)【代理人】
【識別番号】110001689
【氏名又は名称】青稜弁理士法人
(72)【発明者】
【氏名】岡田 雅江
(72)【発明者】
【氏名】新井 悠介
(72)【発明者】
【氏名】佐藤 竜也
【テーマコード（参考）】
5B376
【Ｆターム（参考）】
5B376AA28
5B376AA33
5B376DA28
(57)【要約】
【課題】試行錯誤せずにポリシー競合を発見できる可能性を向上できるポリシー競合検出装置及びポリシー競合検出方法を提供する。
【解決手段】ポリシー競合検出装置は、ポリシーエンジンによって違反と評価されたポリシーの適用対象のリソース毎に、パラメータの許容値の範囲内で、違反と評価されたポリシーに従うように、評価対象システムのシステム情報の、違反と評価されたポリシーが制限するパラメータに対応するパラメータの値を仮設定する仮設定と、仮設定した内容でポリシーエンジンにポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行う。ポリシー競合検出装置は、自動再検証処理を行うたびに取得される再検証の評価結果に基づいて、ポリシー競合が発生しているか否かのポリシー競合判定を行う。
【選択図】図１
【解決手段】ポリシー競合検出装置は、ポリシーエンジンによって違反と評価されたポリシーの適用対象のリソース毎に、パラメータの許容値の範囲内で、違反と評価されたポリシーに従うように、評価対象システムのシステム情報の、違反と評価されたポリシーが制限するパラメータに対応するパラメータの値を仮設定する仮設定と、仮設定した内容でポリシーエンジンにポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行う。ポリシー競合検出装置は、自動再検証処理を行うたびに取得される再検証の評価結果に基づいて、ポリシー競合が発生しているか否かのポリシー競合判定を行う。
【選択図】図１
【特許請求の範囲】
【請求項1】
評価対象システムに適用されるポリシーのポリシー競合を検出するための情報処理装置を含むポリシー競合検出装置であって、
前記情報処理装置は、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
【請求項2】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、
ように構成された、ポリシー競合検出装置。
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、
ように構成された、ポリシー競合検出装置。
【請求項3】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たすパラメータ範囲内で、前記パラメータの値を仮設定する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たすパラメータ範囲内で、前記パラメータの値を仮設定する、
ように構成された、
ポリシー競合検出装置。
【請求項4】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合、前記ポリシー競合が発生していると判定する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合、前記ポリシー競合が発生していると判定する、
ように構成された、
ポリシー競合検出装置。
【請求項5】
請求項４に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反していないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反していないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定する、
ように構成された、
ポリシー競合検出装置。
【請求項6】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記自動再検証処理を複数回実行する場合、１回の前記自動再検証処理が終了するたびに、前記パラメータの許容値の範囲内で、仮設定する前記パラメータの値を所定の刻み値だけ変更し、前記自動再検証処理を実行する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記自動再検証処理を複数回実行する場合、１回の前記自動再検証処理が終了するたびに、前記パラメータの許容値の範囲内で、仮設定する前記パラメータの値を所定の刻み値だけ変更し、前記自動再検証処理を実行する、
ように構成された、
ポリシー競合検出装置。
【請求項7】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
少なくとも前記ポリシー競合判定の判定結果を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
少なくとも前記ポリシー競合判定の判定結果を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
【請求項8】
請求項６に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記ポリシー競合判定の判定結果、前記再検証が実行された前記パラメータに関する情報、前記自動再検証処理の実行回数及び前記刻み値を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記ポリシー競合判定の判定結果、前記再検証が実行された前記パラメータに関する情報、前記自動再検証処理の実行回数及び前記刻み値を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
【請求項9】
請求項７に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記通知情報を含むＧＵＩ画面を表示装置に表示する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記通知情報を含むＧＵＩ画面を表示装置に表示する、
ように構成された、
ポリシー競合検出装置。
【請求項10】
請求項１に記載のポリシー競合検出装置において、
情報入力装置を更に含み、
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合において、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
情報入力装置を更に含み、
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合において、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
【請求項11】
請求項１０に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記ユーザ再検証処理の前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合、前記ポリシー競合が発生していると判定し、
前記ユーザ再検証処理の前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記ユーザ再検証処理の前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合、前記ポリシー競合が発生していると判定し、
前記ユーザ再検証処理の前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定する、
ように構成された、
ポリシー競合検出装置。
【請求項12】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記パラメータの許容値の範囲のうちの一部のパラメータ許容値について、前記自動再検証処理を少なくとも１回行うことにより、初回の前記ポリシー競合判定を行い、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定し、
前記再検証の評価結果の全てが、前記ポリシーを違反しているとの評価結果である場合、前記パラメータの許容値の範囲から初回の前記ポリシー競合判定において仮設定されたパラメータ値を除いたパラメータ範囲内で、前記自動再検証処理を少なくとも１回行うことにより、再度、前記ポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
前記パラメータの許容値の範囲のうちの一部のパラメータ許容値について、前記自動再検証処理を少なくとも１回行うことにより、初回の前記ポリシー競合判定を行い、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定し、
前記再検証の評価結果の全てが、前記ポリシーを違反しているとの評価結果である場合、前記パラメータの許容値の範囲から初回の前記ポリシー競合判定において仮設定されたパラメータ値を除いたパラメータ範囲内で、前記自動再検証処理を少なくとも１回行うことにより、再度、前記ポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
【請求項13】
請求項１に記載のポリシー競合検出装置において、
情報入力装置を更に含み、
前記情報処理装置は、
前記パラメータの許容値の範囲のうちの一部のパラメータ許容値について、前記自動再検証処理を少なくとも１回行うことにより、初回の前記ポリシー競合判定を行い、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定し、
前記再検証の評価結果の全てが、前記ポリシーを違反しているとの評価結果である場合、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
情報入力装置を更に含み、
前記情報処理装置は、
前記パラメータの許容値の範囲のうちの一部のパラメータ許容値について、前記自動再検証処理を少なくとも１回行うことにより、初回の前記ポリシー競合判定を行い、
前記再検証の評価結果の少なくとも一つが、前記ポリシーを違反しないとの評価結果である場合、前記ポリシー競合が発生しておらず違反と評価された前記ポリシーのポリシー違反と判定し、
前記再検証の評価結果の全てが、前記ポリシーを違反しているとの評価結果である場合、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
【請求項14】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報、を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、
ように構成された、
ポリシー競合検出装置。
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報、を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、
ように構成された、
ポリシー競合検出装置。
【請求項15】
請求項１に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たす、パラメータ範囲内で、前記パラメータの値を仮設定する、
ように構成された
ポリシー競合検出装置。
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たす、パラメータ範囲内で、前記パラメータの値を仮設定する、
ように構成された
ポリシー競合検出装置。
【請求項16】
評価対象システムに適用されるポリシーのポリシー競合を検出するための情報処理装置を用いたポリシー競合検出方法であって、
前記情報処理装置によって、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ポリシー競合検出方法。
前記情報処理装置によって、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ポリシー競合検出方法。
【発明の詳細な説明】
【技術分野】
【0001】
本発明はポリシー競合検出装置及びポリシー競合検出方法に関する。詳しくは、本発明はシステム構成及びその設定の管理へのポリシー適用場面において、ポリシー競合を発見するためのポリシー競合検出装置及びポリシー競合検出方法に関する。
【背景技術】
【0002】
システムの構築や利用においては、法令や標準規格、システムを運用する各社や各案件に定義されるセキュリティ要件やその他の機能・非機能要件等により、様々なルールや方針が設定され、これらを順守するための制約としてポリシーが定義される。
【0003】
なお、システムが持つ情報の同期時の競合を発見し解消するための従来技術として、特許文献１が開示されている。特許文献１には、システムの運用中に各リソースが持つ情報が更新されたときその整合性を保つことを目的として、各リソースが中央システムに情報を送信し、中央システムは受信した情報に差異があれば競合と判断しこれを解決する技術が開示されている。
【0004】
近年、ポリシーをソースコードのように記述して定義し、ポリシーの開発や管理・運用にもソフトウェア開発の手法を取り入れる「Ｐｏｌｉｃｙ ａｓ Ｃｏｄｅ（ＰａＣ）」への注目が高まっている。ＰａＣの適用先の一つに、システム構成設定の認証がある。
【0005】
ＰａＣによるシステム構成設定の認証では、ポリシーエンジンがシステム構成やその設定情報を評価してポリシーの順守又は違反を判断する方式（以下、「Ｖａｌｉｄａｔｉｎｇ方式」と称呼される。）や、ポリシーを順守するようシステム構成やその設定情報を定められた値に加工し適用させる方式（以下、「Ｍｕｔａｔｉｎｇ方式」と称呼される。）がとられることが多い。
【0006】
また、一つのシステムに対して、基盤のセキュリティに関するポリシーやアプリケーションの安定稼働に必要なポリシー等、管轄する部門や目的の異なる複数のポリシーが適用され、運用される。そのため、ポリシー間で競合が発生する場合がある。
【0007】
Ｖａｌｉｄａｔｉｎｇ方式によるシステム構成設定の認証では、リソースの作成や更新、削除等のリクエストがあったことをきっかけに、ポリシーエンジンがリクエスト内容をポリシーで評価してリクエストの許可又は拒否の判定を行う。また、稼働中のシステムに対して定期的に、又は、ポリシーが新規に追加されたり既存のポリシーが変更されたりしたタイミングで、設定されているポリシーが守られているか検証を行う（監査）。その結果、ポリシーへの違反が発見されるとアラートが発報され、システムやその上で稼働するアプリケーションの担当者が、アラート内容に応じてシステムやアプリケーションの構成や設定情報を変更する。
【0008】
一方で、リソースの作成や更新、削除等によりシステムの構成が変化したり、ポリシーの追加や更新を行ったりすることで、全てのポリシーを満たせる条件が存在しない状態（ポリシーの論理積が空集合）が発生する可能性もある（競合）。ポリシーの競合（以下、「ポリシー競合」とも称呼される。）が発生した場合には、ポリシーの作成者がその競合を解消するようポリシーを見直し、システムではなくポリシーを更新しなければならない。
【先行技術文献】
【特許文献】
【0009】
【特許文献1】米国特許出願公開第２０１７／０３３７２５４号明細書
【発明の概要】
【発明が解決しようとする課題】
【0010】
しかし、ポリシー競合が発生している場合であっても、ポリシーエンジンは、評価の結果守られないポリシーがあったとしてポリシー違反の検出と同様のアラートを発報する。そのため、システムやその上で稼働するアプリケーションの担当者は、アラート内容に応じてシステム構成や設定情報を変更する。しかし、ポリシー競合が発生している場合、アラート内容に応じてシステム構成や設定情報を変更した後においても、他のポリシーに違反したとして再度見直しを求められる。よって、担当者は、これらを何度か繰り返すうちに、ようやくポリシーが競合している可能性に気付くことができる。このように、ポリシー競合を発見するためには、「ポリシー違反の検出及び検出への対応（見直し（即ちシステム構成や設定情報の変更））」を何度も繰り返す試行錯誤が必要となってしまっていた。
【0011】
本発明は上記課題を解決するためになされた。即ち、本発明の目的の一つは、試行錯誤せずにポリシー競合を発見できる可能性を向上できるポリシー競合検出装置及びポリシー競合検出方法を提供することにある。
【課題を解決するための手段】
【0012】
上記課題を解決するために、本発明のポリシー競合検出装置は、評価対象システムのポリシー競合を検出するための情報処理装置を含み、前記情報処理装置は、前記評価対象システムに関するシステム情報がポリシー定義に定義されたポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価情報に基づいて、違反と評価されたポリシーに関して、前記評価対象システムのどの構成定義がどのポリシーに違反したか示すポリシー違反情報を取得し、前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの構成情報及び設定情報を含む前記システム情報の、違反と評価された前記ポリシーが制限するパラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーに競合するポリシーが前記評価対象システムに存在するポリシー競合が発生しているか否かのポリシー競合判定を行う、ように構成されている。
【0013】
本発明のポリシー競合検出方法は、評価対象システムのポリシー競合を検出するための情報処理装置を用いたポリシー競合検出方法であり、前記情報処理装置によって、前記評価対象システムに関するシステム情報がポリシー定義に定義されたポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価情報に基づいて、違反と評価されたポリシーに関して、前記評価対象システムのどの構成定義がどのポリシーに違反したか示すポリシー違反情報を取得し、前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの構成情報及び設定情報を含む前記システム情報の、違反と評価された前記ポリシーが制限するパラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーに競合するポリシーが前記評価対象システムに存在するポリシー競合が発生しているか否かのポリシー競合判定を行う。
【発明の効果】
【0014】
本発明によれば、試行錯誤せずにポリシー競合を発見できる可能性を向上できるポリシー競合検出装置及びポリシー競合検出方法を提供する。
【図面の簡単な説明】
【0015】
【発明を実施するための形態】
【0016】
本発明の各実施形態について図面を用いて説明する。なお、実施形態の全図において、同一又は対応する部分には同一の符号を付す。更に、以下の説明では、「テーブル」、「行」等の表現にて各種情報を説明することがあるが、各種情報は、これら以外のデータ構造で表現されてもよい。
【0017】
更に、以下の説明では、識別情報について説明する際、「番号」、「識別情報」、「名前」等の表現を用いるが、これらについてはお互いに置換が可能である。
【0018】
更に、以下の説明では、「プログラム」や「機能ブロック」を主語として処理を説明する場合があるが、プログラムは、プロセッサ（ＣＰＵ）によって実行されることで、定められた処理を行うため、処理の主語が、「プログラム」や「機能ブロック」に代えて、プロセッサ（ＣＰＵ）とされてもよい。同様に、プログラムを実行して行う処理の主体が、プロセッサ（ＣＰＵ）を有する装置、システム、計算機等であってもよい。
【0019】
【0020】
図１に示すポリシー競合検出装置２００（以下、「競合検出装置２００」と称呼される。）は、ポリシーの競合を発見するための装置である。なお、ポリシーの競合（「ポリシー競合」とも称呼される場合がある。）とは、全てのポリシーを満たせる条件が存在しない状態（ポリシーの論理積が空集合）である。競合検出装置２００は、ポリシー違反検知機能２１０、探索範囲算出機能２２０、パラメータ仮設定機能２３０、再検証機能２４０及びユーザインタフェース機能２５０を含む。
【0021】
本発明は、システム構成及びその設定の管理において、ＰａＣ（Policy as Code）を用いてポリシーに違反していないことを保証する際、設定された複数のポリシーが競合していないかを検証する技術に関する。検証の対象となるポリシーは、ユーザ９００によってポリシー管理６００において管理され、ポリシーエンジン５００は、ポリシー管理６００で管理されるポリシーを用いてシステム３００やその上で操作するアプリケーションの構成や設定の検証を行う。ユーザ９００は、システム３００及びその上で動作するアプリケーションのソースコードや構成定義情報、設定等をシステム情報管理４００にて管理する。以降、システム３００及びその上で動作するアプリケーションは、総称して「システム」と称呼され、これらのソースコードや構成定義情報、設定等は、総称して「システム情報」と称呼される。
【0022】
システム３００は、例えば、コンテナ型の仮想環境を提供するソフトウェアの一例であるＤｏｃｋｅｒ（https://www.docker.com/）と、その実行基盤構築及び管理ツールの一例であるＫｕｂｅｒｎｅｔｅｓ（https://kubernetes.io/）を活用して構築される情報システムや、クラウドベンダ各社がインターネットを通じてエンドユーザーにコンピュータシステムを構築及び稼動させるための基盤を提供する「Ｉｎｆｒａｓｔｒｕｃｔｕｒｅ ａｓ ａ Ｓｅｒｖｉｃｅ（ＩａａＳ）サービス」を活用して構築される情報システム、ユーザ自身がサーバやネットワーク等の必要なリソースを管理・運用するオンプレミス環境で構築される情報システム、及びこれらの組み合わせで実現される情報システム等である。
【0023】
システム情報管理４００の一例は、例えば、ＧｉｔＨｕｂ（https://github.co.jp/）のようなソースコードのバージョン管理システム等である。また、システム情報管理４００が管理するシステム情報の一例は、アプリケーションのソースコードそのものや、システムの構成や設定情報をコード化して管理する「Ｉｎｆｒａｓｔｒｕｃｔｕｒｅ ａｓ Ｃｏｄｅ（ＩａＣ）」を活用して定義されたシステムの構成や設定ファイル（Ｋｕｂｅｒｎｅｔｅｓのマニフェストファイルや各種ＩａＣツールで活用する構成管理ファイル等）等である。
【0024】
ポリシーエンジン５００は、ポリシーに違反した情報を発見し、事前に定義されたアクションを実行する。ポリシーエンジン５００の一例は、例えば、ＰａＣを実現する「Ｏｐｅｎ Ｓｏｕｒｃｅ Ｓｏｆｔｗａｒｅ（ＯＳＳ）ツール」である「Ｏｐｅｎ Ｐｏｌｉｃｙ Ａｇｅｎｔ（ＯＰＡ）（https://www.openpolicyagent.org/）」等である。例えば、ポリシーエンジン５００は、ポリシーに違反した情報を発見して、ポリシー違反と評価した場合、どの構成定義が、どのポリシーに違反したかを特定可能な情報を含むエラー情報を出力する。
【0025】
ポリシー管理６００の一例は、例えば、ＧｉｔＨｕｂ（https://github.co.jp/）のようなソースコードのバージョン管理システム等である。また、ポリシー管理６００が管理するポリシー情報の一例は、ＯＰＡのポリシー定義ファイル等である。
【0026】
競合検出装置２００がポリシーの競合を発見する技術の概要を以下に示す。競合検出装置２００のポリシー違反検知機能２１０は、ポリシーエンジン５００による評価の結果、評価対象であるシステム３００の構成や設定値がポリシー違反とされたことを検知し、そのエラー情報からシステムのどの構成定義がどのポリシーに違反したか（ポリシー違反情報）を取得する。上記処理の詳細は後述する。競合検出装置２００の探索範囲算出機能２２０は、違反したポリシーが制限するパラメータやその許容値の範囲及び制約条件を算出する。
【0027】
また、探索範囲算出機能２２０は、算出したパラメータ範囲や制約条件に基づいて、「パラメータ仮設定機能２３０及び探索範囲算出機能２２０が行うパラメータ仮設定と、再検証機能２４０が行うシステム情報の再検証と、の繰り返し条件」を算出する。上記処理の詳細は後述する。
【0028】
競合検出装置２００のパラメータ仮設定機能２３０は、システム３００のシステム情報が、違反したポリシーに従うようパラメータを仮設定する。上記処理の詳細は後述する。競合検出装置２００の再検証機能２４０は、違反したポリシーに従うようパラメータが仮設定されたシステム情報に対して、ポリシーエンジン５００に再検証させる。上記処理の詳細は後述する。
【0029】
パラメータ仮設定機能２３０によるパラメータ仮設定及び再検証機能２４０による再検証は、再検証機能２４０の算出したパラメータ範囲や制約の範囲内で繰り返し行われる。その結果、システム情報を、違反したポリシーが許容する範囲のどのような値に仮設定しても他のポリシーへの違反が検出される場合、最初に違反したポリシーと再検証で違反がみつかったポリシーとは競合するとみなす（判定する。）。
【0030】
一方、システム情報を、違反したポリシーが許容する範囲に仮設定することによって、全てのポリシーに適合する場合が少なくとも１例以上みつかれば、ポリシー競合は起きておらず、システム３００のシステム情報がポリシー違反をしているとみなす（判定する。）。競合検出装置２００のユーザインタフェース機能２５０は、ポリシー違反であるかポリシー競合であるかの情報をユーザにフィードバックする。上記処理の詳細は後述する。
【0031】
＜構成＞
図２は、本発明の第１実施形態に係る競合検出装置２００を含むシステムのシステム構成の一例を示すブロック図である。図２に示すシステムでは、競合検出装置２００と、システム３００（評価対象システム）と、システム情報管理４００と、ポリシーエンジン５００と、ポリシー管理６００と、ユーザ９００の操作する端末７００とがネットワークスイッチ１００及びネットワークＮＷを介して接続される。
図２は、本発明の第１実施形態に係る競合検出装置２００を含むシステムのシステム構成の一例を示すブロック図である。図２に示すシステムでは、競合検出装置２００と、システム３００（評価対象システム）と、システム情報管理４００と、ポリシーエンジン５００と、ポリシー管理６００と、ユーザ９００の操作する端末７００とがネットワークスイッチ１００及びネットワークＮＷを介して接続される。
【0032】
（計算機の説明）
図３は、図２に示す各コンポーネントが動作する計算機８０の構成の一例を示すブロック図である。計算機８０は、プロセッサであるＣＰＵ（Central Processing Unit）８１と、主記憶デバイスであるメモリ８２と、不揮発性の二次記憶装置８３と、入出力装置８４と、ポート８５を有する。これらの各構成要素は、バス８６により相互に接続される。
図３は、図２に示す各コンポーネントが動作する計算機８０の構成の一例を示すブロック図である。計算機８０は、プロセッサであるＣＰＵ（Central Processing Unit）８１と、主記憶デバイスであるメモリ８２と、不揮発性の二次記憶装置８３と、入出力装置８４と、ポート８５を有する。これらの各構成要素は、バス８６により相互に接続される。
【0033】
ＣＰＵ８１は、メモリ８２に記憶されているプログラムを実行することによって、各計算機８０の所定の機能を実現する。メモリ８２は、ＣＰＵ８１によって実行されるプログラム及びプログラムの実行に必要なデータを記憶する。プログラムは、二次記憶装置８３からメモリ８２にロードされる。
【0034】
入出力装置８４は、ディスプレイ（タッチパネル）、ポインタ又はキーボード等のデバイスの一つ又は複数のデバイスを含む。ユーザ９００は、入出力装置８４により、各計算機８０を操作することができる。
【0035】
ポート８５は、ネットワーク（例えば、図２のネットワークスイッチ１００）に接続される。各計算機は、ポート８５を介して、他の計算機８０と通信することができる。なお、各コンポーネントが動作する計算機８０は、仮想マシンやコンテナ等の仮想環境であっても良い。計算機８０には、入出力装置８４としての機能を有さない表示装置（ディスプレイ）が接続されていてもよい。各コンポーネントは、複数の計算機８０で構成されていてもよい。計算機８０は、便宜上、「情報処理装置」とも称呼される場合がある。
【0036】
（メモリ又は記憶装置のデータ構成の説明）
図４は、ユーザ９００が利用する端末７００のメモリ又は記憶装置７、競合検出装置２００のメモリ又は記憶装置２に格納されたプログラムや処理、データの一例を示すブロック図である。なお、例えば、メモリは上述のメモリ８２に対応し、記憶装置は上述の二次記憶装置８３に対応する。
図４は、ユーザ９００が利用する端末７００のメモリ又は記憶装置７、競合検出装置２００のメモリ又は記憶装置２に格納されたプログラムや処理、データの一例を示すブロック図である。なお、例えば、メモリは上述のメモリ８２に対応し、記憶装置は上述の二次記憶装置８３に対応する。
【0037】
図４に示すように、ユーザ９００が利用する端末７００のメモリ又は記憶装置７は、後述の図９Ａ及び図９Ｂ及び図１１Ａ及び図１１Ｂに示したＧＵＩ（Graphical User Interface）画面をディスプレイ（タッチパネル）に表示するためのクライアントプログラム７１０を持つ（格納（記憶、保持）している。）。クライアントプログラム７１０の一例は、ウェブブラウザである。
【0038】
競合検出装置２００のメモリ又は記憶装置２は、ポリシー違反検知機能２１０、探索範囲算出機能２２０、パラメータ仮設定機能２３０、再検証機能２４０、ユーザインタフェース機能２５０、パラメータ探索範囲情報２６０及び再検証結果情報２７０を含む。なお、ポリシー違反検知機能２１０、探索範囲算出機能２２０、パラメータ仮設定機能２３０、再検証機能２４０及びユーザインタフェース機能２５０は、メモリ又は記憶装置２に格納されたプログラムにより構成される。
【0039】
パラメータ探索範囲情報２６０及び再検証結果情報２７０は、競合検出装置２００のメモリ又は記憶装置２上に存在していてもよい（格納（記憶、保持）されてもよい。）し、競合検出装置２００のメモリ又は記憶装置２とは別のネットワーク接続された独立の専用又は共用の一つ又は複数のサーバのメモリ又は記憶装置上に存在してもよい（格納（記憶、保持）されてもよい。）。各機能及びデータの詳細は後述する。
【0040】
上記のユーザ９００が利用する端末７００のメモリ又は記憶装置７、競合検出装置２００のメモリ又は記憶装置２は、ネットワーク接続されたデータベースや仮想サーバのようなものの上で動作しても良い。
【0041】
（データの説明）
図５Ａ乃至図５Ｃは、競合検出装置２００のメモリ又は記憶装置２が保持するデータの構成の一例を示す図である。図５Ａに示すように、パラメータ探索範囲情報２６０は、競合検出装置２００の探索範囲算出機能２２０が算出する、違反したポリシーが制限するパラメータやその許容値の範囲及び制約条件、及び、パラメータ仮設定機能２３０が行うパラメータ仮設定と再検証機能２４０が行うシステム情報の再検証の繰り返し条件を管理する情報である。
図５Ａ乃至図５Ｃは、競合検出装置２００のメモリ又は記憶装置２が保持するデータの構成の一例を示す図である。図５Ａに示すように、パラメータ探索範囲情報２６０は、競合検出装置２００の探索範囲算出機能２２０が算出する、違反したポリシーが制限するパラメータやその許容値の範囲及び制約条件、及び、パラメータ仮設定機能２３０が行うパラメータ仮設定と再検証機能２４０が行うシステム情報の再検証の繰り返し条件を管理する情報である。
【0042】
パラメータ探索範囲情報２６０は、当該情報がどのポリシーの条件であるかを区別するために活用する、ポリシーを識別可能なポリシー固有の識別子２６０１と、ポリシーが定義する条件を区別するために活用する、条件番号２６０２と、ポリシーが対象とするリソースの情報である対象リソース２６０３と、ポリシーがどのパラメータを制限するかを示すパラメータ２６０４と、ポリシーが許容するパラメータの範囲であるパラメータ探索範囲２６０５と、パラメータ固有の制約条件であるパラメータ制約条件２６０６と、パラメータ仮設定機能２３０が行うパラメータ仮設定と再検証機能２４０が行うシステム情報の再検証の繰り返し条件２６０７と、１つのポリシー内で他の条件との依存関係を示す依存関係２６０８とを持つ。
【0043】
パラメータ探索範囲情報２６０は、ポリシーエンジン５００によってシステム３００が違反したと判断された１つのポリシー（以下、違反ポリシー）に対して１つ作成される。1つのポリシーは、同じポリシー内に、ＡＮＤ条件、又はＯＲ条件等で定義される複数の条件を持つ可能性がある。このような、1つのポリシーが複数の条件を持つ場合には、図５Ａに示すパラメータ探索範囲情報２６０の行が条件数分作成され、それぞれに対して条件番号２６０２が設定される。また、これら複数の条件の依存関係が依存関係２６０８に保持される。例えば、独立した条件であれば、依存関係なし、又は独立を表す値が依存関係２６０８に保持され、ＡＮＤ条件、ＯＲ条件等になる条件が存在する場合は、当該条件の条件番号とその関係性（例えば、「条件番号＃２は条件番号＃３とＡＮＤ条件」等）が保持される。なお、参考までに、図５Ｂに、ポリシーが複数の条件（２つ）を持つ場合のパラメータ探索範囲情報の例を示す。
【0044】
対象リソース２６０３は、より具体的には、違反ポリシーが対象リソースを絞り込むために必要な情報であり、例えば、リソースが存在する名前空間２６０３１や、リソースの種類２６０３２、リソースに付けられたラベル２６０３３等を持つ。他に、リソース固有の識別子や、名前、リソースが所属するグループの識別情報等であってもよい。
【0045】
パラメータ探索範囲情報２６０は、ポリシーエンジン５００によるポリシー違反判定の都度作成される形式としてもよいし、過去に一度作成されたパラメータ探索範囲情報２６０を競合検出装置２００のメモリ又は記憶装置２、及び競合検出装置２００のメモリ又は記憶装置２とは別のネットワーク接続された独立の専用又は共用の一つ又は複数のサーバのメモリ又は記憶装置上に保存しておき、呼び出す形式としてもよい。
【0046】
図５Ｃに示す再検証結果情報２７０は、図５Ａに示すパラメータ探索範囲情報２６０に基づいて再検証を実行した場合の、競合検出装置２００のすべての処理結果を示す情報である。図５Ｃに示すように、再検証結果情報２７０は、違反ポリシーを示す、ポリシーを識別可能なポリシー固有のポリシー識別子２７０１と、パラメータ仮設定機能２３０によるパラメータ仮設定でどのリソースのどのパラメータを仮設定したかを示す仮設定リソース及びパラメータ２７０２と、パラメータ仮設定機能２３０によるパラメータ仮設定で具体的にパラメータ値をいくつに設定したかの値である設定値２７０３と、再検証機能２４０による再検証結果２７０４を持つ。
【0047】
再検証結果２７０４は、より具体的には例えば、再検証の結果、違反ポリシー以外にポリシー違反と判定されたポリシーの有無を示すポリシー違反有無２７０４１や、そのポリシーをひとつに特定可能な違反相手のポリシー識別子２７０４２や、その際のエラーメッセージ２７０４３等を持つ。競合検出装置２００のメモリ又は記憶装置２が保持するデータが保持する各値の具体的な算出方法については後述する。
【0048】
＜全体の処理の流れの説明＞
図６は、競合検出装置２００がポリシーの競合を発見する処理の流れを示すシーケンス図である。はじめに、ポリシー違反検知機能２１０が、ポリシーエンジン５００による評価の結果、評価対象であるシステム３００の構成や設定値がポリシー違反とされたことを検知し、そのエラー情報からシステムのどの構成定義がどのポリシーに違反したか（ポリシー違反情報）を取得する（２１１）。
図６は、競合検出装置２００がポリシーの競合を発見する処理の流れを示すシーケンス図である。はじめに、ポリシー違反検知機能２１０が、ポリシーエンジン５００による評価の結果、評価対象であるシステム３００の構成や設定値がポリシー違反とされたことを検知し、そのエラー情報からシステムのどの構成定義がどのポリシーに違反したか（ポリシー違反情報）を取得する（２１１）。
【0049】
次に、探索範囲算出機能２２０が、ポリシー管理６００から違反ポリシーの情報を取得する（２２１）。また、パラメータの制約条件を算出するための情報元を取得する（２２２）。情報元として具体的にどのような情報を取得するかの例は後述する。２２１と２２２の実施順はどちらが先であってもかまわず、並行して行われてもよい。
【0050】
次に、探索範囲算出機能２２０が、２２１，２２２で取得した情報を用いてパラメータ探索範囲情報２６０（例えば、図５Ａ）を作成する（２２３）。処理の詳細については後述する。
【0051】
次に、パラメータ仮設定機能２３０が、システム情報管理４００やシステム３００からシステムやその上で動作するアプリケーションの構成情報や設定情報、稼働中のシステムの情報を取得する（２３１）。なお、２３１は２２３の完了前に実施していてもよいし、リアルタイムにシステム情報管理４００やシステム３００と連携し、常に最新情報を持てるような仕組みになっていてもよい。
【0052】
次に、パラメータ仮設定機能２３０が、パラメータ探索範囲情報２６０に基づいて、２３１にて取得したシステム情報のパラメータを仮設定（違反と評価されたポリシーが制限するパラメータの許容値の範囲内で仮設定）し（２３２）、再検証機能２４０が仮設定されたシステム情報をポリシーエンジン５００に再検証させる（２４１）。この処理は、パラメータ探索範囲情報２６０の定義分繰り返し行われ（ループ１（１０００））、再検証結果情報２７０を作成する。ループ１（１０００）の処理の詳細は後述する。なお、ポリシーエンジン５００相当の機能を競合検出装置２００内部に持ち、再検証２４１を競合検出装置２００自身が行ってもよい。
【0053】
最後に、ユーザインタフェース機能２５０が再検証結果情報２７０に基づいて、ポリシー違反又はポリシー競合の結果と、処理の詳細（判定根拠）をユーザ９００に提示する（２５１）。
【0054】
提示の方法は、ユーザ９００の端末７００のクライアントプログラム７１０を用いたＧＵＩ表示であってもよいし、メールによる通知や、その他の形式であってもよい。ＧＵＩ表示の一例は後述する。
【0055】
＜パラメータ探索範囲情報２６０の算出処理の説明＞
上述したパラメータ探索範囲情報２６０の算出処理（２２３）の詳細について説明する。図７は、探索範囲算出機能２２０が行う、パラメータ探索範囲情報２６０の算出処理（２２３）の一例を示す。探索範囲算出機能２２０は、図７のステップ２２３０から処理を開始してステップ２２３１に進み、対象リソース２６０３を作成する。その情報元の一例は、Ｋｕｂｅｒｎｅｔｅｓにおけるポリシー管理時に行うＶａｌｉｄａｔｉｎｇ Ａｄｍｉｓｓｉｏｎ Ｗｅｂｈｏｏｋにて、ＷｅｂｈｏｏｋするＡＰＩ（Ａｐｐｌｉｃａｔｉｏｎ Ｐｒｏｇｒａｍｍｉｎｇ Ｉｎｔｅｒｆａｃｅ）コールのＷｅｂｈｏｏｋ対象の指定情報（例えば、名前空間２６０３１、種類２６０３２、ラベル２６００３）であり、ポリシー管理６００が管理するポリシーから取得可能である。
上述したパラメータ探索範囲情報２６０の算出処理（２２３）の詳細について説明する。図７は、探索範囲算出機能２２０が行う、パラメータ探索範囲情報２６０の算出処理（２２３）の一例を示す。探索範囲算出機能２２０は、図７のステップ２２３０から処理を開始してステップ２２３１に進み、対象リソース２６０３を作成する。その情報元の一例は、Ｋｕｂｅｒｎｅｔｅｓにおけるポリシー管理時に行うＶａｌｉｄａｔｉｎｇ Ａｄｍｉｓｓｉｏｎ Ｗｅｂｈｏｏｋにて、ＷｅｂｈｏｏｋするＡＰＩ（Ａｐｐｌｉｃａｔｉｏｎ Ｐｒｏｇｒａｍｍｉｎｇ Ｉｎｔｅｒｆａｃｅ）コールのＷｅｂｈｏｏｋ対象の指定情報（例えば、名前空間２６０３１、種類２６０３２、ラベル２６００３）であり、ポリシー管理６００が管理するポリシーから取得可能である。
【0056】
次に、探索範囲算出機能２２０は、ステップ２２３２に進み、ポリシー管理６００が管理するポリシーから取得したポリシーの判定ロジックから、ポリシーが指定する条件を特定し、条件ごとに、条件番号２６０２、パラメータ２６０４、パラメータ探索範囲２６０５、依存関係２６０８を算出する。
【0057】
次に、探索範囲算出機能２２０は、ステップ２２３３に進み、パラメータ制約条件２６０６を算出する。その情報元の一例は、システムの構成定義をＩａＣで定義する際の制約条件や、実際に稼働しているシステム３００の構成定義情報である。例えば、Ｋｕｂｅｒｎｅｔｅｓを例にしたとき、リソース定義のＡＰＩリファレンスやその実装コードから、値の型(Int, String, 等)、設定可能な値の数(Array, 値１つのみ, 等)、入力されうる値のバリエーション等の制約条件を取得可能である。また、稼働中システムのマニフェストから、システムで許容されているＰｏｄの上限値、下限値のようなシステム固有の制約条件も取得可能である。ただし、システム固有の制約条件は、今回仮設定したいパラメータとは別のパラメータで定義されている場合に限って用いることが可能である。
【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】
図１１Ｂに示す再検証設定画面２５１２２は、ユーザ９００が再度競合検証する命令を与える場合、各種設定値を指定するためのＧＵＩ（Graphical User Interface）を構成するＧＵＩ画面の一例である。
【0106】
再検証設定画面２５１２２は、条件入力領域２５１２２１及び実行ボタン２５１２２２を含む。条件入力領域２５１２２１は、入力ボックスＢＸ１乃至ＢＸ６を含む。なお、入力ボックスＢＸ１乃至ＢＸ６は、これらを特に区別する必要がない場合、「入力ボックスＢＸ」と称呼される。ユーザ９００は、再検証設定画面２５１２２に表示される条件入力領域２５１２２１の入力ボックスＢＸに、競合の再検証を行うための各種設定条件を、少なくとも１つ以上入力可能とする。なお、ユーザ９００は、入出力装置８４（情報入力装置）を介して、ＧＵＩ画面を操作する（ＧＵＩ画面に情報を入力する。）。
【0107】
設定条件は、例えば、対象リソースや、仮設定するパラメータ、パラメータの探索値（パラメータ探索範囲）、刻み値、繰り返し数、条件の依存関係等である。そして、ユーザ９００は、再検証設定画面２５１２２上の実行ボタン２５１２２２を押下する（操作（タッチ操作）する）ことで、入力した値を使ったポリシー競合の再検証を命令可能である。
【0108】
＜効果＞
以上説明したように、本発明の第２実施形態に係る競合検出装置２００は、第１実施形態と同様、ポリシーに違反しないパラメータ設定探索を自動化し、パラメータ仮設定・再検証を行うことで、試行錯誤せずにポリシーの競合を発見することができる。更に、本発明の第２実施形態に係る競合検出装置２００は、ユーザ９００により入力した情報に基づいて、ポリシー競合の検証（ユーザ指令再検証）を更に実行することにより、ポリシー競合の発見精度を向上できる。
以上説明したように、本発明の第２実施形態に係る競合検出装置２００は、第１実施形態と同様、ポリシーに違反しないパラメータ設定探索を自動化し、パラメータ仮設定・再検証を行うことで、試行錯誤せずにポリシーの競合を発見することができる。更に、本発明の第２実施形態に係る競合検出装置２００は、ユーザ９００により入力した情報に基づいて、ポリシー競合の検証（ユーザ指令再検証）を更に実行することにより、ポリシー競合の発見精度を向上できる。
【0109】
<<第１変形例>>
上記第１実施形態において、競合検出装置２００は、繰り返し条件２６０７の繰り返し回数が所定回数以下であるか否かを判定して、繰り返し条件２６０７の繰り返し回数が所定回数より大きい場合、繰り返し回数を現時点の回数（以下、「当初繰り返し回数」と称呼される。）より少ない所定回数に変更し、まずは検証される予定の全パラメータ値（以下、「検証予定パラメータ値」とも称呼される。）の一部のパラメータ値について、再検証してもよい。そして、競合検出装置２００は、検証の結果、一部のパラメータ値についての再検証結果のうちの、少なくとも一つがポリシー違反なしだった場合、ポリシー違反（即ち、ポリシー競合ではない。）と判定してもよい。一方、競合検出装置２００は、検証の結果、一部のパラメータ値についての再検証結果の全てが、ポリシー違反有りだった場合、繰り返し回数を残りの回数（＝当初繰り返し回数－所定回数）に変更することにより、残りのパラメータ値について、再検証してもよい。
上記第１実施形態において、競合検出装置２００は、繰り返し条件２６０７の繰り返し回数が所定回数以下であるか否かを判定して、繰り返し条件２６０７の繰り返し回数が所定回数より大きい場合、繰り返し回数を現時点の回数（以下、「当初繰り返し回数」と称呼される。）より少ない所定回数に変更し、まずは検証される予定の全パラメータ値（以下、「検証予定パラメータ値」とも称呼される。）の一部のパラメータ値について、再検証してもよい。そして、競合検出装置２００は、検証の結果、一部のパラメータ値についての再検証結果のうちの、少なくとも一つがポリシー違反なしだった場合、ポリシー違反（即ち、ポリシー競合ではない。）と判定してもよい。一方、競合検出装置２００は、検証の結果、一部のパラメータ値についての再検証結果の全てが、ポリシー違反有りだった場合、繰り返し回数を残りの回数（＝当初繰り返し回数－所定回数）に変更することにより、残りのパラメータ値について、再検証してもよい。
【0110】
以下、第１変形例が実行する処理フローについて説明する。第１変形例は、図１２にフローチャートにより示した処理フローを実行する。図１２のフローチャートは、以下の点のみにおいて、図８のフローチャートと相違点を有する。図８のフローチャートにおいて、ステップ１０００２とステップ２３２との間に、ステップ１２０１が追加され、更に、ステップ１２０１とステップ１０００５との間に、ステップ１２０２及びステップ１２０３が追加される。従って、以下では、これらの相違点を中心として説明する。
【0111】
ステップ１２０１に進むと、パラメータ仮設定機能２３０は、繰り返し条件２６０７の繰り返し回数（即ち、当初繰り返し回数）が所定回数以下であるか否かを判定する。繰り返し条件の繰り返し回数が所定回数以下である場合、パラメータ仮設定機能２３０は、ステップ１２０１にて「ＹＥＳ」と判定してステップ２３２に進む。これ以降の処理は、既に述べたので説明を省略する。
【0112】
一方、繰り返し条件２６０７の繰り返し回数が所定回数より大きい（多い）場合、パラメータ仮設定機能２３０は、ステップ１２０１にて「ＮＯ」と判定してステップ１２０２に進み、パラメータ探索範囲情報２６０の繰り返し条件の繰り返し回数を、現時点の回数より少ない所定回数に変更する。
【0113】
その後、パラメータ仮設定機能２３０はステップ１２０３に進み、図１３のフローチャートにより示した処理フローを実行する。従って、パラメータ仮設定機能２３０は、図１２のステップ１２０３に進むと、図１３のステップ２３２に進み、図１２のステップ１２０２にて繰り返し回数が変更された後のパラメータ探索範囲情報２６０を参照し、上述した２３１にてパラメータ仮設定機能２３０が取得したシステム情報のパラメータを仮設定する。
【0114】
次に、パラメータ仮設定機能２３０は、ステップ２４１に進み、再検証機能２４０が、仮設定されたシステム情報をポリシーエンジン５００に再検証させる。即ち、ステップ２４１にて、再検証機能２４０は、ステップ２３２にてパラメータ仮設定機能２３０によって仮設定されたシステム情報をポリシーエンジン５００に再検証させる。そして、再検証機能２４０は、再検証結果に基づいて、再検証結果情報２７０を作成する。
【0115】
次に、再検証機能２４０は、ステップ１０００４に進み、パラメータ探索範囲情報２６０に基づいて指定された「再検証対象パラメータ値」の全パラメータ値を検証したか否かを確認する。
【0116】
未検証の値がある場合、再検証機能２４０は、ステップ１０００４にて「ＮＯ」と判定してステップ２３２に戻る。
【0117】
検証済みである場合、再検証機能２４０は、ステップ１０００４にて「ＹＥＳ」と判定してステップ１３０１に進み、検証した全パラメータ値についての再検証結果の少なくとも一つが、ポリシー違反なしであるか否かを判定する。
【0118】
検証した全パラメータ値についての再検証結果の少なくとも一つが、ポリシー違反なしの場合、再検証機能２４０は、ステップ１３０１にて「ＹＥＳ」と判定して、図１２のステップ１０００５に進む。
【0119】
検証した全パラメータ値についての再検証結果の全てがポリシー違反である場合、再検証機能２４０は、ステップ１３０１にて「ＮＯ」と判定してステップ１３０２に進む。再検証機能２４０は、ステップ１３０２に進むと、上述した「検証予定パラメータ値」の中に、未検証パラメータ値が存在するか否かを判定する。
【0120】
未検証パラメータ値が存在する場合、再検証機能２４０は、ステップ１３０２にて「ＹＥＳ」と判定してステップ１３０３に進む。ステップ１３０３にて、パラメータ仮設定機能２３０は、パラメータ探索範囲情報２６０の繰り返し条件の繰り返し回数を、残りの回数（＝当初の繰り返し回数－所定回数）に変更してステップ２３２に戻る。パラメータ仮設定機能２３０は、ステップ２３２に戻ると、ステップ１３０３にて繰り返し回数が変更された後のパラメータ探索範囲情報２６０を参照し、上述した２３１にてパラメータ仮設定機能２３０が取得したシステム情報のパラメータを仮設定する。以降、既述のステップ２３２、ステップ２４１、ステップ１０００４、ステップ１３０１及びステップ１３０２の処理の適当な処理を実行した後、ステップ１０００５に進む。
【0121】
なお、ステップ１３０２にて未検証パラメータ値が存在しない場合、再検証機能２４０は、ステップ１３０２にて「ＮＯ」と判定してステップ１０００５に進む。
【0122】
＜効果＞
以上説明した第１変形例は、第１実施形態と同様の効果を奏する。更に、第１変形例は、ポリシー違反である（即ち、ポリシー競合ではない）ことを速やかに判定することができると共に、ポリシー競合をより精度よく判定することができる。
以上説明した第１変形例は、第１実施形態と同様の効果を奏する。更に、第１変形例は、ポリシー違反である（即ち、ポリシー競合ではない）ことを速やかに判定することができると共に、ポリシー競合をより精度よく判定することができる。
【0123】
<<第２変形例>>
上記第１実施形態において、競合検出装置２００は、繰り返し条件２６０７の繰り返し回数が所定回数以外であるか否かを判定して、繰り返し条件２６０７の繰り返し回数が所定回数より大きい場合、繰り返し回数を現時点の回数より少ない所定回数に変更することにより、まずは検証される予定の全パラメータ値（検証予定パラメータ値）の一部のパラメータ値ついて、再検証してもよい。そして、競合検出装置２００は、検証の結果、その一部のパラメータ値についての再検証結果の少なくとも一つがポリシー違反なしだった場合、ポリシー違反と判定してもよい。
上記第１実施形態において、競合検出装置２００は、繰り返し条件２６０７の繰り返し回数が所定回数以外であるか否かを判定して、繰り返し条件２６０７の繰り返し回数が所定回数より大きい場合、繰り返し回数を現時点の回数より少ない所定回数に変更することにより、まずは検証される予定の全パラメータ値（検証予定パラメータ値）の一部のパラメータ値ついて、再検証してもよい。そして、競合検出装置２００は、検証の結果、その一部のパラメータ値についての再検証結果の少なくとも一つがポリシー違反なしだった場合、ポリシー違反と判定してもよい。
【0124】
一方、競合検出装置２００は、検証の結果、その一部のパラメータ値についての再検証結果の全てがポリシー違反有りだった場合、ユーザに指示された条件（パラメータ値）で競合の再検証を実行させるようにしてもよい。
【0125】
第２変形例は、図１２の処理フロー及び図１４の処理フローを実行するように構成される。図１２の処理フローは既に説明したので、説明を省略する。図１４は、図１３のステップ１３０２がステップ１４０２に置換され、ステップ１３０３がステップ１４０３に置換され、ステップ１３０１とステップ１４０２との間のステップ１４０１が追加され、ステップ１４０３の後にステップ１４０４が追加された点のみにおいて、図１３の処理フローと相違する。以下、この相違点を中心として説明する。
【0126】
図１４のステップ１３０１にて、検証した全パラメータ値についての再検証結果の全てがポリシー違反である場合、再検証機能２４０は、ステップ１３０１にて「ＮＯ」と判定してステップ１４０１に進む。再検証機能２４０は、ステップ１４０１に進むと、ユーザインタフェース機能２５０に、上述した図１１Ａに示すような競合通知画面２５１２１を表示させる。
【0127】
その後、再検証機能２４０は、ステップ１４０２に進み、競合通知画面２５１２１の競合の再検証を実施するためのボタン（競合再検証実施ボタン２５１２１４）に対する操作に基づいて、ユーザ再検証が必要であるか否かを判定する。
【0128】
ユーザ再検証が必要ではないと判定した場合（例えば、所定時間以上、競合通知画面２５１２１上の競合再検証実施ボタン２５１２１４に対する操作がない場合等）、再検証機能２４０は、ステップ１４０２にて「ＮＯ」と判定してステップ１０００５に進む。
【0129】
競合再検証実施ボタン２５１２１４が操作されたことにより、ユーザ再検証が必要であると判定した場合、再検証機能２４０は、ステップ１４０２にて「ＹＥＳ」と判定してステップ１４０３に進み、ユーザインタフェース機能２５０に図１１Ｂの再検証設定画面２５１２２を表示させる。
【0130】
その後、再検証機能２４０は、ステップ１４０４に進み、再検証設定画面２５１２２に表示される条件入力領域２５１２２１の入力ボックスＢＸに対する、競合の再検証を行うための各種設定条件の入力が完了したか否かを判定する。
【0131】
入力ボックスＢＸに対する、競合の再検証を行うための各種設定条件の入力が完了していない場合、再検証機能２４０は、ステップ１４０４にて「ＮＯ」と判定して、再びステップ１４０４の処理を実行する。
【0132】
入力ボックスＢＸに対する、競合の再検証を行うための各種設定条件の入力が完了している場合、再検証機能２４０は、ステップ１４０４にて「ＹＥＳ」と判定してステップ２３２に戻る。ステップ２３２にて、パラメータ仮設定機能２３０は、再検証設定画面２５１２２に入力された競合の再検証を行うための各種設定条件に基づいて、上述した２３１にてパラメータ仮設定機能２３０が取得したシステム情報のパラメータを仮設定する。以降、既述のステップ２４１、ステップ１０００４、ステップ１３０１、ステップ１３０２、及び、１４０１乃至ステップ１４０４の処理の適当な処理を実行した後、ステップ１０００５に進む。
【0133】
＜効果＞
以上説明した第２変形例は、第１実施形態と同様の効果を奏する。更に、第２変形例は、ポリシー違反である（即ち、ポリシー競合ではない）ことを速やかに判定することができると共に、ポリシー競合をより精度よく判定することができる。
以上説明した第２変形例は、第１実施形態と同様の効果を奏する。更に、第２変形例は、ポリシー違反である（即ち、ポリシー競合ではない）ことを速やかに判定することができると共に、ポリシー競合をより精度よく判定することができる。
【0134】
<<第３変形例>>
上記第１実施形態において、ステップ２２３４において、次のような処理を実行するようにしてもよい。図１５は第３変形例の処理フローを示す。探索範囲算出機能２２０は、ステップ１５００から処理を開始してステップ１５０１に進み、パラメータ探索範囲２６０５、パラメータ制約条件２６０６、から暫定的な繰り返し条件を定義する。次に、探索範囲算出機能２２０は、ステップ１５０２に進み、暫定的な繰り返し条件の繰り返し回数が繰り返し上限数以下であるか否かを判定する。
上記第１実施形態において、ステップ２２３４において、次のような処理を実行するようにしてもよい。図１５は第３変形例の処理フローを示す。探索範囲算出機能２２０は、ステップ１５００から処理を開始してステップ１５０１に進み、パラメータ探索範囲２６０５、パラメータ制約条件２６０６、から暫定的な繰り返し条件を定義する。次に、探索範囲算出機能２２０は、ステップ１５０２に進み、暫定的な繰り返し条件の繰り返し回数が繰り返し上限数以下であるか否かを判定する。
【0135】
暫定的な繰り返し条件の繰り返し回数が繰り返し上限数以下である場合、探索範囲算出機能２２０は、ステップ１５０２にて「ＹＥＳ」と判定してステップ１５０３に進み、暫定的な繰り返し条件を最終的な繰り返し条件２６０７として定義する。その後、探索範囲算出機能２２０はステップ１５０５に進んで、本処理フローを一旦終了する。
【0136】
暫定的な繰り返し条件２６０７の繰り返し回数が繰り返し上限数より大きい場合、探索範囲算出機能２２０は、ステップ１５０２にて「ＮＯ」と判定してステップ１５０４に進み、暫定的な繰り返し条件の繰り返し回数を繰り返し上限数（即ち、現時点の繰り返し回数より小さい繰り返し上限数）に変更する。その後、探索範囲算出機能２２０は、ステップ１５０３に進み、繰り返し回数が繰り返し上限数に変更された暫定的な繰り返し条件を最終的な繰り返し条件２６０７として定義する。その後、探索範囲算出機能２２０はステップ１５０５に進んで、本処理フローを一旦終了する。なお、ステップ１５０４において、探索範囲算出機能２２０は、繰り返し回数の変更に加えて、刻み値を変更する（大きくする）ようにしてもよい。
【0137】
<<その他の変形例>>
本発明は上記各実施形態及び各変形例に限定されることなく、本発明の範囲内において種々の変形例を採用することができる。上記の各実施形態及び各変形例の構成、方法、工程等は、本発明の主旨を逸脱しない限り、互いに組み合わせることが可能である。例えば、上記第１変形例において、ステップ１２０２にて繰り返し数に加えて刻み値が設定（変更して設定）されるようにしてもよい。
本発明は上記各実施形態及び各変形例に限定されることなく、本発明の範囲内において種々の変形例を採用することができる。上記の各実施形態及び各変形例の構成、方法、工程等は、本発明の主旨を逸脱しない限り、互いに組み合わせることが可能である。例えば、上記第１変形例において、ステップ１２０２にて繰り返し数に加えて刻み値が設定（変更して設定）されるようにしてもよい。
【0138】
なお、本発明は、以下の構成をとることもできる。
［１］
評価対象システムに適用されるポリシーのポリシー競合を検出するための情報処理装置を含むポリシー競合検出装置であって、
前記情報処理装置は、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
［１］
評価対象システムに適用されるポリシーのポリシー競合を検出するための情報処理装置を含むポリシー競合検出装置であって、
前記情報処理装置は、
前記評価対象システムに関するシステム情報がポリシー定義に定義された前記ポリシーを違反しているか否かを評価するポリシー評価を行うポリシーエンジンによる評価結果に基づいて、違反と評価された前記ポリシーに関して、前記評価対象システムのどの構成定義がどの前記ポリシーに違反したかを示すポリシー違反情報を取得し、
前記ポリシー違反情報及び違反と評価された前記ポリシーの判定ロジックに基づいて、違反と評価された前記ポリシーが制限するパラメータ及び当該パラメータの許容値の範囲を算出し、
違反と評価された前記ポリシーの適用対象のリソース毎に、前記パラメータの許容値の範囲内で、違反と評価された前記ポリシーに従うように、前記評価対象システムの前記システム情報の、違反と評価された前記ポリシーが制限する前記パラメータに対応するパラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含む自動再検証処理を少なくとも１回行い、
前記自動再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、違反と評価された前記ポリシーと他の前記ポリシーとが競合しているポリシー競合が発生しているか否かのポリシー競合判定を行う、
ように構成された、
ポリシー競合検出装置。
【0139】
［１］の構成によれば、ポリシーに違反しないパラメータ設定探索を自動化し、パラメータ仮設定・再検証を行うことで、試行錯誤（ポリシー作成者やシステム/アプリの担当者がポリシー順守できるようにパラメータを変更したが他のポリシーに違反してしまいまたパラメータを変更することを繰り返すうちにポリシー競合の可能性に気付く）せずにポリシーの競合が発見可能である。
【0140】
［２］
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報、を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、ように構成された、ポリシー競合検出装置。
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
違反と評価された前記ポリシーが適用対象とする前記リソースの種類及び前記リソースに対する操作の種類の情報、を含む情報を取得し、
取得した前記情報に基づいて、違反と評価された前記ポリシーの適用対象の前記リソースを特定する、ように構成された、ポリシー競合検出装置。
【0141】
［２］の構成によれば、ポリシーの評価対象をより細かく指定可能になり、ポリシー競合判定の精度が向上される。
【0142】
［３］
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たす、パラメータ範囲内で、前記パラメータ値を仮設定する、
ように構成された
ポリシー競合検出装置。
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記パラメータの許容値の範囲内であり、且つ、違反と評価された前記ポリシー以外の要素によって課される前記パラメータの制約条件を満たす、パラメータ範囲内で、前記パラメータ値を仮設定する、
ように構成された
ポリシー競合検出装置。
【0143】
［３］の構成においては、ポリシー以外の要素によって課されるパラメータの制約条件が考慮される。例えば、［３］の構成においては、構成定義のAPIリファレンスや実装コードから、値の型(Int, String, 等)、設定可能な値の数(Array, 値1つのみ, 等)、入力されうる値のバリエーションを定義したり、（今回ポリシーで制約されているパラメータ以外の）システム設定情報から値の取りうる範囲を限定したりする。［３］の構成によれば、ポリシーの評価範囲をより細かく指定可能になり、ポリシー競合判定の精度が向上される。
【0144】
［４］
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記自動再検証処理を複数回実行する場合、１回の前記自動再検証処理が終了するたびに、前記パラメータの許容値の範囲内で、仮設定する前記パラメータの値を所定の刻み値だけ変更し、前記自動再検証処理を実行する、
ように構成された、
ポリシー競合検出装置。
［１］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記自動再検証処理を複数回実行する場合、１回の前記自動再検証処理が終了するたびに、前記パラメータの許容値の範囲内で、仮設定する前記パラメータの値を所定の刻み値だけ変更し、前記自動再検証処理を実行する、
ように構成された、
ポリシー競合検出装置。
【0145】
ポリシーが許容するパラメータ値は１つであるとは限らず、ある程度の幅を持っている。従って、パラメータの仮設定値によっては、ポリシーが競合していないにも関わらす競合と判断されてしまう可能性がある（例：ポリシーＡがメモリ上限４ＧＢ以下、ポリシーＢがメモリ下限２ＧＢ以上としたとき、メモリ上限、下限を１ＧＢに仮設定するとポリシーＡ，Ｂに反するため一見競合したかのように見えるが、３ＧＢに設定すれば両者を満たすのでポリシーＡ，Ｂは競合しない。）。これに対して、［４］の構成は、パラメータの許容値の範囲内、パラメータ仮設定・再検証を繰り返すことで誤判定を防ぐことができる。
【0146】
［５］
［４］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記ポリシー競合判定の判定結果、前記再検証が実行された前記パラメータに関する情報、前記自動再検証処理の実行回数及び前記刻み値を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
［４］に記載のポリシー競合検出装置において、
前記情報処理装置は、
前記ポリシー競合判定の判定結果、前記再検証が実行された前記パラメータに関する情報、前記自動再検証処理の実行回数及び前記刻み値を含む通知情報を他の装置に通知する、
ように構成された、
ポリシー競合検出装置。
【0147】
［５］の構成によれば、ポリシーが競合すると判定された場合には、ポリシー作成者のポリシー再考/再設定のヒントになる。更に、［５］の構成によれば、ポリシー違反と判定された場合には、違反したリソースの開発担当者の、システム構成/設定値の修正ヒントになる。
【0148】
［６］
［１］に記載のポリシー競合検出装置において、
前記情報処理装置に接続された情報入力装置を更に備え、
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合において、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
［１］に記載のポリシー競合検出装置において、
前記情報処理装置に接続された情報入力装置を更に備え、
前記情報処理装置は、
前記再検証の評価結果の全てが、前記ポリシーを違反するとの評価結果である場合において、
前記情報入力装置に入力された内容に基づいて、前記パラメータの許容値の範囲内のパラメータ設定範囲を設定し、前記パラメータ設定範囲内で、前記評価対象システムの前記システム情報の前記パラメータの値を仮設定する仮設定と、前記仮設定した内容で前記ポリシーエンジンに前記ポリシー評価を実行させる再検証と、を含むユーザ再検証処理を少なくとも１回行い、
前記ユーザ再検証処理を行うたびに取得される前記再検証の評価結果に基づいて、前記ポリシー競合判定を更に行う、
ように構成された、
ポリシー競合検出装置。
【0149】
［６］の構成によれば、得られたフィードバック結果に疑問がある際、ユーザが条件設定をして再度処理を行うことで、ポリシー競合判定の精度を向上できる。
【符号の説明】
【0150】
８０…計算機、２００…競合検出装置、２１０…ポリシー違反検知機能、２２０…探索範囲算出機能、２３０…パラメータ仮設定機能、２４０…再検証機能、２５０…ユーザインタフェース機能、２６０…パラメータ探索範囲情報、２７０…再検証結果情報、３００…システム、４００…システム情報管理、５００…ポリシーエンジン、６００…ポリシー管理
【図1】
【図2】
【図3】
【図4】
【図5A】
【図5B】
【図5C】
【図6】
【図7】
【図8】
【図9A】
【図9B】
【図10】
【図11A】
【図11B】
【図12】
【図13】
【図14】
【図15】