(57)【要約】【課題】RBACモデルおよびTEモデルに基づく強制アクセス制御の設定が適切であることを検証する。【解決手段】RBACモデルおよびTEモデルに基づくアクセス制御の設定ファイルをテーブルに登録しアクセスにする条件を設定したセキュリティポリシーとの関係が適切であるかを検証しその結果を出力する。詳しくは、コンピュータを利用する際に各利用者がアクセス可能なコンピュータの制御対象を定めたアクセス制御設定データをコンピュータで実行されるプログラム毎に記憶するアクセス制御設定データ記憶部と、各アクセス制御設定データが満たすべきアクセス制御の設定方針を記憶するセキュリティポリシーデータ記憶部と、各アクセス制御設定データがアクセス制御の設定方針に適合するか否かの検証を行う適合検証部と、検証の結果を出力する検証結果出力部と、を備える情報処理装置に関する。【選択図】  図１０
2007041881.tif 000002
【特許請求の範囲】
【請求項１】
コンピュータを利用する際に各利用者がアクセス可能な前記コンピュータの制御対象を定めたアクセス制御設定データを、前記コンピュータで実行されるプログラム毎に記憶するアクセス制御設定データ記憶部と、
前記各アクセス制御設定データが満たすべきアクセス制御の設定方針を記憶するセキュリティポリシーデータ記憶部と、
前記各アクセス制御設定データが、前記アクセス制御の設定方針に適合するか否かの検証を行う適合検証部と、
前記検証の結果を出力する検証結果出力部と、
を備えることを特徴とする情報処理装置。
【請求項２】
前記プログラム毎に記憶される各アクセス制御設定データは、
当該プログラムを起動する利用者の識別情報と、前記利用者に付与される権限を示す情報と、を対応付けた第１の設定データと、
権限を示す情報と、前記権限を有する利用者が当該プログラムを起動することによって生成されるプロセスが所属する、各プロセスをグループ化してなるプロセスグループの識別情報と、を対応付けた第２の設定データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスにより生成されるプロセスが所属するプロセスグループの識別情報と、を対応付けた第３の設定データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスが制御可能な前記コンピュータの制御対象が所属する、各制御対象をグループ化してなる制御対象グループの識別情報と、を対応付けた第４の設定データと、
を含み、
前記アクセス制御の設定方針は、
前記コンピュータの利用者の識別情報と、前記利用者に付与可能な権限を示す情報とを対応付けた第１の設定方針データと、
前記コンピュータの利用者の識別情報と、前記利用者が起動したプログラムの実行に伴って生成されるプロセスが所属可能なプロセスグループの識別情報とを対応付けた第２の設定方針データと、
前記コンピュータの利用者の識別情報と、前記利用者が起動したプログラムの実行に伴って生成されるプロセスが制御可能な前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第３の設定方針データと、
権限を示す情報と、前記権限を有する利用者が起動したプログラムの実行に伴って生成されるプロセスが所属可能なプロセスグループの識別情報とを対応付けた第４の設定方針データと、
権限を示す情報と、前記権限を有する利用者が起動したプログラムの実行に伴って生成されるプロセスが制御可能な前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第５の設定方針データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスを起点として順次生成されるいずれかのプロセスが所属可能なプロセスグループの識別情報とを対応付けた第６の設定方針データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスが制御可能な前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第７の設定方針データと、
前記コンピュータの利用者の識別情報と、前記利用者に付与することが禁止される権限を示す情報とを対応付けた第８の設定方針データと、
前記コンピュータの利用者の識別情報と、前記利用者が起動したプログラムの実行に伴って生成されるプロセスが所属することが禁止されるプロセスグループの識別情報とを対応付けた第９の設定方針データと、
前記コンピュータの利用者の識別情報と、前記利用者が起動したプログラムの実行に伴って生成されるプロセスによる制御が禁止される前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第１０の設定方針データと、
権限を示す情報と、前記権限を有する利用者が起動したプログラムの実行に伴って生成されるプロセスが所属することが禁止されるプロセスグループの識別情報とを対応付けた第１１の設定方針データと、
権限を示す情報と、前記権限を有する利用者が起動したプログラムの実行に伴って生成されるプロセスによる制御が禁止される前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第１２の設定方針データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスを起点として順次生成されるいずれのプロセスも所属することが禁止されるプロセスグループの識別情報とを対応付けた第１３の設定方針データと、
プロセスグループの識別情報と、前記プロセスグループに所属するプロセスによる制御が禁止される前記コンピュータの制御対象が所属する制御対象グループの識別情報とを対応付けた第１４の設定方針データと、
の少なくともいずれかを含み、
前記適合検証部は、
前記アクセス制御の設定方針に記述される各設定方針データによる各対応付けが、前記第１乃至第４の各設定データを組み合わせて実現できるか否かにより、前記各アクセス制御設定データが、前記アクセス制御の設定方針に適合するか否かの検証を行う
ことを特徴とする請求項１に記載の情報処理装置。
【請求項３】
前記検証結果出力部は、
前記検証の結果を出力する際に、前記アクセス制御の設定方針に含まれる各設定方針データによる各対応付けを、前記第１乃至第４の設定データを組み合わせて図示する
ことを特徴とする請求項２に記載の情報処理装置。
【請求項４】
前記検証結果出力部は、
前記検証の結果を出力する際に、前記アクセス制御の設定方針に含まれる各設定方針データによる各対応付けを、前記第１乃至第４の対応付けを組み合わせて実現することができない場合には、組み合わせることができない箇所を図示する
ことを特徴とする請求項３に記載の情報処理装置。
【請求項５】
前記適合検証部は、
前記各アクセス制御設定データに含まれる各第１の設定データから、前記第１乃至第３の設定方針データ及び前記第８乃至第１０の設定方針データに記述されている利用者の識別情報に関する設定データを抽出し、
前記各アクセス制御設定データに含まれる各第２の設定データから、前記第４乃至第５の設定方針データ及び前記第１１乃至第１２の設定方針データに記述されている権限を示す情報に関する設定データを抽出し、
前記各アクセス制御設定データに含まれる各第３の設定データから、前記第６の設定方針データ及び前記第１３の設定方針データに記述されているプロセスグループの識別情報に関する設定データを抽出し、
前記各アクセス制御設定データに含まれる各第４の設定データから、前記第７の設定方針データ及び前記第１４の設定方針データに記述されているプロセスグループの識別情報に関する設定データを抽出し、
前記アクセス制御の設定方針に含まれる各設定方針データによる各対応付けが、前記抽出した各設定データを組み合わせて実現できるか否かにより、前記各アクセス制御の設定データが、前記アクセス制御の設定方針に適合するか否かの検証を行う
ことを特徴とする請求項２に記載の情報処理装置。
【請求項６】
前記権限、前記プロセスグループ、及び前記制御対象グループは、それぞれ、オペレーティングシステムのＴＥモデル及びＲＢＡＣモデルにおけるロール、ドメイン、及びタイプに相当することを特徴とする請求項２に記載の情報処理装置。
【請求項７】
コンピュータを利用する際に各利用者がアクセス可能な前記コンピュータの制御対象を定めたアクセス制御設定データを、前記コンピュータで実行されるプログラム毎に記憶するアクセス制御設定データ記憶部と、前記各アクセス制御設定データが満たすべきアクセス制御の設定方針を記憶するセキュリティポリシーデータ記憶部と、を備える情報処理装置の制御方法であって、
前記情報処理装置が、前記各アクセス制御設定データが前記アクセス制御の設定方針に適合するか否かの検証を行い、
前記情報処理装置が、前記検証の結果を出力する、
ことを特徴とする情報処理装置の制御方法。
【請求項８】
コンピュータを利用する際に各利用者がアクセス可能な前記コンピュータの制御対象を定めたアクセス制御設定データを、前記コンピュータで実行されるプログラム毎に記憶するアクセス制御設定データ記憶部と、前記各アクセス制御設定データが満たすべきアクセス制御の設定方針を記憶するセキュリティポリシーデータ記憶部と、を備える情報処理装置に、
前記各アクセス制御設定データが前記アクセス制御の設定方針に適合するか否かの検証を行う手順と、
前記検証の結果を出力する手順と、
を実行させるためのソフトウェア。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、コンピュータに対する利用者からのアクセスを制御する技術に関し、特にアクセスを制御するための設定データの検証を可能とする情報処理装置、情報処理装置の制御方法及びソフトウェアに関する。
【背景技術】
【０００２】
近年、システムのセキュリティを確保するための技術の一つとして、強制アクセス制御が注目されている。そしてシステムのOS（Operating System）の中には、この強制アクセス制御の機能をカーネルのモジュールに追加することにより、セキュリティ機能を高め、セキュアOSとして利用することができるものがある。
【０００３】
これらの強制アクセス制御を実装するモジュールはアクセス制御モデルと呼ばれるモデルに基づいており、近年はRBAC（Role-Based Access Control）モデルとTE（Type Enforcement）モデルと呼ばれるアクセス制御モデルが利用されている。
【０００４】
TEモデルとは、システム内のリソースにドメイン、またはタイプと呼ばれるラベル付けを行い、このドメインまたはタイプ間で許可するアクセスを設定する方式である。またRBACモデルとは、各ユーザにロール（役割）を割り当て、このロールに対し、TEモデルで割り当てたドメインの利用を設定する方式である。
【０００５】
これらの2つのアクセス制御モデルでは、通常のOSに比べてより細かくアクセスを制御することができるという長所をもつ。
【０００６】
RBACモデルとTEモデルを用いたアクセス制御は、システムのリソースにセキュリティ属性（ロール、ドメイン、タイプ）を付与し、このセキュリティ属性を用いてアクセスを制御する。一般に、システムのリソースは膨大な数で、かつ可変であるため、多くのシステムのアクセス制御の設定は利用するプログラムにサンプルとして提供されるアクセス制御の設定ファイルをシステムの環境毎に管理者が変更して設定している。
【０００７】
このような強制アクセス制御に関しては、様々な技術が開発されている（例えば特許文献１、特許文献２、非特許文献１、非特許文献２参照）。
【特許文献１】特開２０００−２０７３６３号公報
【特許文献２】特表２００４−５２９４０８号公報
【非特許文献１】Bill McCarty著  「SELINUX NSA’s Open Source Secure Enhanced Linux」O’REILLY社出版  ２００４年pp.95−pp.149
【非特許文献２】Dorothy Elizabeth Robeling Denning著  「Cryptography and Data Security 」Addison-Wesley社出版  １９８２年pp.191−pp.207
【発明の開示】
【発明が解決しようとする課題】
【０００８】
このように、RBACモデルとTEモデルを利用するシステムの強制アクセス制御の設定では、利用するプログラムにサンプルとして添付されるアクセス制御の設定ファイルを参考に、プログラムのテスト運用、および運用結果を出力したログの分析結果に基づいて、プログラム毎にアクセス制御の設定ファイルを設計している。そのため、システムのアクセス制御の設定ファイルがプログラム毎に別れて存在し、システム全体のアクセス制御の設定が適切であることを保証することが困難である。  
例えば、あるファイルへあるユーザからのアクセスを禁止するため、ユーザが利用できるあるプログラムからのアクセスを禁止したとしても、ユーザは起動可能な別のプログラムを経由してアクセスできるかもしれない。  
そのため、個々のアクセス制御の設定ファイルを正しく設定する他に、システム全体のアクセス制御の設定が適切であることを確認することが重要である。したがって、複数のアクセス制御の設定ファイルに基づくシステムのアクセス制御の設定を横断的に検証し、システム全体のアクセス制御の設定が適切であることを保証することが重要になる。
【０００９】
本発明は上記課題を鑑みてなされたものであり、ユーザからのアクセスを制御するための設定データの検証を可能とする情報処理装置、情報処理装置の制御方法及びソフトウェアを提供することを主たる目的とする。
【課題を解決するための手段】
【００１０】
上記課題を解決するために、本発明は、コンピュータを利用する際に各利用者がアクセス可能な前記コンピュータの制御対象を定めたアクセス制御設定データを、前記コンピュータで実行されるプログラム毎に記憶するアクセス制御設定データ記憶部と、前記各アクセス制御設定データが満たすべきアクセス制御の設定方針を記憶するセキュリティポリシーデータ記憶部と、前記各アクセス制御設定データが、前記アクセス制御の設定方針に適合するか否かの検証を行う適合検証部と、前記検証の結果を出力する検証結果出力部と、を備えることを特徴とする情報処理装置に関する。
【００１１】
その他、本願が開示する課題、及びその解決方法は、発明を実施するための最良の形態の欄、及び図面により明らかにされる。
【発明の効果】
【００１２】
本発明によれば、システムに設定されたアクセス制御の設定が適切であるかを検証することができる。
【発明を実施するための最良の形態】
【００１３】
以下、図面を参照しながら本実施形態を説明する。
【００１４】
本実施形態において、アクセス制御の設定ファイル（特許請求の範囲に記載のアクセス制御設定データに相当する）とは、コンピュータを利用する際に各利用者がアクセス可能なコンピュータの制御対象を定めた設定データであり、たとえばTEモデルとRBACモデルに基づく、アクセス制御の設定ファイルを指す。またここでコンピュータの制御対象には、他のコンピュータと通信をするためのポート番号やネットワークインタフェース、ＩＰアドレス、あるいはディレクトリやファイル等のファイルシステム、メモリやハードディスク装置等のハードウェア資源、その他コンピュータが情報処理に用いるあらゆるシステム資源が含まれる。
【００１５】
また、セキュリティポリシーファイル（特許請求の範囲に記載のアクセス制御の設定方針に相当する）とは、プログラム毎に設定される各アクセス制御の設定ファイルが満たすべき、アクセス制御の設定方針が記述されるデータであり、利用者からのアクセスの許可または禁止などに関してシステム全体としての方針を設定したファイルを指す。これらのファイルにおけるアクセスの設定では、RBACモデルおよびTEモデルに基づくセキュリティ属性を利用することができる。
【００１６】
＝＝＝全体構成＝＝＝
図１は、本実施形態におけるシステムの概略図である。本実施形態に関するシステムは、クライアント装置１と、サーバ装置（特許請求の範囲に記載の情報処理装置に相当する）２とがネットワーク３で通信可能に接続されて構成される。  
クライアント装置１は、アクセス制御を設定するためのアクセス制御の設定ファイルと、アクセス制御の設定ファイルの設定内容に課す条件を設定したセキュリティポリシーファイルを保持する。  
サーバ装置２は、クライアント装置１が提供するアクセス制御の設定ファイルに関するテーブルを作成し、提供されたアクセス制御の設定ファイルがセキュリティポリシーファイルを満たすかを検証する。なお、図１におけるクライアント装置１の機能が、サーバ装置２に含まれるようにし、クライアント装置１を設けない構成とすることもできる。
【００１７】
＝＝＝クライアント装置＝＝＝
図２はクライアント装置１の概略構成図である。クライアント装置１は、ＣＰＵ（Central Processing Unit）１１、記憶装置１２がインタフェース１３を経由して、通信装置１４、入力装置１５、出力装置１６と接続して構成される。  
ＣＰＵ１１はクライアント装置１の全体の制御を司るもので、記憶装置１２に記憶される本実施の形態に係る各種の動作を行うためのコードから構成される登録依頼ＰＧ（プログラム）111、検証依頼ＰＧ112、結果受信ＰＧ113を実行することにより、クライアント装置１としての各種機能を実現する。  
記憶装置１２は、セキュリティポリシーファイル（以下、SPFと略す）101、アクセス制御の設定ファイル102、登録依頼ＰＧ111、検証依頼ＰＧ112、結果受信ＰＧ113を格納している。
【００１８】
アクセス制御の設定ファイル102は、単数または複数のファイルから構成され、RBACモデルとTEモデルに基づく強制アクセス制御を設定している。図５に、アクセス制御の設定ファイル102の例を示す。アクセス制御の設定ファイル102には、プログラムを起動するユーザ名（利用者の識別情報）とそのユーザに付与されるロールを示す情報とを対応付けた第１の設定データと、ロールを示す情報とそのロールが与えられたユーザがプログラムを起動することによって生成されるプロセスが所属するドメイン名（各プロセスをグループ化してなるプロセスグループの識別情報）とを対応付けた第２の設定データと、ドメイン名とそのドメインから遷移できるドメイン名（プロセスにより生成されるプロセスが所属するプロセスグループの識別情報）とを対応付けた第３の設定データと、ドメイン名と、そのドメインに所属するプロセスが制御可能なタイプ（コンピュータの制御対象が所属する、各制御対象をグループ化してなる制御対象グループ）の識別情報と、を対応付けた第４の設定データと、を含む。
【００１９】
次にSPF101の概略図を図４に示す。SPF101には、番号1010、要求1011、サブジェクト1012、オブジェクト1013、アクセスモード1014の要素から構成される。番号1010は、要求1011、サブジェクト1012、オブジェクト1013、アクセスモード1014の各要素の組を管理するための番号1010であり、番号1010は他の要素のインデックスの役割を果たすことができる。要求1011は、サブジェクト1012からオブジェクト1013へのアクセスモード1014に関する条件であり、許可、拒否、無視のいずれかを設定する。サブジェクト1012には、ユーザ、プロセスの設定や、またこれらのセキュリティ属性であるロール、ドメインを設定することができる。オブジェクト1013には、システムのリソースまたはセキュリティ属性であるロール、ドメイン、タイプを設定することができる。アクセスモード1014には、サブジェクト1012からオブジェクト1013へのread、write、append、search、send、receiveなどのアクセス方法と、RBACとTEモデルに基づくドメイン遷移と組み合わせて設定することができる。
【００２０】
上記の要求1011、サブジェクト1012、オブジェクト1013、アクセスモード1014の各要素の組み合わせにより、SPF111には、コンピュータのユーザ名と、そのユーザに付与可能なロールを示す情報とを対応付けた第１の設定方針データと、コンピュータのユーザ名と、そのユーザが起動したプログラムの実行に伴って生成されるプロセスが所属可能なドメイン名とを対応付けた第２の設定方針データと、コンピュータのユーザ名と、そのユーザが起動したプログラムの実行に伴って生成されるプロセスが制御可能なタイプとを対応付けた第３の設定方針データと、ロールを示す情報と、そのロールを有するユーザが起動したプログラムの実行に伴って生成されるプロセスが所属可能なドメイン名とを対応付けた第４の設定方針データと、ロールを示す情報と、そのロールを有するユーザが起動したプログラムの実行に伴って生成されるプロセスが制御可能なタイプとを対応付けた第５の設定方針データと、ドメイン名と、そのドメインから遷移可能なドメイン名（そのドメインのプロセスを起点として順次生成されるいずれかのプロセスが所属可能なドメイン名）とを対応付けた第６の設定方針データと、ドメイン名と、そのドメインに所属するプロセスが制御可能なタイプとを対応付けた第７の設定方針データと、コンピュータのユーザ名と、そのユーザに付与することが禁止されるロールを示す情報とを対応付けた第８の設定方針データと、コンピュータのユーザ名と、そのユーザが起動したプログラムの実行に伴って生成されるプロセスが所属することが禁止されるドメイン名とを対応付けた第９の設定方針データと、コンピュータのユーザ名と、そのユーザが起動したプログラムの実行に伴って生成されるプロセスによる制御が禁止されるタイプとを対応付けた第１０の設定方針データと、ロールを示す情報と、そのロールを有するユーザが起動したプログラムの実行に伴って生成されるプロセスが所属することが禁止されるドメイン名とを対応付けた第１１の設定方針データと、ロールを示す情報と、そのロールを有するユーザが起動したプログラムの実行に伴って生成されるプロセスによる制御が禁止されるタイプとを対応付けた第１２の設定方針データと、ドメイン名、どのドメインから遷移することが禁止されるドメイン名（そのドメインに所属するプロセスを起点として順次生成されるいずれのプロセスも所属することが禁止されるドメイン名とを対応付けた第１３の設定方針データと、ドメイン名と、そのドメインに所属するプロセスによる制御が禁止されるタイプとを対応付けた第１４の設定方針データと、の少なくともいずれかが含まれる。
【００２１】
登録依頼ＰＧ111は、ネットワーク３を介し、サーバ装置２へアクセス制御の設定ファイル102の登録を依頼することができる。検証依頼ＰＧ112は、ネットワーク３を介し、サーバ装置２へアクセス制御の設定ファイル102の検証を依頼することができる。結果受信ＰＧ113は、ネットワーク３を介し、サーバ装置２から送信されるデータ、例えば上記検証結果やアクセス制御の設定ファイル102の登録結果、を受信することができる。
【００２２】
入力装置15はクライアント装置１のデータ入力等のために用いられる装置でありユーザインタフェースとして機能する。入力装置15としては例えばキーボードやマウス等を用いることができる。
【００２３】
出力装置16は情報を外部に出力するための装置でありユーザインタフェースとして機能する。出力装置16としては例えばディスプレイやプリンタ等を用いることができる。
【００２４】
通信装置14は通信を行うための装置である。例えばネットワーク３を介して行われる、サーバ装置２等の他のコンピュータとの通信は、通信装置14を介して行われるようにすることができる。また例えば、登録依頼ＰＧ111や検証依頼ＰＧ112、結果受信ＰＧ113、アクセス制御の設定ファイル102、SPF101を通信装置14を通じて他のコンピュータからネットワーク３を介して受信して、記憶装置12に記憶するようにすることもできる。
【００２５】
＝＝＝サーバ装置＝＝＝
図３はサーバ装置２の概略構成図である。サーバ装置２は、ＣＰＵ２１、記憶装置２２がインタフェース２３を経由して、通信装置２４、入力装置２５、出力装置２６と接続している。
【００２６】
ＣＰＵ21はサーバ装置２の全体の制御を司るもので、記憶装置22に記憶される本実施の形態に係る各種の動作を行うためのコードから構成される登録受付ＰＧ211、登録実行ＰＧ212、検証受付ＰＧ213、検証実行ＰＧ214、結果送信ＰＧ215を実行することにより、サーバ装置２としての各種機能を実現する。例えばＣＰＵ21により登録受付ＰＧ211、登録実行ＰＧ212、検証受付ＰＧ213、検証実行ＰＧ214、結果送信ＰＧ215が実行され、記憶装置２やインタフェース23、通信装置24、入力装置25、出力装置26等のハードウェア機器と協働することにより、特許請求の範囲に記載のアクセス制御設定データ記憶部、セキュリティポリシーデータ記憶部、適合検証部、検証結果出力部が実現される。なお、登録受付ＰＧ211、登録実行ＰＧ212、検証受付ＰＧ213、検証実行ＰＧ214、結果送信ＰＧ215は、特許請求の範囲に記載のソフトウェアに相当する。
【００２７】
記憶装置22は、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204、登録受付ＰＧ211、登録実行ＰＧ212、検証受付ＰＧ213、検証実行ＰＧ214、結果送信ＰＧ215を格納している。
【００２８】
ロール遷移テーブル201を図６に示す。ロール遷移テーブル201には、各アクセス制御の設定ファイル102に記憶される設定データのうち、コンピュータのユーザ名と、そのユーザに付与されるロールを示す情報と、を対応付けた第１の設定データが記憶される。
【００２９】
ロール定義テーブル202を図７に示す。ロール定義テーブル202には、各アクセス制御の設定ファイル102に記憶される設定データのうち、ロールを示す情報と、そのロールを有するユーザがプログラムを起動することによって生成されるプロセスが所属するドメイン名と、を対応付けた第２の設定データが記憶される。
【００３０】
ドメイン遷移テーブル203を図８に示す。ドメイン遷移テーブル203には、各アクセス制御の設定ファイル102に記憶される設定データのうち、ドメイン名と、そのドメインから遷移可能なドメイン名と、を対応付けた第３の設定データが記憶される
ドメイン定義テーブル204を図９に示す。ドメイン定義テーブル204には、各アクセス制御の設定ファイル102に記憶される設定データのうち、ドメイン名と、そのドメインに所属するプロセスが制御可能なタイプと、を対応付けた第４の設定データが記憶される。また、ドメインとタイプで許可されているアクセスモード2043もドメイン定義テーブル204に登録される。なおアクセスモード2043は、アクセスベクタとも呼ばれる。
【００３１】
登録受付ＰＧ211は、ネットワーク３を介し、クライアント装置１から、アクセス制御の設定ファイル102及びSPF101の登録を受け付けることができる。登録実行ＰＧ212は、ネットワーク３を介し、クライアント装置１から登録を受け付けたアクセス制御の設定ファイル102を、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204へ、登録することができる。検証受付ＰＧ213は、ネットワーク３を介し、クライアント装置１から、各アクセス制御の設定ファイル102が、SPF101に適合するか否かの検証依頼を受け付けることができる。検証実行ＰＧ214は、ネットワーク３を介しクライアント装置１から受け付けた検証依頼に従って、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204に基づいて、各アクセス制御の設定ファイル102がSPF101に適合するか否かの検証を行う。結果送信ＰＧ215は、ネットワーク３を介し、クライアント装置１へ、アクセス制御の設定ファイル102の登録結果や検証結果を送信することができる。
【００３２】
入力装置25はサーバ装置２のデータ入力等のために用いられる装置でありユーザインタフェースとして機能する。入力装置25としては例えばキーボードやマウス等を用いることができる。  
出力装置26は情報を外部に出力するための装置でありユーザインタフェースとして機能する。出力装置26としては例えばディスプレイやプリンタ等を用いることができる。  
通信装置24は通信を行うための装置である。例えばネットワーク３を介して行われる、クライアント装置１等の他のコンピュータとの通信は、通信装置24を介して行われるようにすることができる。また例えば、登録受付ＰＧ211や登録実行ＰＧ212、検証受付ＰＧ213、検証実行ＰＧ214、結果送信ＰＧ215を、通信装置24を通じて他のコンピュータからネットワーク３を介して受信して、記憶装置22に記憶するようにすることもできる。
【００３３】
＝＝＝処理の流れ＝＝＝
＜アクセス制御の設定ファイルの登録処理＞
図１１に、サーバ装置２がクライアント装置１から登録を依頼されたアクセス制御の設定ファイル102をテーブルとして登録する処理の流れを示す。クライアント装置１は、登録依頼ＰＧ111を実行し、登録するアクセス制御の設定ファイル102と登録依頼メッセージを、サーバ装置２に送信する（s111）。そうするとサーバ装置２は、登録受付ＰＧ211を実行し、登録するアクセス制御の設定ファイル102と登録依頼メッセージを受信する（s112）。
【００３４】
次にサーバ装置２は、登録実行ＰＧ212を実行し、受信したアクセス制御の設定ファイル102に基づき、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204などの各種テーブルを登録し、登録終了メッセージを作成する（S113）。そしてサーバ装置２は、結果送信ＰＧ215を実行し、登録終了メッセージをクライアント装置１に送信する（s114）。  
クライアント装置１は、結果受信ＰＧ113を実行し、サーバ装置２から登録終了メッセージを受信する（s115）。
【００３５】
図１３に、s113において、サーバ装置２がアクセス制御の設定ファイル102を、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204などの各種テーブルに登録する処理の流れを詳細に示す。
【００３６】
まずサーバ装置２は、登録実行ＰＧ212を実行し、登録依頼を受け付けたアクセス制御の設定ファイル102にユーザからロールの設定が含まれているかを確認し、設定が含まれていればs1111へ、そうでなければs1120へ進む（s1110）。  
アクセス制御の設定ファイル102にユーザからロールの設定が含まれている場合には、サーバ装置２は、アクセス制御の設定ファイル102からユーザの設定を取得する（s1111）。そしてサーバ装置２は、取得したユーザから利用できるロールをアクセス制御の設定ファイル102より取得し（s1112）、ロール遷移テーブル201として作成し（s1113）、登録する（s1114）。ロール遷移テーブル201には、図６に示したように、行に取得したユーザを、列に取得したユーザから利用できるロールを設定する。
【００３７】
次にサーバ装置２は、登録依頼を受け付けたアクセス制御の設定ファイル102にロールからドメインへの遷移が設定されていればs1121へ、そうでなければs1130へ進む（s1120）。  
アクセス制御の設定ファイル102にロールからドメインへの遷移が設定されている場合には、サーバ装置２は、登録依頼を受け付けたアクセス制御の設定ファイル102から設定されたロールを取得する（s1121）。そしてサーバ装置２は、取得したロールから遷移できるドメインをアクセス制御の設定ファイル102から取得し（s1122）、ロール定義テーブル202として作成し（s1123）、登録する（s1124）。ロール定義テーブル202には、図７に示したように、行には取得したロールを、列には取得したロールから遷移できるドメインを設定する。
【００３８】
次にサーバ装置２は、登録依頼を受け付けたアクセス制御の設定ファイル102にドメイン遷移の設定が含まれていればs1131へ、そうでなければs1140へ進む（s1130）。  
アクセス制御の設定ファイル102にドメイン遷移の設定が含まれている場合には、サーバ装置２は、ロール定義テーブル202とアクセス制御の設定ファイル102から、設定されたドメインを取得する（s1131）。そしてサーバ装置２は、アクセス制御の設定ファイル102から、取得したドメインよりドメイン遷移が許可されているドメインを取得し（s1132）、図８に示したように、ドメイン遷移テーブル203として、ドメイン遷移の元のドメインをテーブルの行に、ドメイン遷移の先のドメインをテーブルの列に設定する(s1133)。
【００３９】
またサーバ装置２は、s1132で取得したドメインから新たにドメイン遷移が可能であるかを調べる。s1132で新たにドメインを取得した場合はs1132へ戻り、s1132で新たにドメインを取得しなかった場合はs1135へ進み(s1134)、ドメイン遷移テーブル203を登録する(s1135)。
【００４０】
次にサーバ装置２は、登録依頼を受け付けたアクセス制御の設定ファイル102にドメインからタイプへのアクセスモード1014の設定が含まれていればs1141へ、そうでなければs1150へ進む（s1140）。
【００４１】
アクセス制御の設定ファイル102にドメインからタイプへのアクセスモード1014の設定が含まれている場合には、サーバ装置２は、ドメイン遷移テーブル203またはアクセス制御の設定ファイル102からアクセス元のドメインを取得し（s1141）、次いでアクセス先のドメインまたはタイプを取得し（s1142）、これらのドメインからドメインまたはタイプへの設定が許可されたアクセスモード1014を取得する（s1143）。そしてサーバ装置２は、図９に示したように、ドメイン定義テーブル204に、s1141で取得したドメインを行に、s1142で取得したドメインまたはタイプを列に、s1141で取得したドメインからs1142に取得したドメインまたはタイプに許可されるアクセスモード1014を対応するテーブルのセルに設定し（s1144）、登録する（s1145）。
【００４２】
なお、これらの各種テーブルの登録処理（s1110〜s1145）は、テーブルの登録順序を入れ替えてもよく、また並行して進めても良い。
【００４３】
次に、サーバ装置２は、結果送信ＰＧ215を実行し、クライアント装置１へテーブルの登録が終了したことを知らせるため、登録終了メッセージを作成する（s1150）。
【００４４】
＜検証処理＞
図１２に、クライアント装置１から、サーバ装置２がSPF101を受信し、管理するテーブルを基にアクセス制御の設定ファイル102を検証を実施する処理の流れを示す。クライアント装置１は、登録依頼ＰＧ111を実行し、SPF101と検証依頼メッセージを、サーバ装置２に送信する（s121）。そうするとサーバ装置２は、検証受付ＰＧ213を実行し、SPF101と検証依頼メッセージを受信する（s122）。そしてサーバ装置２は、検証実行ＰＧ214を実行し、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204にそれぞれ記載されているアクセス制御の各設定データがSPF101に適合するか否かの検証を行い、検証結果を検証終了メッセージとして作成する（s123）。サーバ装置２は、結果送信ＰＧ215を実行し、検証終了メッセージをクライアント装置１に送信する（s124）。クライアント装置１は、結果受信ＰＧ113を実行し、サーバ装置２から、検証終了メッセージを受信する（s125）。
【００４５】
図１４に、s123において、サーバ装置２が、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204に記載されたアクセス制御の各設定データがSPF101に適合するか否かを検証する処理の流れを詳細に示す。
【００４６】
まずサーバ装置２は、検証実行ＰＧ214を実行し、SPF101の対応する番号1010を取得し(s1200)、それぞれの番号1010から引き出せる要求1011、サブジェクト1012、オブジェクト1013、アクセスモード1014の組を取得し(s1201)、以下のs1203から始まる手続きを全ての番号1010で実施する(s1202)。
【００４７】
次にサーバ装置２は、SPF101の要求1011を確認し、許可または拒否の設定が含まれている場合はs1204へ進み、無視と設定されている場合はその要素の組はs1204以降の処理の対象としない。また、全ての要求1011が無視と設定されている場合はs1250へと進む。
【００４８】
SPF101の要求欄1011に、許可または拒否の設定が含まれている場合は、サーバ装置２は、SPF101のサブジェクト1012を確認し、ユーザが含まれていればs1211へ進み、そうでなければs1220へ進む（s1204）。  
SPF101のサブジェクト欄1012にユーザが含まれている場合には、サーバ装置２は、SPF101のサブジェクト1012においてユーザを取得し（s1211）、ロール遷移テーブル201からユーザが利用できるロールを取得する（s1212）。
【００４９】
そしてサーバ装置２は、SPF101のオブジェクト1013にロールが含まれているかを確認し、ロールが含まれていればs1214へそうでなければs1222へ進む（s1213）。
【００５０】
SPF101のオブジェクト欄1013に、ロールが含まれている場合には、サーバ装置２は、第１の検証を行い、s1212で取得したロールとSPF101を比較してユーザとロールとの関係をチェックする。具体的には、SPF101の要求欄1011に「許可」が設定されており、s1212で取得したロールがSPF101のオブジェクト1013に含まれている場合には検証結果は問題なしと判定し、そうでなければ検証結果は問題ありと判定し、s1250へと進む（s1213）。また、SPF101の要求欄1011に「禁止」が設定されており、s1212で取得したロールがSPF101のオブジェクト1013に含まれている場合には検証結果は問題ありと判定し、そうでなければ検証結果は問題なしと判定し、s1250へと進む（s1213）。
【００５１】
S1204において、SPF101のサブジェクト欄1012にユーザが含まれていない場合には、サーバ装置２は、SPF101のサブジェクト1012を確認し、ロールが含まれていればs1221へ進み、そうでなければs1231へ進む（s1220）。
【００５２】
SPF101のサブジェクト欄1012にロールが含まれている場合には、サーバ装置２は、SPF101のサブジェクト1012においてロールを取得する（s1221）。そしてサーバ装置２は、ロール定義テーブル202から、s1221で取得したロールが遷移できるドメインを取得する（s1222）。またサーバ装置２は、s1213においてSPF101のオブジェクト欄1013に、ロールが含まれていなかった場合には、s1212で取得したロールが遷移できるドメインを取得する（s1222）。
【００５３】
またサーバ装置２は、s1220においてSPF101のサブジェクト欄1012にロールが含まれていなかった場合には、s1231において、SPF101のサブジェクト欄1012にプロセスが設定されている場合は対応するドメインをアクセス制御の設定ファイル102から取得する（s1231）。またSPF101のサブジェクト1012にドメインが設定されている場合はこのドメインを取得する（s1231）。
【００５４】
続いてサーバ装置２は、ドメイン遷移テーブル203より、s1222またはs1231で取得したドメインから遷移できるドメインを取得する（s1232）。また新たにドメインを取得した場合は、それらのドメインから遷移できるドメインがあるかをドメイン遷移テーブル203で確認し（s1233）、遷移できるドメインがある場合は、新たにドメインを取得できなくなるまでこれを繰り返す(s1234)。
【００５５】
そしてサーバ装置２は、SPF101のオブジェクト1013に、ドメインが含まれているかを確認し、ドメインが含まれていればs1236へそうでなければs1240へ進む（s1235）。
【００５６】
SPF101のオブジェクト欄1013に、ドメインが含まれている場合には、サーバ装置２は、第２の検証を行い、s1222またはs1231、s1232、s1234で取得したドメインを、SPF101を用いてチェックし、ユーザとドメインとの関係、ロールとドメインとの関係、あるいはドメインとドメインとの関係を検証する。具体的には、SPF101の要求欄1011に「許可」が設定されており、s1222またはs1231、s1232、s1234で取得したドメインがSPF101のオブジェクト1013に含まれている場合には検証結果は問題なしと判定し、そうでなければ検証結果は問題ありと判定し、s1250へと進む（s1236）。また、SPF101の要求欄1011に「禁止」が設定されており、s1222またはs1231、s1232、s1234で取得したドメインがSPF101のオブジェクト1013に含まれている場合には検証結果は問題ありと判定し、そうでなければ検証結果は問題なしと判定し、s1250へと進む（s1236）。
【００５７】
S1235において、SPF101のオブジェクト欄1013に、ドメインが含まれていない場合には、サーバ装置２は、s1222またはs1231、s1232、s1234で取得したドメインから、ドメイン定義テーブル204より、設定されているアクセスモード1014を取得する（s1240）。次いで、s1241において、サーバ装置２は、SPF101のオブジェクト1013にリソース（ただし、プロセスを除く）が設定されている場合はこのタイプをアクセス制御の設定ファイル102から取得し、SPF101のオブジェクト1013にタイプが設定されている場合はこのタイプを取得する（s1241）。
【００５８】
次いでサーバ装置２は第３の検証を行う（s1242）。サーバ装置２は、s1240で取得したアクセスモード1014とs1241で取得したタイプを、SPF101を用いてチェックし、ユーザとタイプ、ロールとタイプ、あるいはドメインとタイプの関係を検証する。
【００５９】
具体的には、SPF101の要求欄1011に「許可」が設定されており、s1241で取得したタイプがSPF101のオブジェクト1013に含まれ、かつs1240で取得したアクセスモード1014がSPF101のアクセスモード1014に含まれている場合には検証結果は問題なしと判定し、そうでなければ検証結果は問題ありと判定し、s1250へと進む（s1242）。また、SPF101の要求1011に「禁止」が設定されており、s1241で取得したタイプがSPF101のオブジェクト1013に含まれ、かつs1240で取得したアクセスモード1014がSPF101のアクセスモード1014に含まれている場合には検証結果は問題ありと判定し、そうでなければ検証結果は問題なしと判定し、s1250へと進む（s1242）。
【００６０】
第１の検証、第２の検証、又は第３の検証が終了すると、サーバ装置２は、検証終了メッセージを作成する（s1250）。そしてs1200で取得した番号1010全てにs1203からなる手続きが終了したかを確認して処理を終了する(s1251)。
【００６１】
＜検証結果の出力＞
図１０に検証終了メッセージの構成を示す。検証終了メッセージは、検証結果を示す検証結果表示部と、SPF101とアクセス制御の設定ファイル102の分析結果を示す分析結果表示部からなる。
【００６２】
検証結果表示部には、SPF101の番号1010毎に検証結果を表示する。  
分析結果表示部は、システムのリソースに関するリソース管理部とRBACモデルとTEモデルに基づくセキュリティ属性に関するセキュリティ属性管理部からなる。リソース管理部には、SPF101に含まれる各設定方針データによる各対応付けが図示され、セキュリティ属性管理部には、上記対応付けが、アクセス制御の設定ファイル102に記載されている第１乃至第４の各設定データを組み合わせて図示される。
【００６３】
つまり、リソース管理部は、SPF101のサブジェクト1012またはオブジェクト1013に設定されたユーザまたはリソースをリソース管理部に設定する。これらのリソース管理部に設定されたユーザまたはリソースは、セキュリティ属性管理部によって設定されたセキュリティ属性との関係（これを、セキュリティ属性の階層関係と呼ぶ）を表示する。
【００６４】
またセキュリティ属性管理部は、ロール、ドメイン、タイプから構成され、これらのセキュリティ属性の階層関係が示される。例えば、ロールから遷移が可能なドメインが表示され、ドメインからドメイン遷移が可能な他のドメインが表示され、そのドメインからアクセスが可能なタイプがアクセスモード1014共に表示される。
【００６５】
これらのセキュリティ属性と、リソース管理部によって設定されたユーザまたはリソースとの関係を表示する。例えば、ユーザが利用可能なロール、プロセスのドメイン、ファイルのタイプ等を表示する。なお分析結果表示部は、検証結果表示部を例えばマウスを用いてクリックすることにより、表示させるようにすることもできる。
【００６６】
さらに、SPF101の検証にて要求1011が問題有りと判断された要求には、その原因となるアクセス制御の設定箇所を、分析結果表示部において図示するようにすることもできる。上述のように、要求1011が問題有りと判断されるのは、要求欄1011が許可と記載されているSPF101の対応付けを、アクセス制御の設定ファイル102に含まれる第１乃至第４の対応付けを組み合わせて実現することができない場合や、要求欄1011が拒否と記載されているSPF101の対応付けを、アクセス制御の設定ファイル102に含まれる第１乃至第４の対応付けを組み合わせて実現することができてしまう場合である。そして前者の場合においては、SPF101の各対応付けを、アクセス制御の設定ファイル102に含まれる第１乃至第４の対応付けを組み合わせて実現することができない箇所、後者の場合においては、SPF101の各対応付けを、アクセス制御の設定ファイル102に含まれる第１乃至第４の対応付けを組み合わせて実現することができてしまう箇所、を分析結果表示部において図示するようにすることができるのである。
【００６７】
このような原因箇所の表示は、例えば、検証結果欄から分析結果表示部にリンクを張り、アクセス制御の設定ファイル102から取得したセキュリティ属性の階層関係を利用して図示することができる。アクセス制御の設定ファイル102から取得したセキュリティ属性の階層関係がSPF101の要求1011では禁止と設定されている場合には、分析結果表示部にセキュリティ属性の階層関係で問題となる箇所の候補を表示する。またこの時、セキュリティ属性の階層関係により、禁止すべき候補が１つ以上ある場合には、何らかの基準を設けて出力する分析結果を絞っても良い。例えば、セキュリティ属性の階層関係の変更が少ない順に示してもよく、また、オブジェクト1013とのアクセスの設定が最短になるように候補を表しても良い。また、禁止すべき候補が多すぎる場合には、表示する候補に制限数を設けてもよい。
【００６８】
このように問題箇所を図示することによって、セキュリティの抜けを一目瞭然に把握することができるようになる。また修正候補を表示することによって、問題点に対する対処が確実に行えるようになる。さらにシステム管理者の作業負担を軽減することも可能となる。
【００６９】
図１０では、ロール、ドメイン、タイプのセキュリティ属性の階層関係を矢印によって示している。特に、点線で記述された矢印は、SPF101に設定されている要求1011を満たすために、アクセスの禁止候補であることを示している。
【００７０】
アクセス制御の設定ファイル102から取得したセキュリティ属性の階層関係がSPF101の要求1011では許可と設定されている場合、分析結果表示部にセキュリティ属性の階層関係で関係する箇所の候補を表示しても良い。例えば、図１０のように矢印を用いてセキュリティ属性の階層関係を示し、SPF101に設定されたオブジェクト1013とセキュリティ属性の階層関係が無いことを示してもよい。また、表示するセキュリティ属性の階層関係を少なくするように候補を決めてもよい。
【００７１】
分析結果表示部は、セキュリティ属性の階層関係の表示を、文章、表、図などを用いて示しても良い。また、検証結果の成否により、表示を変えても良い。例えば、検証が成功した場合には分析結果を表示せず、検証が失敗した場合にのみ分析結果を表示するようにしても良い。さらに、SPF101の要求1011が１つでも失敗した場合、失敗したSPF101の要求1011の分析結果を表示するようにしても良い。
【００７２】
上記の実施の形態においては、クライアント装置１がサーバ装置２にアクセス制御の設定ファイル102を送信し、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204を登録してから、SPF101をクライアント装置１からサーバ装置２に送信する場合について説明したが、クライアント装置１がサーバ装置２にSPF101をアクセス制御の設定ファイル102と同時、あるいはそれより前に登録するようにしても良い。以下詳細に説明する。このようにすることにより、サーバ装置２は、アクセス制御の設定ファイル102の登録の際にSPF101を用いることにより、登録するテーブルのサイズをSPF101に関係する部分に限定することができるようになる。
【００７３】
本実施形態におけるシステムの各装置の構成は、上記実施形態と同様であるが、アクセス制御の設定ファイル102の登録とSPF101の検証では、その処理が異なる。
【００７４】
＜登録処理＞
図１５に、サーバ装置２がアクセス制御の設定ファイル102とSPF101を用い、テーブルへ登録する流れを示す。クライアント装置１は、登録依頼ＰＧ111を実行し、SPF101、登録するアクセス制御の設定ファイル102と登録依頼メッセージを、サーバ装置２に送信する（s211）。そうするとサーバ装置２は、登録受付ＰＧ211を実行し、SPF101、登録するアクセス制御の設定ファイル102と登録依頼メッセージを受信する（s212）。
【００７５】
サーバ装置２は、登録実行ＰＧ212を実行し、受信したSPF101とアクセス制御の設定ファイル102に基づき、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204などの各種テーブルを登録し、登録終了メッセージを作成する（s213）。  つまり、サーバ装置２は、各アクセス制御の設定ファイル102に含まれる各第１の設定データから、SPF101に含まれる第１乃至第３の設定方針データ及び第８乃至第１０の設定方針データに記述されているユーザに関する設定データのみを抽出してロール遷移テーブル201に登録し、各アクセス制御の設定ファイル102に含まれる各第２の設定データから、SPF101に含まれる第４乃至第５の設定方針データ及び第１１乃至第１２の設定方針データに記述されているロールを示す情報に関する設定データのみを抽出してロール定義テーブル202に登録し、各アクセス制御の設定ファイル102に含まれる各第３の設定データから、SPF101に含まれる第６の設定方針データ及び第１３の設定方針データに記述されているドメイン名に関する設定データのみを抽出してドメイン遷移テーブル203に登録し、各アクセス制御の設定ファイル102に含まれる各第４の設定データから、SPF101に含まれる第７の設定方針データ及び第１４の設定方針データに記述されているドメイン名に関する設定データのみを抽出してドメイン定義テーブル204に登録する。
【００７６】
そしてサーバ装置２は結果送信ＰＧ215を実行し、登録終了メッセージをクライアント装置１に送信する（s214）。クライアント装置１は、結果受信ＰＧ113を実行し、サーバ装置２から登録終了メッセージを受信する（s215）。
【００７７】
図１７に、s213において、サーバ装置２がSPF101を用い、アクセス制御の設定ファイル102をロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204などの各種テーブルに登録する流れを詳細に示す。
【００７８】
まずサーバ装置２は、登録実行ＰＧ214を実行し、SPF101の対応する番号1010を取得し(s2100)、それぞれの番号1010から引き出せる要求1011、サブジェクト1012、オブジェクト1013、アクセスモード1014の組を取得し(s2101)、以下のs2103から始まる手続きを実施する(s2102)。
【００７９】
サーバ装置２は、SPF101の要求1011を確認し、許可または拒否の設定が含まれていればs2110へ進み、無視と設定されている要素の組はs2110以降の処理の対象としない。また、SPF101の要求1011に無視と設定されている場合は、その要素は以下s2110の処理の対象としない（s2103）。
【００８０】
サーバ装置２は、SPF101のサブジェクト1012に、ユーザが含まれているかを確認し、設定が含まれていればs2111へ、そうでなければs2120へ進む（s2110）。
【００８１】
SPF101のサブジェクト1012にユーザが含まれている場合には、サーバ装置２は、アクセス制御の設定ファイル102からユーザの設定を取得する（s2111）。次に、サーバ装置２は、取得したユーザから利用できるロールをアクセス制御の設定ファイル102より取得し（s2112）、ロール遷移テーブル201として作成し（s2113）、登録する（s2114）。ロール遷移テーブル201には、行に取得したユーザを、列に取得したユーザから利用できるロールを設定する。
【００８２】
次にサーバ装置２は、SPF101のサブジェクト1012にロールが含まれているかを確認し、設定が含まれている、あるいはロール遷移テーブル201を設定した場合にはs2121へ、それ以外ではs2130へ進む（s2120）。
【００８３】
SPF101のサブジェクト1012にロールが含まれているか、あるいはロール遷移テーブル201を設定した場合には、サーバ装置２は、アクセス制御の設定ファイル102からロールの設定を取得する（s2121）。次に、サーバ装置２は、取得したロールから遷移できるドメインをアクセス制御の設定ファイル102より取得し（s2122）、ロール定義テーブル202として作成し（s2113）、登録する（s2114）。ロール定義テーブル202には、行に取得したロールを、列に取得したロールから遷移できるドメインを設定する。
【００８４】
次にサーバ装置２は、SPF101のサブジェクト1012を確認し、プロセスまたはドメインが含まれている、あるいはロール定義テーブル202が設定されている場合はs2131へ進み、そうでなければs2140へ進む（s2130）。
【００８５】
SPF101のサブジェクト1012にプロセスまたはドメインが含まれているか、あるいはロール定義テーブル202が設定されている場合には、サーバ装置２は、s2131の処理を実行する。すなわち、SPF101のサブジェクト1012にプロセスが設定されている場合は対応するドメインをアクセス制御の設定ファイル102から取得し、SPF101のサブジェクト1012にドメインが設定されている場合はこのドメインを取得する（s2131）。
【００８６】
次にサーバ装置２は、アクセス制御の設定ファイル102から、取得したドメインよりドメイン遷移が許可されているドメインを取得し（s2132）、ドメイン遷移テーブル203として、ドメイン遷移の元のドメインをテーブルの行に、ドメイン遷移の先のドメインをテーブルの列に設定する(s2133)。
【００８７】
次にサーバ装置２は、s2132で取得したドメインから新たにドメイン遷移が可能であるかを調べる。s2132で新たにドメインを取得した場合はs2132へ戻り、s2132で新たにドメインを取得しなかった場合はs2135へ進み(s2134)、ドメイン遷移テーブル203を登録する(s2135)。
【００８８】
次にサーバ装置２は、SPF101のアクセスモード1014が設定されているか確認し、設定されている、あるいはドメイン遷移テーブル203が設定されている場合はs2141へ進み、そうでなければs2150へ進む（s2140）。
【００８９】
SPF101のアクセスモード1014が設定されているか、あるいはドメイン遷移テーブル203が設定されている場合は、サーバ装置２は、s2141の処理を実行する。すなわち、サーバ装置２は、SPF101のサブジェクト1012とドメイン遷移テーブル203を確認し、SPF101のサブジェクト1012にリソース（ただし、プロセスを除く）が設定されている場合はこのドメインまたはタイプをアクセス制御の設定ファイル102から取得し、SPF101のサブジェクト1012にドメインまたはタイプが設定されている場合はこのドメインまたはタイプを取得し、ドメイン遷移テーブル203が設定されている場合はこのドメインを取得する（s2141）。次いでサーバ装置２は、これらのドメインからアクセスする先のドメインまたはタイプを取得する（s2142）。そしてサーバ装置２は、これらのドメインからドメインまたはタイプへの設定が許可されたアクセスモード1014を取得する（s2143）。そしてサーバ装置２は、ドメイン定義テーブル204として、s2141で取得したドメインをテーブルの行に、s2142で取得したドメインまたはタイプを列に、s2141で取得したドメインからs2142に取得したドメインまたはタイプに許可されるアクセスモード1014を対応するテーブルのセルに設定し（s2144）、登録する（s2145）。
【００９０】
次にサーバ装置２は、結果送信ＰＧ215を実行し、クライアント装置１へテーブルの登録が終了したことを知らせるため、登録終了メッセージを作成する（s2150）。そしてサーバ装置２は、s2100で取得した番号1010全てにs2110からなる手続きが終了したかを確認して処理を終了する(s2151)。
【００９１】
＜検証処理＞
図１６に、サーバ装置２が、管理するテーブルに基づき、アクセス制御の設定ファイル102を検証する処理の流れを示す。クライアント装置１は検証依頼ＰＧ112を実行し、検証依頼メッセージをサーバ装置２に送信する（s221）。そうするとサーバ装置２は検証受付ＰＧ213を実行し、検証依頼メッセージを受信する（s222）。またサーバ装置２は検証実行ＰＧ214を実行し、ロール遷移テーブル201、ロール定義テーブル202、ドメイン遷移テーブル203、ドメイン定義テーブル204にそれぞれ記載されているアクセス制御の各設定データがSPF101に適合するか否かの検証を行い、検証結果を検証終了メッセージとして作成する（s223）。そしてサーバ装置２は、結果送信ＰＧ215を実行し、検証終了メッセージをクライアント装置１に送信する（s224）。クライアント装置１は結果受信ＰＧ113を受信し、サーバ装置２から、検証終了メッセージを受信する（s225）。
【００９２】
s223における、アクセス制御の各設定データがSPF101に適合するか否かの検証する処理の流れは、図１４と同様である。また、検証終了メッセージに関しても図１０と同様の構成になる。
【００９３】
以上本実施の形態について説明したが、本実施の形態によれば、システムに設定されたアクセス制御の設定が適切であるかを検証することができる。また、RBACモデルおよびTEモデルに基づく強制アクセス制御においては、複雑かつ複数の設定ファイルを設定する必要があるが、本実施の形態によれば、システム全体として適切にアクセス制御が設定されているかの確認を容易に行うことができる。そして、RBACモデルおよびTEモデルに基づく複雑なアクセス制御の設定が、確かにセキュリティポリシーを満たすことを検証、保証することができる。また、これによりアクセス制御を適切に設定することができる。さらに、把握が困難である複数のアクセス制御の設定ファイルに対し、その設定の誤りの検出と、設定内容の保証ができる。
【００９４】
また、クライアント装置１が、検証をサーバ装置２に依頼する前に、アクセス制御の設定ファイル102とセキュリティポリシーファイル101の登録をサーバ装置に依頼するようにすることにより、サーバ装置２は、テーブルとして登録するアクセス制御の設定ファイル102をセキュリティポリシーに関する部分のみに限定できるため、各テーブルのサイズを小規模に抑えることができ、セキュリティポリシーの検証を効率的に処理することができる。
【００９５】
上述した本実施の形態は、RBACモデルとTEモデルに基づく強制的アクセス制御を採用するシステムに適用することができる。例えば、ハードウェアやソフトウェアに強制アクセス制御モジュールを組み込み、ソフトウェアの動作を監視するシステムに適用することができる。
【００９６】
以上発明を実施するための最良の形態について説明したが、上記実施の形態は本発明の理解を容易にするためのものであり、本発明を限定して解釈するためのものではない。本発明はその趣旨を逸脱することなく変更、改良され得ると共に、本発明にはその等価物も含まれる。
【図面の簡単な説明】
【００９７】
【図１】本実施形態におけるシステム構成の概略図である。
【図２】本実施形態におけるクライアント装置の概略図である。
【図３】本実施形態におけるサーバ装置の概略図である。
【図４】本実施形態におけるセキュリティポリシーファイル（SPF）の概略図である。
【図５】本実施形態におけるアクセス制御の設定ファイルの概略図である。
【図６】本実施形態におけるロール遷移テーブルの概略図である。
【図７】本実施形態におけるロール定義テーブルの概略図である。
【図８】本実施形態におけるドメイン遷移テーブルの概略図である。
【図９】本実施形態におけるドメイン定義テーブルの概略図である。
【図１０】本実施形態における検証終了メッセージの概略図である。
【図１１】本実施形態におけるアクセス制御の設定ファイルの登録フローである。
【図１２】本実施形態におけるＳＰＦの検証フローである。
【図１３】本実施形態におけるアクセス制御の設定ファイルの登録フローである。
【図１４】本実施形態におけるＳＰＦの検証フローである。
【図１５】本実施形態におけるアクセス制御の設定ファイルの登録フローである。
【図１６】本実施形態におけるＳＰＦの検証フローである。
【図１７】本実施形態におけるアクセス制御の設定ファイルの登録フローである。
【符号の説明】
【００９８】
１  クライアント装置
２  サーバ装置
３  ネットワーク
１０１  セキュリティポリシーファイル（SPF）
１０２  アクセス制御の設定ファイル
１１１  登録依頼ＰＧ
１１２  検証依頼ＰＧ
１１３  結果受信ＰＧ
２０１  ロール遷移テーブル
２０２  ロール定義テーブル
２０３  ドメイン遷移テーブル
２０４  ドメイン定義テーブル
２１１  登録受付ＰＧ
２１２  登録実行ＰＧ
２１３  検証受付ＰＧ
２１４  検証実行ＰＧ
２１５  結果送信ＰＧ
【図１】
2007041881.tif 000003
【図２】
2007041881.tif 000004
【図３】
2007041881.tif 000005
【図４】
2007041881.tif 000006
【図５】
2007041881.tif 000007
【図６】
2007041881.tif 000008
【図７】
2007041881.tif 000009
【図８】
2007041881.tif 000010
【図９】
2007041881.tif 000011
【図１０】
2007041881.tif 000012
【図１１】
2007041881.tif 000013
【図１２】
2007041881.tif 000014
【図１３】
2007041881.tif 000015
【図１４】
2007041881.tif 000016
【図１５】
2007041881.tif 000017
【図１６】
2007041881.tif 000018
【図１７】
2007041881.tif 000019