(57)【要約】【課題】複数のサブジェクトやオブジェクトの関係に基づき、ＳｏＤ制約のようなより複雑な関係についても矛盾を検出・抽出できるようにする。【解決手段】本発明によるアクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納させ、前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段を備えたことを特徴とする。【選択図】図７
2009193289.tif 000002
【特許請求の範囲】
【請求項１】
アクセス権の矛盾を検証するアクセス権管理方法であって、
矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納し、
前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する
ことを特徴とするアクセス権管理方法。
【請求項２】
アクセス権の矛盾を検証するアクセス権管理方法であって、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、
アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納し、
アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する
ことを特徴とするアクセス権管理方法。
【請求項３】
座標空間上で、制約を特定する属性が付与された点のみを比較対象として、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する請求項１又は請求項２記載のアクセス権管理方法。
【請求項４】
生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定する請求項１から請求項３のうちのいずれか１項に記載のアクセス権管理方法。
【請求項５】
複数のサブジェクト又はオブジェクトの関係に基づくＳｏＤ制約におけるアクセス権の矛盾を検証する請求項１から請求項４のうちのいずれか１項に記載のアクセス権管理方法。
【請求項６】
アクセス権の矛盾を検証するアクセス権管理システムであって、
アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納させ、前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段を備えた
ことを特徴とするアクセス権管理システム。
【請求項７】
アクセス権の矛盾を検証するアクセス権管理システムであって、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納させ、アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段を備えた
ことを特徴とするアクセス権管理システム。
【請求項８】
ルール比較手段は、座標空間上で、制約を特定する属性が付与された点のみを比較対象にするとして、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する請求項６又は請求項７記載のアクセス権管理システム。
【請求項９】
ルール比較手段は、生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定する請求項６から請求項８のうちのいずれか１項に記載のアクセス権管理システム。
【請求項１０】
ルール比較手段は、複数のサブジェクト又はオブジェクトの関係に基づくＳｏＤ制約におけるアクセス権の矛盾を検証する請求項６から請求項９のうちのいずれか１項に記載のアクセス権管理システム。
【請求項１１】
アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、
コンピュータに、
矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、
前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを
実行させるためのアクセス権管理用プログラム。
【請求項１２】
アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、
コンピュータに、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納する処理と、
アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する処理とを
実行させるためのアクセス権管理用プログラム。
【請求項１３】
コンピュータに、
座標空間上で、制約を特定する属性が付与された点のみを比較対象として、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する処理を実行させる
請求項１１又は請求項１２記載のアクセス権管理用プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、アクセス権を管理するアクセス権管理方法、アクセス権管理システム及びアクセス権管理用プログラムに関する。
【背景技術】
【０００２】
アクセス権（サブジェクト（ｓ）、オブジェクト（ｏ）、及びアクション（ａ）の組）を付与する条件文であるポリシ（ｓ，ｏ，ａそのものやグループを用いた条件文）から個々のアクセス権を導出するアクセス制御システムが用いられている。そのようなアクセス制御システムでは、ポリシからでは発見できないようなアクセス権の矛盾を生じる場合がある。そのようなアクセス権の矛盾を検出・抽出するための方法として、人手又は何らかのシミュレーションツールを用いて、ポリシに基づく全てのアクセス権の組み合わせを列挙することで、矛盾するアクセス権を検出・抽出する方法が考えられる。
【０００３】
しかし、上記の人手やシミュレーションツールを用いる方法では、全てのアクセス権の組み合わせを検査するため、処理に多大な時間が必要であり、現実的ではない。また、一部でもポリシが変更される度に、全てのアクセス権の組み合わせを再び最初から検査しなおす必要があり、非効率的である。そこで、それらの処理時間や効率性の問題点を改善するためのアクセス権管理システムが考案されている（例えば、特許文献１参照）。
【０００４】
特許文献１に記載されているアクセス権管理システムは、客体階級データベースと、主体階級データベースと、アクセス権制御規則データベースと、伝播規則データベースと、リクエスト受付部と、アクセス許可判断部と、階級情報変換手段と、矛盾ルール検出手段と、矛盾部分抽出手段とを備える。そのような構成を備え、特許文献１に記載されているアクセス権管理システムは、ロール（サブジェクトやオブジェクトのグループ）の伝播規則を前提とすることによって、ロールを用いて記述されたポリシから導出されるアクセス権の矛盾を検出・抽出する。
【０００５】
また、特許文献１に記載されているアクセス権管理システムの伝播規則では、サブジェクト（主体）やオブジェクト（客体）を組織等の構成に合わせて単一のツリーで表現した際に、ノードの深さをそれぞれのロールとしている。従って、上位（ルート側）のロールへのアクセス拒否は下位（リーフ側）のロールに伝播し、下位のロールへのアクセス許可は上位のロールに伝播する。このロールを用いて記述されたポリシから導出されるアクセス権が、伝播の結果、あるサブジェクトやオブジェクトにおいて相反する場合、矛盾として検出・抽出される。すなわち、単一のツリーで表現できるサブジェクトやオブジェクトのアクセス権について、あるロールの伝播規則が及ぶ範囲のみを検査することによって、検出・抽出にかかる処理時間を短縮できる。
【０００６】
さらに、特許文献１に記載されているアクセス権管理システムでは、ポリシが変更された際に矛盾の発生するサブジェクトやオブジェクトの範囲を、変化のあったポリシが用いているロールの影響下に限定することができる。そのため、ポリシの変化が生じる度に全てのアクセス権を検査し直すよりも、効率的な検出・抽出を実行することができる。
【０００７】
【特許文献１】特開２００５−１８２４７８号公報（段落００３５、図１）
【発明の開示】
【発明が解決しようとする課題】
【０００８】
しかし、特許文献１に記載されているアクセス権管理システムでは、ＳｏＤ（Separation of Duty）制約のようなより複雑な関係については、矛盾を検出・抽出できないという問題がある。その理由は、特許文献１に記載されているアクセス権管理システムでは、サブジェクトとオブジェクトとの各組み合わせについて、それぞれ独立して矛盾の有無を判断しているからである。そのため、特許文献１に記載されているアクセス権管理システムでは、ある１つのサブジェクトとオブジェクトとの組み合わせの中で相反する複数のアクセス権が導出されない限り矛盾とみなされない。すなわち、ＳｏＤ制約のように、他のサブジェクトやオブジェクトのアクセス権の導出状況等、複数のサブジェクトやオブジェクトの関係によって矛盾の有無を判断することはできない。
【０００９】
そこで、本発明は、複数のサブジェクトやオブジェクトの関係に基づき、ＳｏＤ制約のようなより複雑な関係についても矛盾を検出・抽出できるアクセス権管理方法、アクセス権管理システム及びアクセス権管理用プログラムを提供することを目的とする。
【課題を解決するための手段】
【００１０】
本発明によるアクセス権管理方法は、アクセス権の矛盾を検証するアクセス権管理方法であって、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納し、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証することを特徴とする。
【００１１】
本発明によるアクセス権管理方法の他の態様は、アクセス権の矛盾を検証するアクセス権管理方法であって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納し、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証することを特徴とする。
【００１２】
本発明によるアクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納させ、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段を備えたことを特徴とする。
【００１３】
本発明によるアクセス権管理システムの他の態様は、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納させ、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段を備えたことを特徴とする。
【００１４】
本発明によるアクセス権管理用プログラムは、アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、コンピュータに、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを実行させるためのものである。
【００１５】
本発明によるアクセス権管理用プログラムの他の態様は、アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、コンピュータに、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納する処理と、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する処理とを実行させるためのものである。
【発明の効果】
【００１６】
本発明によれば、ＳｏＤ制約のようなより複雑な関係についても矛盾を検出・抽出することができる。
【発明を実施するための最良の形態】
【００１７】
以下、本発明の実施形態を図面を参照して説明する。本発明は、アクセス権を管理するアクセス権管理システムに関し、特に、アクセス権の矛盾を検証できるアクセス権管理システムに関するものである。以下、まず、本実施形態で用いる用語について説明する。
【００１８】
本実施形態において、「アクセス権」とは、特定のサブジェクト（ｓ）、オブジェクト（ｏ）及びアクション（ａ）の組を意味する。また、「アクセス権定義」とは、アクセス権そのもの、又はｓ，ｏ，ａの列挙・グループ・範囲指定等により１つ以上のアクセス権を表現する正規表現や条件文である。
【００１９】
また、「ポリシ」とは、アクセス権を付与する条件文である。なお、「ポリシ」には、ポリシ群中での固有の「ポリシＩＤ」と、アクセス権定義とが含まれる。
【００２０】
また、「ルール」とは、アクセス権と、当該ルールの導出元となったポリシを識別するためのポリシＩＤとを含む。本実施形態では、あるポリシを解釈・展開することによって、１つ以上のルールが導出される。従って、ルールに含まれるポリシＩＤから、そのルールの導出元のポリシを特定することができる。
【００２１】
また、「制約」とは、アクセス権の矛盾を検証する基準を指定する情報である。なお、「制約」には、制約群中での固有の「制約ＩＤ」と、制約の処理の種類を示す文字列である「制約名」と、１つ以上の「制約ドメイン」それぞれを定義する１つ以上のアクセス権定義とが含まれる。また、「制約ドメイン」は、制約の対象としての単位となるアクセス権集合（矛盾検証の基準となる制約が対象とするアクセス権の範囲）である。本実施形態では、ある制約に対して、１つ以上の制約ドメインが存在する。例えば、２つのアクセス権集合の両立を禁止するようなＳｏＤ制約であれば、２つの制約ドメインが存在する。
【００２２】
また、「制約付ルール」とは、制約を特定する属性が付与されたルールである。なお、「制約付ルール」には、ルールと、そのルールが対象となる制約を識別するための制約ＩＤとが含まれる。従って、制約付ルールに含まれるポリシＩＤから、その制約付ルールの導出元のポリシを特定することができる。また、制約付ルールに含まれる制約ＩＤから、その制約付ルールの対象となる制約を特定することができる。
【００２３】
なお、本実施形態では、制約付ルールは、座標軸として少なくともｓ，ｏ，ａをもつ多次元空間上に、制約付ルールに含まれるｓ，ｏ，ａの値それぞれを座標値に用いてプロットした点として表現される。制約付ルールを多次元空間上の点として表現する場合、その点の座標は、多次元行列で表現される１つの要素である。従って、複数の制約付ルールを、座標上の位置又は行列演算を用いて比較することができる。
【００２４】
また、「矛盾結果」とは、ルールと制約との比較の結果、制約に違反していると判定した際に出力される情報である。なお、矛盾結果には、違反した制約を識別するための制約ＩＤと、違反しているルールの導出元のポリシに対応するポリシＩＤと、違反しているアクセス権とが含まれる。従って、矛盾結果に含まれる制約ＩＤから、その矛盾結果の判断基準になった制約を特定することができる。また、矛盾結果に含まれるポリシＩＤから、その矛盾結果で制約違反とされたポリシを特定することができる。
【００２５】
次に、本発明によるアクセス権管理システムの構成を図面を参照して説明する。図１は、本発明によるアクセス権管理システムの一構成例を示すシステム構成図である。図１に示すように、アクセス権管理システムは、矛盾検証装置１００と、ポリシ管理装置２００と、制約管理装置３００とを備える。
【００２６】
本実施形態において、アクセス権管理システムは、例えば、プログラムに従って動作するパーソナルコンピュータ等の情報処理装置を用いたコンピュータシステムによって実現される。なお、矛盾検証装置１００と、ポリシ管理装置２００と、制約管理装置３００とは、それぞれ別個のコンピュータシステムで構築されていてもよいし、一部又は全部が同一のコンピュータシステムで実現されていてもよい。
【００２７】
図１に示すように、矛盾検証装置１００は、ルール比較手段１０１と、ルール格納手段１０２と、矛盾結果参照手段１０３と、矛盾結果格納手段１０４とを含む。また、ポリシ管理装置２００は、ポリシ編集手段２０１と、ポリシ格納手段２０２とを含む。そして、制約管理装置３００は、制約編集手段３０１と、制約格納手段３０２とを含む。
【００２８】
なお、ルール比較手段１０１及び矛盾結果参照手段１０３は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵと、ＲＡＭ等の記憶媒体と、ポリシ管理装置２００及び制約管理装置３００と通信を行なうための通信インタフェースとによって実現される。また、ポリシ編集手段２０１及び制約編集手段３０１は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵと、ＲＡＭ等の記憶媒体とによって実現される。さらに、ルール格納手段１０２、矛盾結果格納手段１０４、ポリシ格納手段２０２、及び制約格納手段３０２は、具体的には、ＲＡＭやハードディスク等の記憶媒体によって実現される。
【００２９】
ルール比較手段１０１は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵによって実現される。ルール比較手段１０１は、制約格納手段３０２から制約を読み込むとともに、ポリシ格納手段２０２からポリシを読み込み、読み込んだポリシを展開したルールと制約とを比較する機能を備える。また、ルール比較手段１０１は、ルール同士の比較が必要な制約については制約付ルールを生成して、生成した制約付ルールをルール格納手段１０２に格納させる機能を備える。また、ルール比較手段１０１は、制約に違反しているルールがあれば、制約に違反しているルールを矛盾結果格納手段１０４に矛盾結果として格納させる機能を備える。
【００３０】
本実施形態では、ルール比較手段１０１は、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性（例えば、制約ＩＤ）を付与した制約付ルールを生成してルール格納手段１０２に格納させる。また、ルール比較手段１０１は、ルール格納手段１０２に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点（例えば、ルールに対応する座標値）の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する。
【００３１】
また、本実施形態では、ルール比較手段１０１は、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現する。また、ルール比較手段１０１は、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール格納手段１０２に格納させる。また、ルール比較手段１０１は、アクセス権が制約を満たしているか否かについて検証するために、ルール格納手段１０２に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する。
【００３２】
なお、本実施形態において、ルール比較手段１０１は、違反可否判定手段、属性付与手段、アクセス権矛盾判定手段、及び制約識別手段を実現している。
【００３３】
ルール格納手段１０２は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。ルール格納手段１０２は、ルール比較手段１０１が生成した制約付ルールを格納する。
【００３４】
矛盾結果参照手段１０３は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵによって実現される。矛盾結果参照手段１０３は、矛盾結果格納手段１０４から矛盾結果を読み込み、その読み込んだ矛盾結果に記載される（含まれる）制約ＩＤを用いて制約格納手段３０２から該当する制約を検索・取得（抽出）する機能を備える。また、矛盾結果参照手段１０３は、矛盾結果格納手段１０４から読み出した矛盾結果に記載される（含まれる）ポリシＩＤを用いて、ポリシ格納手段２０２から該当するポリシを検索・取得（抽出）する機能を備える。
【００３５】
そして、矛盾結果参照手段１０３は、矛盾結果に記載されたアクセス権と、取得した制約と、取得したポリシとに基づいて、矛盾結果表示用のユーザ・インターフェイス（以下、ＵＩと略記する）を生成し、ディスプレイ装置等の表示装置に矛盾結果画面を表示させる機能を備える。
【００３６】
矛盾結果格納手段１０４は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。矛盾結果格納手段１０４は、ルール比較手段１０１が生成した矛盾結果を格納する。
【００３７】
ポリシ編集手段２０１は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵによって実現される。ポリシ編集手段２０１は、ポリシ編集用のＵＩを生成し、表示装置にポリシ編集画面を表示させることにより、ポリシの編集方法をユーザに提供する機能を備える。
【００３８】
具体的には、ポリシ編集手段２０１は、編集方法として、Ｗｅｂインターフェイス等を用いてポリシの入力フォームを提供したり、ポリシというデータを直接編集するテキストやバイナリのエディタ等を提供する。なお、ポリシ編集手段２０１は、ユーザの作業を代替・自動化するような別のシステムや装置等にポリシの編集方法を提供してもよい。
【００３９】
また、ポリシ編集手段２０１は、編集内容を取得してポリシを生成し、生成したポリシをポリシ格納手段２０２に格納させる機能を備える。
【００４０】
ポリシ格納手段２０２は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。ポリシ格納手段２０２は、ポリシ編集手段２０１が生成したポリシを格納する。
【００４１】
制約編集手段３０１は、具体的には、プログラムに従って動作する情報処理装置のＣＰＵによって実現される。制約編集手段３０１は、制約編集用のＵＩを生成し、表示装置に制約編集画面を表示させることにより、制約の編集方法をユーザに提供する機能を備える。また、制約編集手段３０１は、編集内容を取得して制約を生成し、生成した制約を制約格納手段３０２に格納させる機能を備える。
【００４２】
なお、本実施形態において、ルール比較手段１０１、矛盾結果参照手段１０３、ポリシ編集手段２０１、及び制約編集手段３０１を実現するＣＰＵは、共通のＣＰＵによって実現されてもよい。
【００４３】
また、本実施形態において、アクセス権管理システムを実現する情報処理装置の記憶装置（図示せず）は、アクセス権を管理するための各種プログラムを記憶している。例えば、アクセス権管理システムを実現する情報処理装置の記憶装置は、コンピュータに、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを実行させるためのアクセス権管理用プログラムを記憶している。
【００４４】
次に、本実施形態におけるアクセス権管理システムの動作を説明する。図２は、本発明によるアクセス権管理システム全体の処理を示すフローチャートである。図２に示すように、まず、ポリシ編集手段２０１は、ユーザが所望するアクセス権設定に応じて、ポリシを生成する（ステップＳ１００）。
【００４５】
具体的には、ポリシ編集手段２０１は、ポリシ編集用のＵＩを生成し、表示装置にポリシ編集画面を表示させることにより、ポリシの編集方法をユーザに提供する。すると、ユーザは、ポリシ管理装置２００を操作して、ポリシの編集内容を入力指示する。そして、ポリシ編集手段２０１は、ユーザの入力操作に従って編集内容を取得（入力）することによって、取得した編集内容に基づいてポリシを生成する。
【００４６】
次に、制約編集手段３０１は、生成したポリシと矛盾がないか否かを検証したい制約の内容に応じて、制約を生成する（ステップＳ２００）。具体的には、制約編集手段３０１は、制約編集用のＵＩを生成し、表示装置に制約編集画面を表示させることにより、制約の編集方法をユーザに提供する。すると、ユーザは、制約管理装置３００を操作して、制約の編集内容を入力指示する。そして、制約編集手段３０１は、ユーザの入力操作に従って編集内容を（入力）取得することによって、取得した編集内容に基づいて制約を生成する。
【００４７】
なお、本実施形態において、制約の内容と制約との対応関係は、予め決められている。後述する「ルール同士の比較が必要なルール」は、特定の制約名をもつルールに相当する。
【００４８】
次に、ルール比較手段１０１は、ステップＳ１００で生成したポリシに矛盾がないか否かを、ステップＳ２００で生成した制約に基づいて検証する。そして、ルール比較手段１０１は、生成したポリシに矛盾があれば、矛盾があると判定したポリシを示す情報を矛盾結果として出力する（ステップＳ３００）。
【００４９】
具体的には、ルール比較手段１０１は、ポリシ管理装置２０から取得したポリシと制約管理装置３０から取得した制約とを、それぞれアクセス権に分解して比較することによって、制約の対象となるアクセス権を決定する。さらに、ルール比較手段１０１は、制約に基づくアクセス権の矛盾の有無を判別して矛盾結果を出力する。なお、ルール比較手段１０１が出力した矛盾結果は、矛盾結果格納手段１０４に格納される。
【００５０】
次に、矛盾結果参照手段１０３は、矛盾結果に記載される（含まれる）制約に違反しているアクセス権について、そのアクセス権の導出元であるポリシと、該当する制約とを特定する。そして、矛盾結果参照手段１０３は、特定したポリシ及び制約を表示するための矛盾結果表示用のＵＩを生成し、表示装置に矛盾結果画面を表示させる（ステップＳ４００）。
【００５１】
具体的には、矛盾結果参照手段１０３は、矛盾結果格納手段１０４から取得した矛盾結果に記載されている（含まれる）ポリシＩＤを用いて、ポリシ管理装置２００（具体的には、ポリシ格納手段２０２）から該当するポリシを検索し取得（抽出）する。また、矛盾結果参照手段１０３は、矛盾結果に記載されている（含まれる）制約ＩＤを用いて、制約管理装置３００（具体的には、制約格納手段３０２）から該当する制約を検索し取得（抽出）する。そして、矛盾結果参照手段１０３は、取得した矛盾結果と、ポリシと、制約とに基づいて、矛盾結果表示用のＵＩを生成し、表示装置に矛盾結果画面を表示させる。
【００５２】
次に、図２に示す各ステップにおける処理をさらに詳細に説明する。まず、ポリシ編集手段２０１が行うポリシ編集処理（ステップＳ１００における処理）を説明する。図３は、ポリシ編集処理を示すフローチャートである。
【００５３】
図３に示すように、ポリシ編集手段２０１は、まず、ポリシの編集を行うためのＵＩを生成してユーザに対して編集方法を表示することによってユーザに提供する（ステップＳ１０１）。例えば、ポリシ編集手段２０１は、Ｗｅｂインターフェース等を用いて、ポリシ編集用のＷｅｂページの画面を表示装置に表示させ、ポリシの入力フォームをユーザに提供する。
【００５４】
次に、ポリシ編集手段２０１は、生成したＵＩを利用してユーザが行った編集内容を取得（入力）する（ステップＳ１０２）。例えば、ポリシ編集手段２０１は、ユーザが入力フォームに入力・選択した値を、予め定められた文法に沿って並べて、ポリシを生成する。次に、ポリシ編集手段２０１は、取得した編集内容を用いてポリシを生成し、ポリシ格納手段２０２に格納させる（ステップＳ１０３）。
【００５５】
次に、制約編集手段３０１が行う制約編集処理（ステップＳ２００における処理）について説明する。図４は、制約編集処理を示すフローチャートである。図４に示すように、制約編集手段３０１は、まず、制約の編集を行うためのＵＩを生成してユーザに対して編集方法を表示することによってユーザに提供する（ステップＳ２０１）。例えば、制約編集手段３０１は、Ｗｅｂインターフェース等を用いて、制約編集用のＷｅｂページの画面を表示装置に表示させ、制約の入力フォームをユーザに提供する。
【００５６】
また、制約編集手段３０１は、生成したＵＩを利用してユーザが行った編集内容を取得（入力）する（ステップＳ２０２）。次に、制約編集手段３０１は、取得した編集内容を用いて制約を生成し、制約格納手段３０２に格納させる（ステップＳ２０３）。
【００５７】
次に、ルール比較手段１０１が行うルール比較処理（ステップＳ３００における処理）について説明する。図５は、ルール比較処理を示すフローチャートである。図５に示すように、ルール比較手段１０１は、まず、制約格納手段３０２から制約を取得（抽出）する（ステップＳ３０１）。例えば、ルール比較手段１０１は、制約格納手段３０２に格納されている全ての制約を読み出す。
【００５８】
なお、制約格納手段３０２に格納されている制約が多量である場合には、ルール比較手段１０１は、制約１つを読み込んでポリシと比較するという処理を、制約の数だけ繰り返すように構成されていてもよい。
【００５９】
制約格納手段３０２から制約を取得すると、ルール比較手段１０１は、ポリシ管理装置２００に対してポリシ格納手段２０２に未検査のポリシが存在するかどうかの問い合わせを行う（ステップＳ３０２）。ポリシ格納手段２０２に未検査のポリシが無ければ、ルール比較手段１０１は、処理を終了する（ステップＳ３０２のＮ）。
【００６０】
ポリシ格納手段２０２に未検証のポリシがあれば（ステップＳ３０２のＹ）、ルール比較手段１０１は、その未検証のポリシをポリシ格納手段２０２から読み込んでアクセス権に分解する。そして、ルール比較手段１０１は、さらに、その読み込んだポリシにポリシＩＤを付与してルールを生成する（ステップＳ３０３）。
【００６１】
次に、ルール比較手段１０１は、生成したルールに記載されている（含まれる）アクセス権を、ステップＳ３０１で読み込んだ制約に記載されている（含まれる）アクセス権定義から導出されるアクセス権と比較する（ステップＳ３０４）。そして、ルール比較手段１０１は、制約から導出されたアクセス権と一致するアクセス権をもつ他のルールの有無を判定し、アクセス権が一致するルールをルール格納手段１０２から抽出する（ステップＳ３０５）。アクセス権が一致するルールが無ければ、ルール比較手段１０１は、ステップＳ３０２における処理に戻る（ステップＳ３０５のＮ）。
【００６２】
アクセス権が一致するルールがある場合（ステップＳ３０５のＹ）、ルール比較手段１０１は、制約の種類を確認する。そして、ルール比較手段１０１は、制約から導出されたアクセス権と一致するアクセス権をもつルール（ステップＳ３０５の処理で抽出したルール）のうち、制約違反の判定においてルール同士の比較が必要なルールであるかどうかを判定する（ステップＳ３０６）。
【００６３】
具体的には、ルール比較手段１０１は、ルール同士の比較が必要なルールを抽出する。ルール同士を比較する必要がない、単一のアクセス権に対して独立して判定される（すなわち、制約と一致する時点で制約違反といえる）制約に違反したルールであれば（ステップＳ３０６のＮ）、ルール比較手段１０１は、ステップＳ３１１における処理に移行して矛盾結果を生成する。
【００６４】
ルール同士の比較が必要なルールであると判定した場合（ステップＳ３０６のＹ）、ルール比較手段１０１は、制約に記載された（含まれる）制約ＩＤと、その制約の対象となるルールとに基づいて、制約付ルールを新規に生成する。そして、ルール比較手段１０１は、新規に生成した制約付ルールをルール格納手段１０２に格納させる（ステップＳ３０７）。
【００６５】
次に、ルール比較手段１０１は、以前に格納された既存の制約付ルールに記載されている（含まれる）制約ＩＤをルール格納手段１０２から取得（抽出）し、新規に生成した制約付ルールに記載されている（含まれる）制約ＩＤと比較する（ステップＳ３０８）。次に、ルール比較手段１０１は、新規に生成した制約付ルールに記載された（含まれる）制約ＩＤについて、一致する制約ＩＤが記載された（含まれる）既存の制約付ルールが存在するかどうかを判別する（ステップＳ３０９）。
【００６６】
制約ＩＤが一致する既存の制約付ルールが無ければ、ルール比較手段１０１は、新規に生成した制約付ルールの導出元のルールが制約違反ではないと判断し、ステップＳ３０２における処理に戻る（ステップＳ３０９のＮ）。
【００６７】
制約ＩＤが一致する既存の制約付ルールが存在する場合、ルール比較手段１０１は、新規に生成した制約付ルールと、制約ＩＤが一致する既存の制約付ルールとに基づいて、ルール格納手段１０２からアクセス権を取得（抽出）し、一致する制約ＩＤをもつ制約の内容に対する違反の有無を判別する（ステップＳ３１０）。違反していなければ（ステップＳ３１０のＮ）、ルール比較手段１０１は、新規に生成した制約付ルール及び既存の制約付ルールのルール群が制約違反ではないと判断し、ステップＳ３０２における処理に戻る。
【００６８】
なお、制約の内容に対する違反とは、例えば、ＳｏＤ制約のような複数（例えば、２つとする）のアクセス権定義を含む制約がある場合に、同じ１つのサブジェクトｓがそのアクセス権定義の両方に該当することである。
【００６９】
例えば、制約の例として、２つの制約ドメイン間でのＳｏＤ制約がある。より具体的には、オブジェクトをファイル１としアクションを書込みとする制約ドメイン１と、オブジェクトをファイル２としアクションを書込みとする制約ドメイン２との２つの制約ドメインをもつＳｏＤ制約が考えられる。このＳｏＤ制約の場合、サブジェクトとなり得るあるユーザについて、ファイル１とファイル２とに対して、ともに読込みのアクセス権が存在するか、それぞれ読込みと書込みのアクセス権とが存在することは制約違反にあたらない。しかし、ファイル１とファイル２とに対して、ともに書込みのアクセス権が存在することは制約違反となる。
【００７０】
また、例えば、別のＳｏＤ制約の例として、３つ以上の制約ドメインにおいて、あるユーザのアクセス権が一定数以下（例えば２つ以下）の制約ドメインに存在することは許すが、一定数以上（例えば３つ以上）の制約ドメインに存在する場合は制約違反とする制約がある。このＳｏＤ制約は、例えば、多数存在するアクセス権について、権限集中を許す程度を定義する制約として用いられる。
【００７１】
また、例えば、別の制約の例として、制約ドメインを 1つもつ制約であり、その制約ドメインに該当するアクセス権が存在する場合に制約違反とする制約がある。この制約は、例えば、禁止するアクセス権を定義する制約として用いられる。
【００７２】
また、例えば、別の制約の例として、制約ドメインを 1つもつ制約であり、その制約ドメインに該当するアクセス権が存在しない場合に制約違反とする制約がある。この制約は、例えば、必須のアクセス権を定義する制約として用いられる。
【００７３】
また、例えば、別の制約の例として、制約ドメインを２つ以上もつ制約であり、ある１つの制約ドメインに該当するアクセス権が存在する際に、他方の１つ以上の制約ドメインに該当するアクセス権が存在しなければ制約違反とする制約がある。この制約は、例えば、いわゆるワークフローにおいて、前段で実行すべき処理のアクセス権が存在しない限り、後段で実行すべき処理のアクセス権の存在を認めない制約として用いられる。
【００７４】
さらに、例えば、別の制約の例として，制約ドメインを２つ以上もつ制約であり、ある１つの制約ドメインに該当するアクセス権が存在する際に、他方の１つ以上の制約ドメインに該当するアクセス権が存在すると制約違反とする制約がある。この制約は、例えば、特に動的ＳｏＤ制約と呼ばれ、各制約ドメインに該当するアクセス権が単一では制約違反にならないが、前段のアクセス権が特定の制約ドメインに該当するときにのみ制約違反とする制約として用いられる。
【００７５】
ルール群が制約に違反していた場合（ステップＳ３１０のＹ）、ルール比較手段１０１は、その制約の制約ＩＤと、ルールに記載されている（含まれる）アクセス権と、ポリシＩＤとを用いて、矛盾結果を生成する。次に、ルール比較手段１０１は、生成した矛盾結果を矛盾結果格納手段１０４に格納させて、ステップＳ３０２における処理に戻る（ステップＳ３１１）。
【００７６】
なお、アクセス権の矛盾を検証する際に、ルール比較手段１０１は、ポリシから導出されるルールを、アクセス権（ｓ，ｏ，ａの組）を多次元座標空間上の点として扱う。例えばステップＳ３１０における処理を実行する際に、ルール比較手段１０１は、制約の影響下にある点（ルール）に制約を示す属性（制約ＩＤ）を付与し、その属性付きの点（制約付ルール）におけるサブジェクト（例えばｓ）が一致するかどうかを判定する。そのような方法によれば、アクセス権の関係を座標空間上の位置関係として比較できるので、ＳｏＤ制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、容易に矛盾の検出・抽出を行うことができる。なお、ルール比較手段１０１は、座標空間上の点を比較する際に、その点の座標値に対する行列演算を用いて比較してもよい。
【００７７】
次に、矛盾結果参照手段１０３が行う矛盾結果参照処理（ステップＳ４００における処理）について説明する。図６は、矛盾結果参照処理を示すフローチャートである。図６に示すように、矛盾結果参照手段１０３は、まず、矛盾結果格納手段１０４から、矛盾結果を取得（抽出）する（ステップＳ４０１）。次に、矛盾結果参照手段１０３は、取得した矛盾結果に記載されている（含まれる）制約ＩＤを用いて、制約格納手段３０２から、その制約ＩＤに該当する制約を検索し、取得（抽出）する（ステップＳ４０２）。
【００７８】
次に、制約格納手段３０２から制約を取得すると、矛盾結果参照手段１０３は、取得した矛盾結果に記載されている（含まれる）ポリシＩＤを用いて、ポリシ格納手段２０２から、そのポリシＩＤに該当するポリシを検索し、取得（抽出）する（ステップＳ４０３）。
【００７９】
次に、矛盾結果参照手段１０３は、取得した矛盾結果に対して、取得した制約と取得したポリシとに詳細な情報を付与し、矛盾結果表示用のＵＩを生成して表示装置に矛盾結果表示画面を表示させ、ユーザに対して表示させる（ステップＳ４０４）。例えば、矛盾結果参照手段１０３は、取得した制約とポリシとの内容から、必要な部分を取り出してテーブルとして表示させたり、単純に併記して表示させたりする。
【００８０】
以上のように、本実施形態によれば、アクセス権管理システムは、制約の対象となるアクセス権のうち、単一のアクセス権では矛盾の有無を判定できないものについて、制約付ルールとしてルール格納手段１０２に格納する。そして、アクセス権管理システムのルール比較手段１０１は、複数の制約付ルールに含まれるアクセス権同士を比較する。そのように構成されているので、例えば、ＳｏＤ制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、矛盾の検出・抽出を行うことができる。
【００８１】
具体的には、本実施形態によれば、アクセス権管理システムにおいて、ポリシから導出されるルールをアクセス権（ｓ，ｏ，ａの組）を用いた点として座標空間上にプロットし、制約の影響下にある点には制約を示す属性を付与する。そのようにすれば、ＳｏＤ制約のようなより複雑な関係についても矛盾を検出・抽出できる。すなわち、アクセス権の関係を座標空間上の位置関係として比較することで、ＳｏＤ制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、容易に矛盾の検出・抽出を行うことができる。
【００８２】
また、例えば、特許文献１に記載されているアクセス権管理システムでは、単一組織のロール伝播規則以外について、矛盾の検出・抽出を高速かつ効率的に処理できないという問題がある。その理由は、特許文献１に記載されているアクセス権管理システムでは、サブジェクトやオブジェクトの関係について、深さが１つずつ深くなる単一のツリーで表現できることを想定しているためである。従って、より一般的な関係にあるサブジェクトやオブジェクトのグループ、例えば複数組織に基づく複数のツリーや複数のロールに跨る兼務のような、単一のツリー上の単一の深さで表現できないアクセス権の組み合わせを扱うことができない。その結果、人手やシミュレーションツールによって、全てのアクセス権を列挙し、人が見て確認することで矛盾を検出・抽出しなければならない。
【００８３】
これに対して、本実施形態によれば、ルール比較手段１０１は、さらに、矛盾の検出・抽出に必要なアクセス権の比較処理を、ルール格納手段１０２に格納された同じ制約ＩＤをもつルールのみに限定して行う。そのため、ポリシの変更があった際にも、その変更されたポリシが制約の影響下にあるときにのみ比較すればよく、比較対象となるアクセス権も該当する制約に関わるもののみを検査すればよいことになる。
【００８４】
すなわち、本実施形態によれば、アクセス権管理システムは、単一組織のロール伝播規則に限らず、全てのアクセス権を列挙して再検査することなく、効率的に矛盾を検出・抽出することできる。従って、単一組織のロール伝播規則に限らず、矛盾の検出・抽出を高速かつ効率的に処理することができる。また、ポリシに変更があった際であっても、全てのアクセス権を列挙して再検査することなく、効率的に矛盾を検出・抽出することができる。
【００８５】
換言すれば、矛盾の検出・抽出に必要なアクセス権の比較処理を、座標空間上で行い、制約を示す属性の付与された点のみに限定するので、単一組織のロール伝播規則に限らず、矛盾の検出・抽出を高速かつ効率的に処理することができる。そのようにすることによって、比較処理は単に座標同士の比較でよくなり、制約と無関係な点については比較処理を省くことができる。
【００８６】
次に、本発明によるアクセス権管理システムの最小構成について説明する。図７は、アクセス権管理システムの最小の構成例を示す構成図である。図７に示すように、アクセス権管理システムは、最小の構成要素として、ルール比較手段１０１と、ルール格納手段１０２とを含む。
【００８７】
図７に示す最小構成のアクセス権管理システムにおいて、ルール比較手段１０１は、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール格納手段１０２に格納させる機能を備える。また、ルール比較手段１０１は、ルール格納手段１０２に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する機能を備える。
【００８８】
図７に示す最小構成のアクセス権管理システムによれば、ＳｏＤ制約のようなより複雑な関係についても矛盾を検出・抽出することができる。
【００８９】
なお、本実施形態では、以下の（１）〜（５）に示すようなアクセス権管理システムの特徴的構成が示されている。
【００９０】
（１）アクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性（例えば、制約ＩＤ）を付与した制約付ルールを生成してルール記憶手段（例えば、ルール格納手段１０２によって実現される）に格納させ、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点（例えば、ルールに対応する座標値）の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段（例えば、ルール比較手段１０１によって実現される）を備えたことを特徴とする。
【００９１】
（２）アクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも１つ以上を座標軸にとることによって、アクセス権１つを座標空間上の点１つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における１つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段（例えば、ルール格納手段１０２によって実現される）に格納させ、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段（例えば、ルール比較手段１０１によって実現される）を備えるように構成されていてもよい。
【００９２】
（３）アクセス権管理システムにおいて、ルール比較手段は、座標空間上で、制約を特定する属性が付与された点のみを比較対象にするとして、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証するように構成されていてもよい。
【００９３】
（４）アクセス権管理システムにおいて、ルール比較手段は、生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定するように構成されていてもよい。
【００９４】
（５）アクセス権管理システムにおいて、ルール比較手段は、複数のサブジェクト又はオブジェクトの関係に基づくＳｏＤ制約におけるアクセス権の矛盾を検証するように構成されていてもよい。
【産業上の利用可能性】
【００９５】
本発明は、アクセス権の矛盾の検証を行う用途に適用できる。特に、本発明は、ＳｏＤ制約のような、複数のサブジェクトやオブジェクトの関係に基づく制約を対象としてアクセス権の矛盾検証を行うアクセス権管理システムに好適に適用できる。
【図面の簡単な説明】
【００９６】
【図１】本発明によるアクセス権管理システムの一構成例を示すシステム構成図である。
【図２】アクセス権管理システムの全体の処理を示すフローチャートである。
【図３】ポリシ編集手段におけるポリシ編集処理を示すフローチャートである。
【図４】制約編集手段における制約編集処理を示すフローチャートである。
【図５】ルール比較手段におけるルール比較処理を示すフローチャートである。
【図６】矛盾結果参照手段における矛盾結果参照処理を示すフローチャートである。
【図７】アクセス権管理システムの最小の構成例を示す構成図である。
【符号の説明】
【００９７】
１００  矛盾検証装置
１０１  ルール比較手段
１０２  ルール格納手段
１０３  矛盾結果参照手段
１０４  矛盾結果格納手段
２００  ポリシ管理装置
２０１  ポリシ編集手段
２０２  ポリシ格納手段
３００  制約管理装置
３０１  制約編集手段
３０２  制約格納手段
【図１】
2009193289.tif 000003
【図２】
2009193289.tif 000004
【図３】
2009193289.tif 000005
【図４】
2009193289.tif 000006
【図５】
2009193289.tif 000007
【図６】
2009193289.tif 000008
【図７】
2009193289.tif 000009