JP2009193289A - Access right management method, access management system and access right management program - Google Patents

Access right management method, access management system and access right management program Download PDF

Info

Publication number
JP2009193289A
JP2009193289A JP2008032780A JP2008032780A JP2009193289A JP 2009193289 A JP2009193289 A JP 2009193289A JP 2008032780 A JP2008032780 A JP 2008032780A JP 2008032780 A JP2008032780 A JP 2008032780A JP 2009193289 A JP2009193289 A JP 2009193289A
Authority
JP
Japan
Prior art keywords
access right
rule
access
constraint
rights
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP2008032780A
Other languages
Japanese (ja)
Inventor
Yoichiro Morita
陽一郎 森田
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP2008032780A priority Critical patent/JP2009193289A/en
Publication of JP2009193289A publication Critical patent/JP2009193289A/en
Pending legal-status Critical Current

Links

Images

Landscapes

  • Storage Device Security (AREA)

Abstract

<P>PROBLEM TO BE SOLVED: To detect/extract contradiction about such complicate relations as SoD constraint based on relations between a plurality of subjects or objects. <P>SOLUTION: This access right management system for verifying the contradiction of access rights is provided with a rule comparing means which generates a rule with constraint by applying attributes specifying constraint to an access right to be derived from a policy including access right definitions to make a rule storage means store it, and which compares position relations on a coordinate space of points using a value configuring access right by using the access rights included in the rule with constraint stored in the rule storage means as objects to verify the contradiction of the access rights. <P>COPYRIGHT: (C)2009,JPO&INPIT

Description

本発明は、アクセス権を管理するアクセス権管理方法、アクセス権管理システム及びアクセス権管理用プログラムに関する。   The present invention relates to an access right management method, an access right management system, and an access right management program for managing access rights.

アクセス権(サブジェクト(s)、オブジェクト(o)、及びアクション(a)の組)を付与する条件文であるポリシ(s,o,aそのものやグループを用いた条件文)から個々のアクセス権を導出するアクセス制御システムが用いられている。そのようなアクセス制御システムでは、ポリシからでは発見できないようなアクセス権の矛盾を生じる場合がある。そのようなアクセス権の矛盾を検出・抽出するための方法として、人手又は何らかのシミュレーションツールを用いて、ポリシに基づく全てのアクセス権の組み合わせを列挙することで、矛盾するアクセス権を検出・抽出する方法が考えられる。   Each access right is determined from a policy (condition statement using s, o, a itself or a group) that is a conditional statement that grants access rights (a set of subject (s), object (o), and action (a)). A derived access control system is used. In such an access control system, there may be inconsistencies in access rights that cannot be found from policy. As a method for detecting and extracting such inconsistencies in access rights, by using a manual or some simulation tool, enumerate all combinations of access rights based on the policy to detect and extract inconsistent access rights. A method is conceivable.

しかし、上記の人手やシミュレーションツールを用いる方法では、全てのアクセス権の組み合わせを検査するため、処理に多大な時間が必要であり、現実的ではない。また、一部でもポリシが変更される度に、全てのアクセス権の組み合わせを再び最初から検査しなおす必要があり、非効率的である。そこで、それらの処理時間や効率性の問題点を改善するためのアクセス権管理システムが考案されている(例えば、特許文献1参照)。   However, in the method using the above-described manpower and simulation tool, since all combinations of access rights are inspected, a long time is required for processing, which is not realistic. In addition, every time the policy is changed, it is necessary to recheck all combinations of access rights from the beginning, which is inefficient. Therefore, an access right management system has been devised for improving the processing time and efficiency problems (see, for example, Patent Document 1).

特許文献1に記載されているアクセス権管理システムは、客体階級データベースと、主体階級データベースと、アクセス権制御規則データベースと、伝播規則データベースと、リクエスト受付部と、アクセス許可判断部と、階級情報変換手段と、矛盾ルール検出手段と、矛盾部分抽出手段とを備える。そのような構成を備え、特許文献1に記載されているアクセス権管理システムは、ロール(サブジェクトやオブジェクトのグループ)の伝播規則を前提とすることによって、ロールを用いて記述されたポリシから導出されるアクセス権の矛盾を検出・抽出する。   The access right management system described in Patent Document 1 includes an object class database, a subject class database, an access right control rule database, a propagation rule database, a request reception unit, an access permission determination unit, and a class information conversion. Means, contradiction rule detection means, and contradiction part extraction means. The access right management system having such a configuration and described in Patent Document 1 is derived from a policy described using roles by assuming propagation rules of roles (subjects and groups of objects). Detect and extract inconsistent access rights.

また、特許文献1に記載されているアクセス権管理システムの伝播規則では、サブジェクト(主体)やオブジェクト(客体)を組織等の構成に合わせて単一のツリーで表現した際に、ノードの深さをそれぞれのロールとしている。従って、上位(ルート側)のロールへのアクセス拒否は下位(リーフ側)のロールに伝播し、下位のロールへのアクセス許可は上位のロールに伝播する。このロールを用いて記述されたポリシから導出されるアクセス権が、伝播の結果、あるサブジェクトやオブジェクトにおいて相反する場合、矛盾として検出・抽出される。すなわち、単一のツリーで表現できるサブジェクトやオブジェクトのアクセス権について、あるロールの伝播規則が及ぶ範囲のみを検査することによって、検出・抽出にかかる処理時間を短縮できる。   In addition, according to the propagation rule of the access right management system described in Patent Document 1, the depth of a node when a subject (subject) or an object (object) is represented by a single tree according to the configuration of an organization or the like. As each role. Therefore, access denial to the upper (root) role is propagated to the lower (leaf) role, and access permission to the lower role is propagated to the upper role. When the access right derived from the policy described using this role conflicts with a subject or object as a result of propagation, it is detected and extracted as a contradiction. That is, it is possible to shorten the processing time required for detection / extraction by examining only the range covered by the propagation rule of a role for the access rights of subjects and objects that can be expressed by a single tree.

さらに、特許文献1に記載されているアクセス権管理システムでは、ポリシが変更された際に矛盾の発生するサブジェクトやオブジェクトの範囲を、変化のあったポリシが用いているロールの影響下に限定することができる。そのため、ポリシの変化が生じる度に全てのアクセス権を検査し直すよりも、効率的な検出・抽出を実行することができる。   Furthermore, in the access right management system described in Patent Document 1, the scope of subjects and objects that cause inconsistencies when a policy is changed is limited to the influence of the role used by the policy that has changed. be able to. Therefore, more efficient detection / extraction can be performed than re-inspecting all access rights every time a policy change occurs.

特開2005−182478号公報(段落0035、図1)JP 2005-182478 A (paragraph 0035, FIG. 1)

しかし、特許文献1に記載されているアクセス権管理システムでは、SoD(Separation of Duty)制約のようなより複雑な関係については、矛盾を検出・抽出できないという問題がある。その理由は、特許文献1に記載されているアクセス権管理システムでは、サブジェクトとオブジェクトとの各組み合わせについて、それぞれ独立して矛盾の有無を判断しているからである。そのため、特許文献1に記載されているアクセス権管理システムでは、ある1つのサブジェクトとオブジェクトとの組み合わせの中で相反する複数のアクセス権が導出されない限り矛盾とみなされない。すなわち、SoD制約のように、他のサブジェクトやオブジェクトのアクセス権の導出状況等、複数のサブジェクトやオブジェクトの関係によって矛盾の有無を判断することはできない。   However, the access right management system described in Patent Document 1 has a problem that contradiction cannot be detected and extracted for more complicated relationships such as a SoD (Separation of Duty) constraint. The reason is that the access right management system described in Patent Document 1 determines whether there is a contradiction independently for each combination of a subject and an object. Therefore, the access right management system described in Patent Document 1 is not regarded as a contradiction unless a plurality of conflicting access rights are derived from a combination of a subject and an object. That is, unlike the SoD constraint, it is impossible to determine whether there is a contradiction based on the relationship between a plurality of subjects and objects such as the derivation status of access rights of other subjects and objects.

そこで、本発明は、複数のサブジェクトやオブジェクトの関係に基づき、SoD制約のようなより複雑な関係についても矛盾を検出・抽出できるアクセス権管理方法、アクセス権管理システム及びアクセス権管理用プログラムを提供することを目的とする。   Therefore, the present invention provides an access right management method, an access right management system, and an access right management program capable of detecting and extracting contradiction for a more complicated relationship such as a SoD constraint based on the relationship between a plurality of subjects and objects. The purpose is to do.

本発明によるアクセス権管理方法は、アクセス権の矛盾を検証するアクセス権管理方法であって、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納し、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証することを特徴とする。   An access right management method according to the present invention is an access right management method for verifying inconsistencies in access rights, and is based on a policy including an access right definition based on the scope of access rights targeted by a constraint that is a criterion for inconsistency verification. Generate a constrained rule with an attribute that specifies the constraint for the derived access right, store it in the rule storage means, and target the access rights included in the restricted rule stored in the rule storage means The present invention is characterized in that the inconsistency of access rights is verified by comparing the positional relationship of the points in the coordinate space using the values constituting the access rights.

本発明によるアクセス権管理方法の他の態様は、アクセス権の矛盾を検証するアクセス権管理方法であって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納し、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証することを特徴とする。   Another aspect of the access right management method according to the present invention is an access right management method for verifying an inconsistency of access rights, wherein at least one of a subject, an object, and an action, which is a value constituting the access right, is obtained. By taking the coordinate axis, one access right is expressed as one point on the coordinate space, and a set of access rights is expressed as an area on the coordinate space, and the restrictions to be satisfied by the access right are expressed in the coordinate space. By pre-defining a placement pattern where points should or should not be placed for one or more areas, the points of access rights derived from a policy containing access rights definitions are subject to constraints. If the access right is related to the restriction, an identifier indicating that the restriction corresponds to the restriction The same restriction as the access right included in the restriction rule stored in the rule storage means in order to generate and store the added restricted rule in the rule storage means and verify whether the access right satisfies the restriction. Only the access rights with identifiers related to the ID are to be verified, and whether there is a conflict of access rights by verifying whether the access rights to be verified are in the arrangement pattern described in the constraint It is characterized by doing.

本発明によるアクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納させ、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段を備えたことを特徴とする。   An access right management system according to the present invention is an access right management system that verifies an inconsistency of access rights, and is a constrained rule to which an attribute specifying a constraint is assigned to an access right derived from a policy including an access right definition Is generated and stored in the rule storage means, and for the access rights included in the restricted rules stored in the rule storage means, the positional relationship of the points using the values constituting the access rights in the coordinate space is determined. It is characterized by comprising rule comparison means for verifying inconsistency of access rights by comparing.

本発明によるアクセス権管理システムの他の態様は、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納させ、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段を備えたことを特徴とする。   Another aspect of the access right management system according to the present invention is an access right management system for verifying inconsistency of access rights, and at least one of a subject, an object, and an action, which is a value constituting the access right. By taking the coordinate axis, one access right is expressed as one point on the coordinate space, and a set of access rights is expressed as an area on the coordinate space, and the restrictions to be satisfied by the access right are expressed in the coordinate space. By pre-defining a placement pattern where points should or should not be placed for one or more areas, the points of access rights derived from a policy containing access rights definitions are subject to constraints. If it is within the area, it indicates that the access right is related to the restriction and indicates that it corresponds to the area of the restriction In order to generate a constrained rule with a separate child and store it in the rule storage means and verify whether the access right satisfies the restrictions, the access right included in the constrained rule stored in the rule storage means Only access rights with identifiers related to the same constraint are to be verified, and by verifying whether the access rights to be verified are in the arrangement pattern described in the constraints, conflicts in access rights can be confirmed. A rule comparison means for verifying the presence or absence is provided.

本発明によるアクセス権管理用プログラムは、アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、コンピュータに、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを実行させるためのものである。   An access right management program according to the present invention is an access right management program for verifying inconsistencies in access rights, and is based on a range of access rights to which a restriction serving as a basis for inconsistency verification is applied. A process for generating a constrained rule to which an attribute specifying a constraint is assigned to an access right derived from a policy including an access right definition and storing the rule in a rule storage unit, and a constrained rule stored in the rule storage unit The access right included in each other is subjected to a process of verifying the contradiction of the access right by comparing the positional relationship of the points in the coordinate space using the values constituting the access right.

本発明によるアクセス権管理用プログラムの他の態様は、アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、コンピュータに、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納する処理と、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する処理とを実行させるためのものである。   Another aspect of the access right management program according to the present invention is an access right management program for verifying a contradiction of access rights, which is a value of the subject, object or action that is a value constituting the access right. Among them, by taking at least one or more coordinate axes, one access right is expressed as one point on the coordinate space, and a set of access rights is expressed as an area on the coordinate space, and the restriction that the access right must satisfy Access right derived from a policy including access right definition by pre-defining as a placement pattern where a point should not be placed or should be placed for one or more regions in the coordinate space If the point is within the restriction target area, the access right is related to the restriction and the restriction Generate a constrained rule with an identifier indicating that it corresponds to the area and store it in the rule storage means, and store it in the rule storage means in order to verify whether the access right satisfies the restrictions Only the access rights with identifiers related to the same restrictions as the access rights included in the restricted rule are to be verified, and it is verified whether the access rights to be verified are in the placement pattern described in the restrictions. By doing so, a process for verifying whether there is a conflict in access rights is executed.

本発明によれば、SoD制約のようなより複雑な関係についても矛盾を検出・抽出することができる。   According to the present invention, contradiction can be detected and extracted even for more complicated relationships such as SoD constraints.

以下、本発明の実施形態を図面を参照して説明する。本発明は、アクセス権を管理するアクセス権管理システムに関し、特に、アクセス権の矛盾を検証できるアクセス権管理システムに関するものである。以下、まず、本実施形態で用いる用語について説明する。   Embodiments of the present invention will be described below with reference to the drawings. The present invention relates to an access right management system that manages access rights, and more particularly to an access right management system that can verify inconsistencies in access rights. Hereinafter, first, terms used in the present embodiment will be described.

本実施形態において、「アクセス権」とは、特定のサブジェクト(s)、オブジェクト(o)及びアクション(a)の組を意味する。また、「アクセス権定義」とは、アクセス権そのもの、又はs,o,aの列挙・グループ・範囲指定等により1つ以上のアクセス権を表現する正規表現や条件文である。   In the present embodiment, “access right” means a set of a specific subject (s), an object (o), and an action (a). The “access right definition” is a regular expression or a conditional statement that expresses one or more access rights by enumeration, group, range designation, etc. of the access right itself or s, o, a.

また、「ポリシ」とは、アクセス権を付与する条件文である。なお、「ポリシ」には、ポリシ群中での固有の「ポリシID」と、アクセス権定義とが含まれる。   A “policy” is a conditional statement that grants access rights. The “policy” includes a unique “policy ID” in the policy group and an access right definition.

また、「ルール」とは、アクセス権と、当該ルールの導出元となったポリシを識別するためのポリシIDとを含む。本実施形態では、あるポリシを解釈・展開することによって、1つ以上のルールが導出される。従って、ルールに含まれるポリシIDから、そのルールの導出元のポリシを特定することができる。   The “rule” includes an access right and a policy ID for identifying the policy from which the rule is derived. In the present embodiment, one or more rules are derived by interpreting and expanding a certain policy. Therefore, the policy from which the rule is derived can be identified from the policy ID included in the rule.

また、「制約」とは、アクセス権の矛盾を検証する基準を指定する情報である。なお、「制約」には、制約群中での固有の「制約ID」と、制約の処理の種類を示す文字列である「制約名」と、1つ以上の「制約ドメイン」それぞれを定義する1つ以上のアクセス権定義とが含まれる。また、「制約ドメイン」は、制約の対象としての単位となるアクセス権集合(矛盾検証の基準となる制約が対象とするアクセス権の範囲)である。本実施形態では、ある制約に対して、1つ以上の制約ドメインが存在する。例えば、2つのアクセス権集合の両立を禁止するようなSoD制約であれば、2つの制約ドメインが存在する。   The “constraint” is information that specifies a criterion for verifying the contradiction of access rights. The “constraint” defines a unique “constraint ID” in the constraint group, a “constraint name” that is a character string indicating the type of constraint processing, and one or more “constraint domains”. One or more access right definitions are included. Further, the “constraint domain” is an access right set (a range of access rights targeted by a constraint that is a criterion for contradiction verification) as a unit as a constraint target. In the present embodiment, one or more constraint domains exist for a certain constraint. For example, if the SoD constraint prohibits the coexistence of two access right sets, there are two constraint domains.

また、「制約付ルール」とは、制約を特定する属性が付与されたルールである。なお、「制約付ルール」には、ルールと、そのルールが対象となる制約を識別するための制約IDとが含まれる。従って、制約付ルールに含まれるポリシIDから、その制約付ルールの導出元のポリシを特定することができる。また、制約付ルールに含まれる制約IDから、その制約付ルールの対象となる制約を特定することができる。   The “restricted rule” is a rule to which an attribute specifying a constraint is given. The “restricted rule” includes a rule and a constraint ID for identifying a constraint to which the rule is a target. Accordingly, the policy from which the restricted rule is derived can be identified from the policy ID included in the restricted rule. Further, it is possible to specify a restriction subject to the restricted rule from the restriction ID included in the restricted rule.

なお、本実施形態では、制約付ルールは、座標軸として少なくともs,o,aをもつ多次元空間上に、制約付ルールに含まれるs,o,aの値それぞれを座標値に用いてプロットした点として表現される。制約付ルールを多次元空間上の点として表現する場合、その点の座標は、多次元行列で表現される1つの要素である。従って、複数の制約付ルールを、座標上の位置又は行列演算を用いて比較することができる。   In this embodiment, the restricted rule is plotted on the multi-dimensional space having at least s, o, a as coordinate axes, using the values of s, o, a included in the restricted rule as coordinate values. Expressed as a point. When expressing a restricted rule as a point on a multidimensional space, the coordinates of the point are one element expressed by a multidimensional matrix. Therefore, a plurality of restricted rules can be compared using coordinate positions or matrix operations.

また、「矛盾結果」とは、ルールと制約との比較の結果、制約に違反していると判定した際に出力される情報である。なお、矛盾結果には、違反した制約を識別するための制約IDと、違反しているルールの導出元のポリシに対応するポリシIDと、違反しているアクセス権とが含まれる。従って、矛盾結果に含まれる制約IDから、その矛盾結果の判断基準になった制約を特定することができる。また、矛盾結果に含まれるポリシIDから、その矛盾結果で制約違反とされたポリシを特定することができる。   The “contradiction result” is information that is output when it is determined that the rule is violated as a result of comparison between the rule and the constraint. The contradiction result includes a constraint ID for identifying the violated constraint, a policy ID corresponding to the policy from which the violating rule is derived, and the violating access right. Therefore, it is possible to specify the constraint that is the determination criterion for the contradiction result from the constraint ID included in the contradiction result. In addition, it is possible to identify a policy that is a constraint violation based on the contradiction result from the policy ID included in the contradiction result.

次に、本発明によるアクセス権管理システムの構成を図面を参照して説明する。図1は、本発明によるアクセス権管理システムの一構成例を示すシステム構成図である。図1に示すように、アクセス権管理システムは、矛盾検証装置100と、ポリシ管理装置200と、制約管理装置300とを備える。   Next, the configuration of the access right management system according to the present invention will be described with reference to the drawings. FIG. 1 is a system configuration diagram showing a configuration example of an access right management system according to the present invention. As shown in FIG. 1, the access right management system includes a contradiction verification device 100, a policy management device 200, and a constraint management device 300.

本実施形態において、アクセス権管理システムは、例えば、プログラムに従って動作するパーソナルコンピュータ等の情報処理装置を用いたコンピュータシステムによって実現される。なお、矛盾検証装置100と、ポリシ管理装置200と、制約管理装置300とは、それぞれ別個のコンピュータシステムで構築されていてもよいし、一部又は全部が同一のコンピュータシステムで実現されていてもよい。   In the present embodiment, the access right management system is realized by a computer system using an information processing apparatus such as a personal computer that operates according to a program. The contradiction verification device 100, the policy management device 200, and the constraint management device 300 may be constructed by separate computer systems, or may be partially or wholly implemented by the same computer system. Good.

図1に示すように、矛盾検証装置100は、ルール比較手段101と、ルール格納手段102と、矛盾結果参照手段103と、矛盾結果格納手段104とを含む。また、ポリシ管理装置200は、ポリシ編集手段201と、ポリシ格納手段202とを含む。そして、制約管理装置300は、制約編集手段301と、制約格納手段302とを含む。   As shown in FIG. 1, the contradiction verification apparatus 100 includes a rule comparison unit 101, a rule storage unit 102, a contradiction result reference unit 103, and a contradiction result storage unit 104. The policy management apparatus 200 includes a policy editing unit 201 and a policy storage unit 202. The constraint management apparatus 300 includes a constraint editing unit 301 and a constraint storage unit 302.

なお、ルール比較手段101及び矛盾結果参照手段103は、具体的には、プログラムに従って動作する情報処理装置のCPUと、RAM等の記憶媒体と、ポリシ管理装置200及び制約管理装置300と通信を行なうための通信インタフェースとによって実現される。また、ポリシ編集手段201及び制約編集手段301は、具体的には、プログラムに従って動作する情報処理装置のCPUと、RAM等の記憶媒体とによって実現される。さらに、ルール格納手段102、矛盾結果格納手段104、ポリシ格納手段202、及び制約格納手段302は、具体的には、RAMやハードディスク等の記憶媒体によって実現される。   Specifically, the rule comparison unit 101 and the contradiction result reference unit 103 communicate with the CPU of the information processing apparatus that operates according to the program, a storage medium such as a RAM, the policy management apparatus 200, and the constraint management apparatus 300. And a communication interface. The policy editing unit 201 and the constraint editing unit 301 are specifically realized by a CPU of an information processing apparatus that operates according to a program and a storage medium such as a RAM. Furthermore, the rule storage unit 102, the contradiction result storage unit 104, the policy storage unit 202, and the constraint storage unit 302 are specifically realized by a storage medium such as a RAM or a hard disk.

ルール比較手段101は、具体的には、プログラムに従って動作する情報処理装置のCPUによって実現される。ルール比較手段101は、制約格納手段302から制約を読み込むとともに、ポリシ格納手段202からポリシを読み込み、読み込んだポリシを展開したルールと制約とを比較する機能を備える。また、ルール比較手段101は、ルール同士の比較が必要な制約については制約付ルールを生成して、生成した制約付ルールをルール格納手段102に格納させる機能を備える。また、ルール比較手段101は、制約に違反しているルールがあれば、制約に違反しているルールを矛盾結果格納手段104に矛盾結果として格納させる機能を備える。   Specifically, the rule comparison unit 101 is realized by a CPU of an information processing apparatus that operates according to a program. The rule comparison unit 101 has a function of reading a constraint from the constraint storage unit 302, reading a policy from the policy storage unit 202, and comparing a rule obtained by developing the read policy with the constraint. Further, the rule comparison unit 101 has a function of generating a restricted rule for a constraint that requires comparison between rules, and storing the generated restricted rule in the rule storage unit 102. Further, the rule comparison unit 101 has a function of storing a rule that violates the constraint as a contradiction result in the contradiction result storage unit 104 if there is a rule that violates the constraint.

本実施形態では、ルール比較手段101は、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性(例えば、制約ID)を付与した制約付ルールを生成してルール格納手段102に格納させる。また、ルール比較手段101は、ルール格納手段102に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点(例えば、ルールに対応する座標値)の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する。   In the present embodiment, the rule comparison unit 101 generates a rule with constraints to which an attribute (for example, constraint ID) for specifying a constraint is added to an access right derived from a policy including an access right definition, and a rule storage unit 102 is stored. Further, the rule comparison unit 101 uses a value constituting the access right for the access rights included in the restricted rule stored in the rule storage unit 102 (for example, coordinate values corresponding to the rule). The inconsistency of the access right is verified by comparing the positional relationship in the coordinate space.

また、本実施形態では、ルール比較手段101は、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現する。また、ルール比較手段101は、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール格納手段102に格納させる。また、ルール比較手段101は、アクセス権が制約を満たしているか否かについて検証するために、ルール格納手段102に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する。   In this embodiment, the rule comparison unit 101 takes one access right on the coordinate space by taking at least one of subjects, objects, or actions, which are values constituting the access right, on the coordinate axis. A set of access rights is expressed as an area on the coordinate space, as well as a single point. In addition, the rule comparison unit 101 predefines the constraint that the access right should satisfy as an arrangement pattern in which points should not be arranged or should be arranged in one or more areas on the coordinate space. If the access right point derived from the policy including the access right definition is within the restriction target area, the identifier indicating that the access right is related to the restriction The added restricted rule is generated and stored in the rule storage unit 102. In addition, the rule comparison unit 101 performs access with an identifier related to the same restriction as the access right included in the restricted rule stored in the rule storage unit 102 in order to verify whether or not the access right satisfies the restriction. It is verified whether or not there is a contradiction in access rights by verifying whether or not only the right is a verification target, and whether or not the access right point to be verified is in the arrangement pattern described in the constraint.

なお、本実施形態において、ルール比較手段101は、違反可否判定手段、属性付与手段、アクセス権矛盾判定手段、及び制約識別手段を実現している。   In this embodiment, the rule comparison unit 101 realizes a violation permission determination unit, an attribute addition unit, an access right contradiction determination unit, and a constraint identification unit.

ルール格納手段102は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。ルール格納手段102は、ルール比較手段101が生成した制約付ルールを格納する。   Specifically, the rule storage means 102 is realized by a storage device such as a magnetic disk device or an optical disk device. The rule storage unit 102 stores the restricted rule generated by the rule comparison unit 101.

矛盾結果参照手段103は、具体的には、プログラムに従って動作する情報処理装置のCPUによって実現される。矛盾結果参照手段103は、矛盾結果格納手段104から矛盾結果を読み込み、その読み込んだ矛盾結果に記載される(含まれる)制約IDを用いて制約格納手段302から該当する制約を検索・取得(抽出)する機能を備える。また、矛盾結果参照手段103は、矛盾結果格納手段104から読み出した矛盾結果に記載される(含まれる)ポリシIDを用いて、ポリシ格納手段202から該当するポリシを検索・取得(抽出)する機能を備える。   Specifically, the contradiction result reference unit 103 is realized by a CPU of an information processing apparatus that operates according to a program. The contradiction result reference unit 103 reads the contradiction result from the contradiction result storage unit 104, and searches for and acquires (extracts) the corresponding constraint from the constraint storage unit 302 using the constraint ID described (included) in the read contradiction result. ) Function. Further, the contradiction result reference unit 103 has a function of searching and acquiring (extracting) a corresponding policy from the policy storage unit 202 using the policy ID described (included) in the contradiction result read from the contradiction result storage unit 104. Is provided.

そして、矛盾結果参照手段103は、矛盾結果に記載されたアクセス権と、取得した制約と、取得したポリシとに基づいて、矛盾結果表示用のユーザ・インターフェイス(以下、UIと略記する)を生成し、ディスプレイ装置等の表示装置に矛盾結果画面を表示させる機能を備える。   Then, the contradiction result reference unit 103 generates a user interface for displaying the contradiction result (hereinafter abbreviated as UI) based on the access right described in the contradiction result, the acquired restriction, and the acquired policy. And a function of displaying a contradiction result screen on a display device such as a display device.

矛盾結果格納手段104は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。矛盾結果格納手段104は、ルール比較手段101が生成した矛盾結果を格納する。   Specifically, the contradiction result storage means 104 is realized by a storage device such as a magnetic disk device or an optical disk device. The contradiction result storage unit 104 stores the contradiction result generated by the rule comparison unit 101.

ポリシ編集手段201は、具体的には、プログラムに従って動作する情報処理装置のCPUによって実現される。ポリシ編集手段201は、ポリシ編集用のUIを生成し、表示装置にポリシ編集画面を表示させることにより、ポリシの編集方法をユーザに提供する機能を備える。   The policy editing unit 201 is specifically realized by a CPU of an information processing apparatus that operates according to a program. The policy editing unit 201 has a function of providing a policy editing method to the user by generating a policy editing UI and displaying a policy editing screen on the display device.

具体的には、ポリシ編集手段201は、編集方法として、Webインターフェイス等を用いてポリシの入力フォームを提供したり、ポリシというデータを直接編集するテキストやバイナリのエディタ等を提供する。なお、ポリシ編集手段201は、ユーザの作業を代替・自動化するような別のシステムや装置等にポリシの編集方法を提供してもよい。   Specifically, the policy editing unit 201 provides, as an editing method, a policy input form using a Web interface or the like, or a text or binary editor that directly edits policy data. The policy editing unit 201 may provide a policy editing method to another system or apparatus that substitutes / automates the user's work.

また、ポリシ編集手段201は、編集内容を取得してポリシを生成し、生成したポリシをポリシ格納手段202に格納させる機能を備える。   Further, the policy editing unit 201 has a function of acquiring the edited content, generating a policy, and storing the generated policy in the policy storage unit 202.

ポリシ格納手段202は、具体的には、磁気ディスク装置や光ディスク装置等の記憶装置によって実現される。ポリシ格納手段202は、ポリシ編集手段201が生成したポリシを格納する。   Specifically, the policy storage means 202 is realized by a storage device such as a magnetic disk device or an optical disk device. The policy storage unit 202 stores the policy generated by the policy editing unit 201.

制約編集手段301は、具体的には、プログラムに従って動作する情報処理装置のCPUによって実現される。制約編集手段301は、制約編集用のUIを生成し、表示装置に制約編集画面を表示させることにより、制約の編集方法をユーザに提供する機能を備える。また、制約編集手段301は、編集内容を取得して制約を生成し、生成した制約を制約格納手段302に格納させる機能を備える。   Specifically, the restriction editing unit 301 is realized by a CPU of an information processing apparatus that operates according to a program. The constraint editing unit 301 has a function of providing a constraint editing method to the user by generating a constraint editing UI and displaying a constraint editing screen on a display device. Further, the constraint editing unit 301 has a function of acquiring the edited content, generating a constraint, and storing the generated constraint in the constraint storage unit 302.

なお、本実施形態において、ルール比較手段101、矛盾結果参照手段103、ポリシ編集手段201、及び制約編集手段301を実現するCPUは、共通のCPUによって実現されてもよい。   In this embodiment, the CPU that realizes the rule comparison unit 101, the contradiction result reference unit 103, the policy editing unit 201, and the constraint editing unit 301 may be realized by a common CPU.

また、本実施形態において、アクセス権管理システムを実現する情報処理装置の記憶装置(図示せず)は、アクセス権を管理するための各種プログラムを記憶している。例えば、アクセス権管理システムを実現する情報処理装置の記憶装置は、コンピュータに、矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを実行させるためのアクセス権管理用プログラムを記憶している。   In the present embodiment, a storage device (not shown) of the information processing apparatus that implements the access right management system stores various programs for managing the access right. For example, the storage device of the information processing apparatus that implements the access right management system allows the computer to access the access derived from the policy including the access right definition based on the range of the access right that is subject to the restriction that is the basis for inconsistency verification. A process for generating a constrained rule with an attribute that specifies a constraint for the right and storing it in the rule storage means, and access for the access rights included in the constrained rule stored in the rule storage means An access right management program for executing a process of verifying inconsistency of access rights by comparing the positional relationship of the points in the coordinate space using the values constituting the rights is stored.

次に、本実施形態におけるアクセス権管理システムの動作を説明する。図2は、本発明によるアクセス権管理システム全体の処理を示すフローチャートである。図2に示すように、まず、ポリシ編集手段201は、ユーザが所望するアクセス権設定に応じて、ポリシを生成する(ステップS100)。   Next, the operation of the access right management system in this embodiment will be described. FIG. 2 is a flowchart showing processing of the entire access right management system according to the present invention. As shown in FIG. 2, the policy editing unit 201 first generates a policy according to the access right setting desired by the user (step S100).

具体的には、ポリシ編集手段201は、ポリシ編集用のUIを生成し、表示装置にポリシ編集画面を表示させることにより、ポリシの編集方法をユーザに提供する。すると、ユーザは、ポリシ管理装置200を操作して、ポリシの編集内容を入力指示する。そして、ポリシ編集手段201は、ユーザの入力操作に従って編集内容を取得(入力)することによって、取得した編集内容に基づいてポリシを生成する。   Specifically, the policy editing unit 201 provides a policy editing method to the user by generating a policy editing UI and displaying a policy editing screen on the display device. Then, the user operates the policy management apparatus 200 to instruct input of policy editing contents. Then, the policy editing unit 201 acquires (inputs) the editing content according to the input operation of the user, thereby generating a policy based on the acquired editing content.

次に、制約編集手段301は、生成したポリシと矛盾がないか否かを検証したい制約の内容に応じて、制約を生成する(ステップS200)。具体的には、制約編集手段301は、制約編集用のUIを生成し、表示装置に制約編集画面を表示させることにより、制約の編集方法をユーザに提供する。すると、ユーザは、制約管理装置300を操作して、制約の編集内容を入力指示する。そして、制約編集手段301は、ユーザの入力操作に従って編集内容を(入力)取得することによって、取得した編集内容に基づいて制約を生成する。   Next, the constraint editing unit 301 generates a constraint according to the content of the constraint to be verified as to whether or not there is a contradiction with the generated policy (step S200). Specifically, the constraint editing unit 301 provides a constraint editing method to the user by generating a constraint editing UI and displaying a constraint editing screen on the display device. Then, the user operates the constraint management apparatus 300 to give an instruction to input constraint editing content. Then, the constraint editing unit 301 acquires (inputs) the edited content according to the input operation of the user, thereby generating a constraint based on the acquired edited content.

なお、本実施形態において、制約の内容と制約との対応関係は、予め決められている。後述する「ルール同士の比較が必要なルール」は、特定の制約名をもつルールに相当する。   Note that in the present embodiment, the correspondence between the content of the constraint and the constraint is determined in advance. The “rule that requires comparison between rules” described later corresponds to a rule having a specific constraint name.

次に、ルール比較手段101は、ステップS100で生成したポリシに矛盾がないか否かを、ステップS200で生成した制約に基づいて検証する。そして、ルール比較手段101は、生成したポリシに矛盾があれば、矛盾があると判定したポリシを示す情報を矛盾結果として出力する(ステップS300)。   Next, the rule comparison unit 101 verifies whether or not the policy generated in step S100 is consistent, based on the constraint generated in step S200. Then, if there is a contradiction in the generated policy, the rule comparison unit 101 outputs information indicating the policy determined to be inconsistent as a contradiction result (step S300).

具体的には、ルール比較手段101は、ポリシ管理装置20から取得したポリシと制約管理装置30から取得した制約とを、それぞれアクセス権に分解して比較することによって、制約の対象となるアクセス権を決定する。さらに、ルール比較手段101は、制約に基づくアクセス権の矛盾の有無を判別して矛盾結果を出力する。なお、ルール比較手段101が出力した矛盾結果は、矛盾結果格納手段104に格納される。   Specifically, the rule comparison unit 101 decomposes the policy acquired from the policy management device 20 and the constraint acquired from the constraint management device 30 into access rights, respectively, and compares them to access rights to be restricted. To decide. Further, the rule comparison unit 101 determines whether there is a contradiction in access rights based on the constraint and outputs a contradiction result. The contradiction result output from the rule comparison unit 101 is stored in the contradiction result storage unit 104.

次に、矛盾結果参照手段103は、矛盾結果に記載される(含まれる)制約に違反しているアクセス権について、そのアクセス権の導出元であるポリシと、該当する制約とを特定する。そして、矛盾結果参照手段103は、特定したポリシ及び制約を表示するための矛盾結果表示用のUIを生成し、表示装置に矛盾結果画面を表示させる(ステップS400)。   Next, the contradiction result reference unit 103 identifies the policy from which the access right is derived and the corresponding constraint for the access right that violates the constraint described (included) in the contradiction result. Then, the contradiction result reference unit 103 generates a contradiction result display UI for displaying the identified policy and constraint, and causes the display device to display the contradiction result screen (step S400).

具体的には、矛盾結果参照手段103は、矛盾結果格納手段104から取得した矛盾結果に記載されている(含まれる)ポリシIDを用いて、ポリシ管理装置200(具体的には、ポリシ格納手段202)から該当するポリシを検索し取得(抽出)する。また、矛盾結果参照手段103は、矛盾結果に記載されている(含まれる)制約IDを用いて、制約管理装置300(具体的には、制約格納手段302)から該当する制約を検索し取得(抽出)する。そして、矛盾結果参照手段103は、取得した矛盾結果と、ポリシと、制約とに基づいて、矛盾結果表示用のUIを生成し、表示装置に矛盾結果画面を表示させる。   Specifically, the contradiction result reference unit 103 uses the policy ID described (included) in the contradiction result acquired from the contradiction result storage unit 104 to use the policy management apparatus 200 (specifically, the policy storage unit). 202) to retrieve (extract) the corresponding policy. Further, the contradiction result reference unit 103 searches for and acquires the corresponding constraint from the constraint management device 300 (specifically, the constraint storage unit 302) using the constraint ID described (included) in the contradiction result ( Extract. Then, the contradiction result reference unit 103 generates a contradiction result display UI based on the acquired contradiction result, the policy, and the constraint, and displays the contradiction result screen on the display device.

次に、図2に示す各ステップにおける処理をさらに詳細に説明する。まず、ポリシ編集手段201が行うポリシ編集処理(ステップS100における処理)を説明する。図3は、ポリシ編集処理を示すフローチャートである。   Next, the process in each step shown in FIG. 2 will be described in more detail. First, policy editing processing (processing in step S100) performed by the policy editing unit 201 will be described. FIG. 3 is a flowchart showing policy editing processing.

図3に示すように、ポリシ編集手段201は、まず、ポリシの編集を行うためのUIを生成してユーザに対して編集方法を表示することによってユーザに提供する(ステップS101)。例えば、ポリシ編集手段201は、Webインターフェース等を用いて、ポリシ編集用のWebページの画面を表示装置に表示させ、ポリシの入力フォームをユーザに提供する。   As shown in FIG. 3, the policy editing unit 201 first generates a UI for editing a policy, and provides the user with the editing method by displaying it to the user (step S101). For example, the policy editing unit 201 uses a Web interface or the like to display a policy editing Web page screen on the display device, and provides the user with a policy input form.

次に、ポリシ編集手段201は、生成したUIを利用してユーザが行った編集内容を取得(入力)する(ステップS102)。例えば、ポリシ編集手段201は、ユーザが入力フォームに入力・選択した値を、予め定められた文法に沿って並べて、ポリシを生成する。次に、ポリシ編集手段201は、取得した編集内容を用いてポリシを生成し、ポリシ格納手段202に格納させる(ステップS103)。   Next, the policy editing unit 201 acquires (inputs) the editing contents performed by the user using the generated UI (step S102). For example, the policy editing unit 201 generates a policy by arranging values input and selected by the user in the input form according to a predetermined grammar. Next, the policy editing unit 201 generates a policy using the acquired editing content and stores it in the policy storage unit 202 (step S103).

次に、制約編集手段301が行う制約編集処理(ステップS200における処理)について説明する。図4は、制約編集処理を示すフローチャートである。図4に示すように、制約編集手段301は、まず、制約の編集を行うためのUIを生成してユーザに対して編集方法を表示することによってユーザに提供する(ステップS201)。例えば、制約編集手段301は、Webインターフェース等を用いて、制約編集用のWebページの画面を表示装置に表示させ、制約の入力フォームをユーザに提供する。   Next, the constraint editing process (the process in step S200) performed by the constraint editing unit 301 will be described. FIG. 4 is a flowchart showing the constraint editing process. As shown in FIG. 4, the constraint editing unit 301 first generates a UI for editing the constraint and provides the user with the editing method by displaying it to the user (step S201). For example, the constraint editing unit 301 displays a screen of a constraint editing Web page on a display device using a Web interface or the like, and provides a constraint input form to the user.

また、制約編集手段301は、生成したUIを利用してユーザが行った編集内容を取得(入力)する(ステップS202)。次に、制約編集手段301は、取得した編集内容を用いて制約を生成し、制約格納手段302に格納させる(ステップS203)。   In addition, the constraint editing unit 301 acquires (inputs) editing contents performed by the user using the generated UI (step S202). Next, the constraint editing unit 301 generates a constraint using the acquired editing content and stores it in the constraint storage unit 302 (step S203).

次に、ルール比較手段101が行うルール比較処理(ステップS300における処理)について説明する。図5は、ルール比較処理を示すフローチャートである。図5に示すように、ルール比較手段101は、まず、制約格納手段302から制約を取得(抽出)する(ステップS301)。例えば、ルール比較手段101は、制約格納手段302に格納されている全ての制約を読み出す。   Next, rule comparison processing (processing in step S300) performed by the rule comparison unit 101 will be described. FIG. 5 is a flowchart showing the rule comparison process. As shown in FIG. 5, the rule comparison unit 101 first acquires (extracts) a constraint from the constraint storage unit 302 (step S301). For example, the rule comparison unit 101 reads all constraints stored in the constraint storage unit 302.

なお、制約格納手段302に格納されている制約が多量である場合には、ルール比較手段101は、制約1つを読み込んでポリシと比較するという処理を、制約の数だけ繰り返すように構成されていてもよい。   When there are a large number of constraints stored in the constraint storage unit 302, the rule comparison unit 101 is configured to repeat the process of reading one constraint and comparing it with the policy for the number of constraints. May be.

制約格納手段302から制約を取得すると、ルール比較手段101は、ポリシ管理装置200に対してポリシ格納手段202に未検査のポリシが存在するかどうかの問い合わせを行う(ステップS302)。ポリシ格納手段202に未検査のポリシが無ければ、ルール比較手段101は、処理を終了する(ステップS302のN)。   When the constraint is acquired from the constraint storage unit 302, the rule comparison unit 101 makes an inquiry to the policy management apparatus 200 as to whether or not an unexamined policy exists in the policy storage unit 202 (step S302). If there is no uninspected policy in the policy storage unit 202, the rule comparison unit 101 ends the process (N in step S302).

ポリシ格納手段202に未検証のポリシがあれば(ステップS302のY)、ルール比較手段101は、その未検証のポリシをポリシ格納手段202から読み込んでアクセス権に分解する。そして、ルール比較手段101は、さらに、その読み込んだポリシにポリシIDを付与してルールを生成する(ステップS303)。   If there is an unverified policy in the policy storage unit 202 (Y in step S302), the rule comparison unit 101 reads the unverified policy from the policy storage unit 202 and decomposes it into access rights. Then, the rule comparison unit 101 further generates a rule by assigning a policy ID to the read policy (step S303).

次に、ルール比較手段101は、生成したルールに記載されている(含まれる)アクセス権を、ステップS301で読み込んだ制約に記載されている(含まれる)アクセス権定義から導出されるアクセス権と比較する(ステップS304)。そして、ルール比較手段101は、制約から導出されたアクセス権と一致するアクセス権をもつ他のルールの有無を判定し、アクセス権が一致するルールをルール格納手段102から抽出する(ステップS305)。アクセス権が一致するルールが無ければ、ルール比較手段101は、ステップS302における処理に戻る(ステップS305のN)。   Next, the rule comparison unit 101 sets the access right described (included) in the generated rule to the access right derived from the access right definition described (included) in the constraint read in step S301. Compare (step S304). Then, the rule comparison unit 101 determines whether there is another rule having an access right that matches the access right derived from the constraint, and extracts a rule having the same access right from the rule storage unit 102 (step S305). If there is no rule with matching access rights, the rule comparison unit 101 returns to the process in step S302 (N in step S305).

アクセス権が一致するルールがある場合(ステップS305のY)、ルール比較手段101は、制約の種類を確認する。そして、ルール比較手段101は、制約から導出されたアクセス権と一致するアクセス権をもつルール(ステップS305の処理で抽出したルール)のうち、制約違反の判定においてルール同士の比較が必要なルールであるかどうかを判定する(ステップS306)。   When there is a rule with matching access rights (Y in step S305), the rule comparison unit 101 checks the type of constraint. The rule comparison unit 101 is a rule that requires comparison between rules in determining a constraint violation among rules having an access right that matches the access right derived from the constraint (the rule extracted in the process of step S305). It is determined whether or not there is (step S306).

具体的には、ルール比較手段101は、ルール同士の比較が必要なルールを抽出する。ルール同士を比較する必要がない、単一のアクセス権に対して独立して判定される(すなわち、制約と一致する時点で制約違反といえる)制約に違反したルールであれば(ステップS306のN)、ルール比較手段101は、ステップS311における処理に移行して矛盾結果を生成する。   Specifically, the rule comparison unit 101 extracts rules that need to be compared with each other. If it is a rule that violates a constraint that is determined independently for a single access right that does not require comparison between rules (that is, it can be said that a constraint is violated when it matches the constraint) (N in step S306) ), The rule comparison means 101 moves to the processing in step S311 and generates a contradiction result.

ルール同士の比較が必要なルールであると判定した場合(ステップS306のY)、ルール比較手段101は、制約に記載された(含まれる)制約IDと、その制約の対象となるルールとに基づいて、制約付ルールを新規に生成する。そして、ルール比較手段101は、新規に生成した制約付ルールをルール格納手段102に格納させる(ステップS307)。   When it is determined that the rules need to be compared with each other (Y in step S306), the rule comparison unit 101 is based on the constraint ID described (included) in the constraint and the rule that is the target of the constraint. To generate a new restricted rule. Then, the rule comparison unit 101 stores the newly generated restricted rule in the rule storage unit 102 (step S307).

次に、ルール比較手段101は、以前に格納された既存の制約付ルールに記載されている(含まれる)制約IDをルール格納手段102から取得(抽出)し、新規に生成した制約付ルールに記載されている(含まれる)制約IDと比較する(ステップS308)。次に、ルール比較手段101は、新規に生成した制約付ルールに記載された(含まれる)制約IDについて、一致する制約IDが記載された(含まれる)既存の制約付ルールが存在するかどうかを判別する(ステップS309)。   Next, the rule comparison unit 101 acquires (extracts) the constraint ID described (included) in the existing constrained rule stored previously from the rule storage unit 102, and creates a newly generated constrained rule. It is compared with the constraint ID described (included) (step S308). Next, the rule comparison unit 101 determines whether there is an existing restricted rule in which a matching constraint ID is described (included) for the constraint ID described (included) in the newly generated restricted rule. Is discriminated (step S309).

制約IDが一致する既存の制約付ルールが無ければ、ルール比較手段101は、新規に生成した制約付ルールの導出元のルールが制約違反ではないと判断し、ステップS302における処理に戻る(ステップS309のN)。   If there is no existing constrained rule with a matching constraint ID, the rule comparison unit 101 determines that the rule from which the newly generated constrained rule is derived is not a constraint violation, and returns to the process in step S302 (step S309). N).

制約IDが一致する既存の制約付ルールが存在する場合、ルール比較手段101は、新規に生成した制約付ルールと、制約IDが一致する既存の制約付ルールとに基づいて、ルール格納手段102からアクセス権を取得(抽出)し、一致する制約IDをもつ制約の内容に対する違反の有無を判別する(ステップS310)。違反していなければ(ステップS310のN)、ルール比較手段101は、新規に生成した制約付ルール及び既存の制約付ルールのルール群が制約違反ではないと判断し、ステップS302における処理に戻る。   When there is an existing constrained rule with a matching constraint ID, the rule comparison unit 101 determines whether the rule storage unit 102 is based on the newly generated constrained rule and the existing constrained rule with a matching constraint ID. The access right is acquired (extracted), and it is determined whether or not there is a violation with respect to the content of the constraint having the matching constraint ID (step S310). If not violated (N in step S310), the rule comparison unit 101 determines that the newly generated restricted rule and the rule group of the existing restricted rule are not a constraint violation, and returns to the process in step S302.

なお、制約の内容に対する違反とは、例えば、SoD制約のような複数(例えば、2つとする)のアクセス権定義を含む制約がある場合に、同じ1つのサブジェクトsがそのアクセス権定義の両方に該当することである。   The violation of the constraint content is, for example, when there is a constraint including a plurality of (for example, two) access right definitions such as an SoD constraint, and the same subject s is included in both of the access right definitions. That is true.

例えば、制約の例として、2つの制約ドメイン間でのSoD制約がある。より具体的には、オブジェクトをファイル1としアクションを書込みとする制約ドメイン1と、オブジェクトをファイル2としアクションを書込みとする制約ドメイン2との2つの制約ドメインをもつSoD制約が考えられる。このSoD制約の場合、サブジェクトとなり得るあるユーザについて、ファイル1とファイル2とに対して、ともに読込みのアクセス権が存在するか、それぞれ読込みと書込みのアクセス権とが存在することは制約違反にあたらない。しかし、ファイル1とファイル2とに対して、ともに書込みのアクセス権が存在することは制約違反となる。   For example, as an example of a constraint, there is a SoD constraint between two constraint domains. More specifically, an SoD constraint having two constraint domains, that is, a constraint domain 1 in which an object is a file 1 and an action is written and a constraint domain 2 in which an object is a file 2 and an action is written can be considered. In the case of this SoD constraint, if a user who can be a subject has a read access right for both file 1 and file 2, or if a read access right and a write access right exist for each, it is a violation of the constraint. Absent. However, the presence of the write access right for both file 1 and file 2 is a constraint violation.

また、例えば、別のSoD制約の例として、3つ以上の制約ドメインにおいて、あるユーザのアクセス権が一定数以下(例えば2つ以下)の制約ドメインに存在することは許すが、一定数以上(例えば3つ以上)の制約ドメインに存在する場合は制約違反とする制約がある。このSoD制約は、例えば、多数存在するアクセス権について、権限集中を許す程度を定義する制約として用いられる。   Further, for example, as another example of the SoD constraint, in three or more constraint domains, a user's access right is allowed to exist in a constraint domain of a certain number or less (for example, two or less), but a certain number or more ( For example, there is a constraint that violates a constraint when it exists in three or more constraint domains. This SoD constraint is used, for example, as a constraint that defines the degree to which authority concentration is allowed for a large number of access rights.

また、例えば、別の制約の例として、制約ドメインを 1つもつ制約であり、その制約ドメインに該当するアクセス権が存在する場合に制約違反とする制約がある。この制約は、例えば、禁止するアクセス権を定義する制約として用いられる。   For example, another example of a constraint is a constraint having one constraint domain, and a constraint violation occurs when an access right corresponding to the constraint domain exists. This restriction is used, for example, as a restriction that defines a prohibited access right.

また、例えば、別の制約の例として、制約ドメインを 1つもつ制約であり、その制約ドメインに該当するアクセス権が存在しない場合に制約違反とする制約がある。この制約は、例えば、必須のアクセス権を定義する制約として用いられる。   For example, another example of a constraint is a constraint having one constraint domain, and there is a constraint that violates a constraint when there is no access right corresponding to the constraint domain. This restriction is used, for example, as a restriction that defines an essential access right.

また、例えば、別の制約の例として、制約ドメインを2つ以上もつ制約であり、ある1つの制約ドメインに該当するアクセス権が存在する際に、他方の1つ以上の制約ドメインに該当するアクセス権が存在しなければ制約違反とする制約がある。この制約は、例えば、いわゆるワークフローにおいて、前段で実行すべき処理のアクセス権が存在しない限り、後段で実行すべき処理のアクセス権の存在を認めない制約として用いられる。   Also, for example, as another example of a constraint, a constraint having two or more constraint domains, and when an access right corresponding to one constraint domain exists, an access corresponding to one or more other constraint domains If there is no right, there is a constraint that violates the constraint. For example, in the so-called workflow, this restriction is used as a restriction that does not allow the existence of the access right for the process to be executed in the subsequent stage unless the access right for the process to be executed in the previous stage exists.

さらに、例えば、別の制約の例として,制約ドメインを2つ以上もつ制約であり、ある1つの制約ドメインに該当するアクセス権が存在する際に、他方の1つ以上の制約ドメインに該当するアクセス権が存在すると制約違反とする制約がある。この制約は、例えば、特に動的SoD制約と呼ばれ、各制約ドメインに該当するアクセス権が単一では制約違反にならないが、前段のアクセス権が特定の制約ドメインに該当するときにのみ制約違反とする制約として用いられる。   Further, for example, as another example of a constraint, a constraint having two or more constraint domains, and when an access right corresponding to one constraint domain exists, access corresponding to one or more other constraint domains There is a constraint that violates the constraint if the right exists. This restriction is called a dynamic SoD restriction, for example, and a single access right corresponding to each restriction domain does not violate the restriction. However, a restriction violation occurs only when the access right in the previous stage corresponds to a specific restriction domain. Is used as a constraint.

ルール群が制約に違反していた場合(ステップS310のY)、ルール比較手段101は、その制約の制約IDと、ルールに記載されている(含まれる)アクセス権と、ポリシIDとを用いて、矛盾結果を生成する。次に、ルール比較手段101は、生成した矛盾結果を矛盾結果格納手段104に格納させて、ステップS302における処理に戻る(ステップS311)。   When the rule group violates the constraint (Y in step S310), the rule comparison unit 101 uses the constraint ID of the constraint, the access right described (included) in the rule, and the policy ID. , Generate contradictory results. Next, the rule comparison unit 101 stores the generated contradiction result in the contradiction result storage unit 104, and returns to the process in step S302 (step S311).

なお、アクセス権の矛盾を検証する際に、ルール比較手段101は、ポリシから導出されるルールを、アクセス権(s,o,aの組)を多次元座標空間上の点として扱う。例えばステップS310における処理を実行する際に、ルール比較手段101は、制約の影響下にある点(ルール)に制約を示す属性(制約ID)を付与し、その属性付きの点(制約付ルール)におけるサブジェクト(例えばs)が一致するかどうかを判定する。そのような方法によれば、アクセス権の関係を座標空間上の位置関係として比較できるので、SoD制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、容易に矛盾の検出・抽出を行うことができる。なお、ルール比較手段101は、座標空間上の点を比較する際に、その点の座標値に対する行列演算を用いて比較してもよい。   When verifying the contradiction of access rights, the rule comparison unit 101 treats the rule derived from the policy as a point on the multi-dimensional coordinate space with the access right (a set of s, o, a). For example, when executing the processing in step S310, the rule comparison unit 101 assigns an attribute (constraint ID) indicating a constraint to a point (rule) under the influence of the constraint, and a point with the attribute (constrained rule). It is determined whether or not the subjects (eg, s) in the match. According to such a method, since the relationship of access rights can be compared as a positional relationship in the coordinate space, it is easy to detect contradiction even for complex relationships based on the relationship between a plurality of subjects and objects such as SoD constraints. Extraction can be performed. Note that, when comparing the points on the coordinate space, the rule comparison unit 101 may perform the comparison using a matrix operation on the coordinate values of the points.

次に、矛盾結果参照手段103が行う矛盾結果参照処理(ステップS400における処理)について説明する。図6は、矛盾結果参照処理を示すフローチャートである。図6に示すように、矛盾結果参照手段103は、まず、矛盾結果格納手段104から、矛盾結果を取得(抽出)する(ステップS401)。次に、矛盾結果参照手段103は、取得した矛盾結果に記載されている(含まれる)制約IDを用いて、制約格納手段302から、その制約IDに該当する制約を検索し、取得(抽出)する(ステップS402)。   Next, the contradiction result reference process (the process in step S400) performed by the contradiction result reference unit 103 will be described. FIG. 6 is a flowchart showing the contradiction result reference process. As shown in FIG. 6, the contradiction result reference unit 103 first acquires (extracts) a contradiction result from the contradiction result storage unit 104 (step S401). Next, the contradiction result reference unit 103 searches for a constraint corresponding to the constraint ID from the constraint storage unit 302 using the constraint ID described (included) in the acquired contradiction result, and acquires (extracts) it. (Step S402).

次に、制約格納手段302から制約を取得すると、矛盾結果参照手段103は、取得した矛盾結果に記載されている(含まれる)ポリシIDを用いて、ポリシ格納手段202から、そのポリシIDに該当するポリシを検索し、取得(抽出)する(ステップS403)。   Next, when a constraint is acquired from the constraint storage unit 302, the contradiction result reference unit 103 uses the policy ID described (included) in the acquired contradiction result and corresponds to the policy ID from the policy storage unit 202. The policy to be searched is retrieved and acquired (extracted) (step S403).

次に、矛盾結果参照手段103は、取得した矛盾結果に対して、取得した制約と取得したポリシとに詳細な情報を付与し、矛盾結果表示用のUIを生成して表示装置に矛盾結果表示画面を表示させ、ユーザに対して表示させる(ステップS404)。例えば、矛盾結果参照手段103は、取得した制約とポリシとの内容から、必要な部分を取り出してテーブルとして表示させたり、単純に併記して表示させたりする。   Next, the contradiction result reference means 103 gives detailed information to the acquired constraint and the acquired policy for the acquired contradiction result, generates a contradiction result display UI, and displays the contradiction result on the display device. A screen is displayed and displayed to the user (step S404). For example, the contradiction result reference means 103 takes out necessary parts from the contents of the acquired constraints and policies and displays them as a table or simply displays them together.

以上のように、本実施形態によれば、アクセス権管理システムは、制約の対象となるアクセス権のうち、単一のアクセス権では矛盾の有無を判定できないものについて、制約付ルールとしてルール格納手段102に格納する。そして、アクセス権管理システムのルール比較手段101は、複数の制約付ルールに含まれるアクセス権同士を比較する。そのように構成されているので、例えば、SoD制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、矛盾の検出・抽出を行うことができる。   As described above, according to the present embodiment, the access right management system uses a rule storage means as a restricted rule for those access rights subject to restrictions that cannot be determined by a single access right. 102. Then, the rule comparison means 101 of the access right management system compares the access rights included in the plurality of restricted rules. Because of such a configuration, for example, contradiction can be detected and extracted even for a complicated relationship based on a relationship between a plurality of subjects and objects such as SoD constraints.

具体的には、本実施形態によれば、アクセス権管理システムにおいて、ポリシから導出されるルールをアクセス権(s,o,aの組)を用いた点として座標空間上にプロットし、制約の影響下にある点には制約を示す属性を付与する。そのようにすれば、SoD制約のようなより複雑な関係についても矛盾を検出・抽出できる。すなわち、アクセス権の関係を座標空間上の位置関係として比較することで、SoD制約のような複数のサブジェクトやオブジェクトの関係に基づく複雑な関係についても、容易に矛盾の検出・抽出を行うことができる。   Specifically, according to the present embodiment, in the access right management system, the rule derived from the policy is plotted on the coordinate space as a point using the access right (a set of s, o, a), and the constraint An attribute indicating a constraint is assigned to the affected point. By doing so, contradiction can be detected and extracted even for more complicated relationships such as SoD constraints. In other words, by comparing the relationship of access rights as a positional relationship in the coordinate space, it is possible to easily detect and extract inconsistencies even for complex relationships based on the relationship between multiple subjects and objects such as SoD constraints. it can.

また、例えば、特許文献1に記載されているアクセス権管理システムでは、単一組織のロール伝播規則以外について、矛盾の検出・抽出を高速かつ効率的に処理できないという問題がある。その理由は、特許文献1に記載されているアクセス権管理システムでは、サブジェクトやオブジェクトの関係について、深さが1つずつ深くなる単一のツリーで表現できることを想定しているためである。従って、より一般的な関係にあるサブジェクトやオブジェクトのグループ、例えば複数組織に基づく複数のツリーや複数のロールに跨る兼務のような、単一のツリー上の単一の深さで表現できないアクセス権の組み合わせを扱うことができない。その結果、人手やシミュレーションツールによって、全てのアクセス権を列挙し、人が見て確認することで矛盾を検出・抽出しなければならない。   Further, for example, the access right management system described in Patent Document 1 has a problem in that it cannot process conflict detection / extraction at high speed except for a role propagation rule of a single organization. The reason is that the access right management system described in Patent Document 1 assumes that the relationship between subjects and objects can be expressed by a single tree whose depth increases by one. Therefore, access rights that cannot be expressed at a single depth on a single tree, such as subjects or groups of objects in a more general relationship, such as multiple trees based on multiple organizations or concurrent roles across multiple roles. Cannot handle the combination of. As a result, all access rights must be enumerated by humans and simulation tools, and contradictions must be detected and extracted by human confirmation.

これに対して、本実施形態によれば、ルール比較手段101は、さらに、矛盾の検出・抽出に必要なアクセス権の比較処理を、ルール格納手段102に格納された同じ制約IDをもつルールのみに限定して行う。そのため、ポリシの変更があった際にも、その変更されたポリシが制約の影響下にあるときにのみ比較すればよく、比較対象となるアクセス権も該当する制約に関わるもののみを検査すればよいことになる。   On the other hand, according to the present embodiment, the rule comparison unit 101 further performs an access right comparison process necessary for detecting / extracting contradictions only for rules having the same constraint ID stored in the rule storage unit 102. Limited to. Therefore, even if there is a policy change, it is only necessary to compare when the changed policy is under the influence of the constraint, and if the access rights to be compared are only inspected for those constraints. It will be good.

すなわち、本実施形態によれば、アクセス権管理システムは、単一組織のロール伝播規則に限らず、全てのアクセス権を列挙して再検査することなく、効率的に矛盾を検出・抽出することできる。従って、単一組織のロール伝播規則に限らず、矛盾の検出・抽出を高速かつ効率的に処理することができる。また、ポリシに変更があった際であっても、全てのアクセス権を列挙して再検査することなく、効率的に矛盾を検出・抽出することができる。   That is, according to the present embodiment, the access right management system efficiently detects and extracts contradictions without enumerating all access rights and reexamining them, not just the role propagation rules of a single organization. it can. Therefore, not only the roll propagation rule of a single organization but also the detection and extraction of contradiction can be processed at high speed and efficiently. Even when the policy is changed, it is possible to efficiently detect and extract contradictions without enumerating all access rights and reexamining them.

換言すれば、矛盾の検出・抽出に必要なアクセス権の比較処理を、座標空間上で行い、制約を示す属性の付与された点のみに限定するので、単一組織のロール伝播規則に限らず、矛盾の検出・抽出を高速かつ効率的に処理することができる。そのようにすることによって、比較処理は単に座標同士の比較でよくなり、制約と無関係な点については比較処理を省くことができる。   In other words, the access right comparison process necessary to detect and extract contradictions is performed in the coordinate space and is limited to only those points with attributes indicating constraints. Inconsistency detection / extraction can be processed quickly and efficiently. By doing so, the comparison process is simply a comparison between coordinates, and the comparison process can be omitted for points unrelated to the constraints.

次に、本発明によるアクセス権管理システムの最小構成について説明する。図7は、アクセス権管理システムの最小の構成例を示す構成図である。図7に示すように、アクセス権管理システムは、最小の構成要素として、ルール比較手段101と、ルール格納手段102とを含む。   Next, the minimum configuration of the access right management system according to the present invention will be described. FIG. 7 is a configuration diagram showing a minimum configuration example of the access right management system. As shown in FIG. 7, the access right management system includes a rule comparison unit 101 and a rule storage unit 102 as minimum components.

図7に示す最小構成のアクセス権管理システムにおいて、ルール比較手段101は、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール格納手段102に格納させる機能を備える。また、ルール比較手段101は、ルール格納手段102に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する機能を備える。   In the access right management system with the minimum configuration shown in FIG. 7, the rule comparison means 101 generates a rule with a constraint in which an attribute specifying a restriction is given to an access right derived from a policy including an access right definition. A function for storing in the storage means 102 is provided. Further, the rule comparison unit 101 compares the positional relationship in the coordinate space of the points using the values constituting the access right for the access rights included in the restricted rule stored in the rule storage unit 102. It has a function to verify the contradiction of access rights.

図7に示す最小構成のアクセス権管理システムによれば、SoD制約のようなより複雑な関係についても矛盾を検出・抽出することができる。   According to the minimum configuration access right management system shown in FIG. 7, it is possible to detect and extract contradiction even for more complicated relationships such as SoD constraints.

なお、本実施形態では、以下の(1)〜(5)に示すようなアクセス権管理システムの特徴的構成が示されている。   In this embodiment, the characteristic configuration of the access right management system as shown in the following (1) to (5) is shown.

(1)アクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性(例えば、制約ID)を付与した制約付ルールを生成してルール記憶手段(例えば、ルール格納手段102によって実現される)に格納させ、ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点(例えば、ルールに対応する座標値)の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段(例えば、ルール比較手段101によって実現される)を備えたことを特徴とする。 (1) The access right management system is an access right management system that verifies inconsistencies in access rights, and is an attribute (for example, constraint ID) that specifies restrictions on access rights derived from a policy including access right definitions. A rule with restrictions is generated and stored in a rule storage means (for example, realized by the rule storage means 102), and the access rights included in the restricted rules stored in the rule storage means are targeted. Rule comparison means (for example, by the rule comparison means 101) that verifies the contradiction of the access right by comparing the positional relationship in the coordinate space of the points (for example, coordinate values corresponding to the rule) using the values constituting the access right. To be realized).

(2)アクセス権管理システムは、アクセス権の矛盾を検証するアクセス権管理システムであって、アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段(例えば、ルール格納手段102によって実現される)に格納させ、アクセス権が制約を満たしているか否かについて検証するために、ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段(例えば、ルール比較手段101によって実現される)を備えるように構成されていてもよい。 (2) The access right management system is an access right management system that verifies the contradiction of access rights, and takes at least one of a subject, an object, or an action that is a value constituting the access right as a coordinate axis. By expressing one access right as one point on the coordinate space, expressing a set of access rights as an area on the coordinate space, and restricting the access right to one or more in the coordinate space By defining points in advance as placement patterns that should or should not be placed on a region, the point of access right derived from a policy that includes the access right definition is within the restricted region. If the access right is related to the restriction, an identifier indicating that it corresponds to the area of the restriction is added. A constrained rule is generated and stored in a rule storage unit (for example, realized by the rule storage unit 102) and stored in the rule storage unit to verify whether the access right satisfies the constraint. Only access rights with identifiers related to the same restrictions as the access rights included in the rule are to be verified, and verify whether the access rights to be verified are in the arrangement pattern described in the restrictions. Thus, it may be configured to include a rule comparison unit (for example, realized by the rule comparison unit 101) for verifying whether there is a contradiction in access rights.

(3)アクセス権管理システムにおいて、ルール比較手段は、座標空間上で、制約を特定する属性が付与された点のみを比較対象にするとして、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証するように構成されていてもよい。 (3) In the access right management system, the rule comparison means accesses by comparing the positional relationship in the coordinate space, assuming that only the points to which the attribute specifying the constraint is given are compared in the coordinate space. It may be configured to verify a conflict of rights.

(4)アクセス権管理システムにおいて、ルール比較手段は、生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定するように構成されていてもよい。 (4) In the access right management system, when there is another rule that matches the access right derived from the constraint in the generated constrained rule, the rule comparison means, when the derived access right is single, You may be comprised so that it may determine with the contradiction of the access right having arisen.

(5)アクセス権管理システムにおいて、ルール比較手段は、複数のサブジェクト又はオブジェクトの関係に基づくSoD制約におけるアクセス権の矛盾を検証するように構成されていてもよい。 (5) In the access right management system, the rule comparison unit may be configured to verify the contradiction of access rights in the SoD constraint based on the relationship between a plurality of subjects or objects.

本発明は、アクセス権の矛盾の検証を行う用途に適用できる。特に、本発明は、SoD制約のような、複数のサブジェクトやオブジェクトの関係に基づく制約を対象としてアクセス権の矛盾検証を行うアクセス権管理システムに好適に適用できる。   The present invention can be applied to uses for verifying inconsistencies in access rights. In particular, the present invention can be suitably applied to an access right management system that performs inconsistency verification of access rights for constraints based on the relationship between a plurality of subjects and objects such as SoD constraints.

本発明によるアクセス権管理システムの一構成例を示すシステム構成図である。It is a system configuration | structure figure which shows one structural example of the access right management system by this invention. アクセス権管理システムの全体の処理を示すフローチャートである。It is a flowchart which shows the whole process of an access right management system. ポリシ編集手段におけるポリシ編集処理を示すフローチャートである。It is a flowchart which shows the policy edit process in a policy edit means. 制約編集手段における制約編集処理を示すフローチャートである。It is a flowchart which shows the constraint edit process in a constraint edit means. ルール比較手段におけるルール比較処理を示すフローチャートである。It is a flowchart which shows the rule comparison process in a rule comparison means. 矛盾結果参照手段における矛盾結果参照処理を示すフローチャートである。It is a flowchart which shows the contradiction result reference process in a contradiction result reference means. アクセス権管理システムの最小の構成例を示す構成図である。It is a block diagram which shows the minimum structural example of an access right management system.

符号の説明Explanation of symbols

100 矛盾検証装置
101 ルール比較手段
102 ルール格納手段
103 矛盾結果参照手段
104 矛盾結果格納手段
200 ポリシ管理装置
201 ポリシ編集手段
202 ポリシ格納手段
300 制約管理装置
301 制約編集手段
302 制約格納手段
100 Contradiction verification device 101 Rule comparison unit 102 Rule storage unit 103 Contradiction result reference unit 104 Contradiction result storage unit 200 Policy management unit 201 Policy editing unit 202 Policy storage unit 300 Constraint management unit 301 Constraint editing unit 302 Constraint storage unit

Claims (13)

アクセス権の矛盾を検証するアクセス権管理方法であって、
矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納し、
前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する
ことを特徴とするアクセス権管理方法。
An access right management method for verifying inconsistencies in access rights,
Based on the range of access rights targeted by the constraint that serves as the basis for inconsistency verification, a rule is created by generating a restricted rule with an attribute specifying the constraint for the access right derived from the policy that includes the access right definition Stored in storage means,
For access rights included in the restricted rules stored in the rule storage means, verify the contradiction of access rights by comparing the positional relationship in the coordinate space of the points using the values constituting the access rights An access right management method characterized by:
アクセス権の矛盾を検証するアクセス権管理方法であって、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、
アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納し、
アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する
ことを特徴とするアクセス権管理方法。
An access right management method for verifying inconsistencies in access rights,
By representing at least one of the subject, object or action, which is a value constituting the access right, on the coordinate axis, one access right is represented as one point on the coordinate space, and a set of access rights is represented. Expressed as a region in the coordinate space,
A policy including an access right definition is defined by predefining a restriction to be satisfied by the access right as an arrangement pattern in which a point should not be or should be arranged in one or more areas on the coordinate space. If the access right point derived from is within the restriction target area, a restriction rule with an identifier indicating that the access right is related to the restriction is generated. Stored in the rule storage means,
In order to verify whether or not the access right satisfies the restriction, only the access right with an identifier related to the same restriction as the access right included in the restricted rule stored in the rule storage unit is to be verified, An access right management method characterized by verifying whether or not there is a contradiction in access rights by verifying whether the access rights to be verified are in an arrangement pattern described in a constraint.
座標空間上で、制約を特定する属性が付与された点のみを比較対象として、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する請求項1又は請求項2記載のアクセス権管理方法。   The access according to claim 1 or 2, wherein the inconsistency of the access right is verified by comparing the positional relationship in the coordinate space only with respect to the point to which the attribute specifying the constraint is given in the coordinate space. Rights management method. 生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定する請求項1から請求項3のうちのいずれか1項に記載のアクセス権管理方法。   2. When there is another rule that matches the access right derived from the restriction in the generated constrained rule, and it is determined that the access right contradiction occurs when the derived access right is single. The access right management method according to any one of claims 1 to 3. 複数のサブジェクト又はオブジェクトの関係に基づくSoD制約におけるアクセス権の矛盾を検証する請求項1から請求項4のうちのいずれか1項に記載のアクセス権管理方法。   The access right management method according to any one of claims 1 to 4, wherein inconsistencies in access rights in a SoD constraint based on a plurality of subjects or object relationships are verified. アクセス権の矛盾を検証するアクセス権管理システムであって、
アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納させ、前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証するルール比較手段を備えた
ことを特徴とするアクセス権管理システム。
An access right management system for verifying inconsistencies in access rights,
Generate a constrained rule to which an attribute specifying a constraint is assigned to an access right derived from a policy including an access right definition, and store the constrained rule in the rule storage unit. Access comprising a rule comparison means for verifying inconsistencies in access rights by comparing the positional relationship of the points using the values constituting the access rights in the coordinate space for the included access rights Rights management system.
アクセス権の矛盾を検証するアクセス権管理システムであって、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納させ、アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証するルール比較手段を備えた
ことを特徴とするアクセス権管理システム。
An access right management system for verifying inconsistencies in access rights,
By representing at least one of the subject, object or action, which is a value constituting the access right, on the coordinate axis, one access right is represented as one point on the coordinate space, and a set of access rights is represented. Expressed as an area in the coordinate space, and the constraints that the access right should satisfy are defined in advance as an arrangement pattern in which points should not be or must be arranged for one or more areas in the coordinate space Thus, if the access right point derived from the policy including the access right definition is within the restriction target area, the identifier indicating that the access right is related to the restriction and that it corresponds to the restriction area. Generates a restricted rule with the added and stores it in the rule storage means to check whether the access right satisfies the restriction. In order to verify, only the access right with an identifier related to the same restriction as the access right included in the restricted rule stored in the rule storage means is to be verified, and the point of the access right to be verified is the restriction An access right management system comprising rule comparison means for verifying whether or not there is a contradiction in access rights by verifying whether or not the arrangement pattern described in FIG.
ルール比較手段は、座標空間上で、制約を特定する属性が付与された点のみを比較対象にするとして、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する請求項6又は請求項7記載のアクセス権管理システム。   The rule comparison unit verifies the contradiction of access rights by comparing the positional relationship in the coordinate space, assuming that only the points to which the attribute specifying the constraint is given are compared in the coordinate space. Or the access right management system of Claim 7. ルール比較手段は、生成した制約付ルールにおける制約から導出されたアクセス権と一致する他のルールがある場合に、導出されたアクセス権が単一であるときには、アクセス権の矛盾が生じていると判定する請求項6から請求項8のうちのいずれか1項に記載のアクセス権管理システム。   When there is another rule that matches the access right derived from the constraint in the generated restricted rule, the rule comparison means indicates that the access right contradiction occurs when the derived access right is single. The access right management system according to any one of claims 6 to 8, wherein the access right management system is determined. ルール比較手段は、複数のサブジェクト又はオブジェクトの関係に基づくSoD制約におけるアクセス権の矛盾を検証する請求項6から請求項9のうちのいずれか1項に記載のアクセス権管理システム。   The access right management system according to any one of claims 6 to 9, wherein the rule comparison unit verifies an inconsistency of access rights in the SoD constraint based on a plurality of subjects or object relationships. アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、
コンピュータに、
矛盾検証の基準となる制約が対象とするアクセス権の範囲に基づいて、アクセス権定義を含むポリシから導出されるアクセス権に対して制約を特定する属性を付与した制約付ルールを生成してルール記憶手段に格納する処理と、
前記ルール記憶手段に格納されている制約付ルールに含まれるアクセス権同士を対象として、アクセス権を構成する値を用いた点の座標空間上の位置関係を比較することによってアクセス権の矛盾を検証する処理とを
実行させるためのアクセス権管理用プログラム。
An access right management program for verifying inconsistencies in access rights,
On the computer,
Based on the range of access rights targeted by the constraint that serves as the basis for inconsistency verification, a rule is created by generating a restricted rule with an attribute specifying the constraint for the access right derived from the policy that includes the access right definition Processing to store in the storage means;
For access rights included in the restricted rules stored in the rule storage means, verify the contradiction of access rights by comparing the positional relationship in the coordinate space of the points using the values constituting the access rights A program for managing access rights to execute
アクセス権の矛盾を検証するためのアクセス権管理用プログラムであって、
コンピュータに、
アクセス権を構成する値である、サブジェクト、オブジェクト又はアクションのうち、少なくとも1つ以上を座標軸にとることによって、アクセス権1つを座標空間上の点1つとして表現するとともに、アクセス権の集合を座標空間上の領域として表現し、アクセス権が満たすべき制約を、当該座標空間上における1つ以上の領域に対して、点を配置すべきではない又は配置しなければならない配置パターンとして予め定義することによって、アクセス権定義を含むポリシから導出されたアクセス権の点が、制約の対象領域内であれば当該アクセス権が当該制約に関係するとして、当該制約の当該領域に対応することを示す識別子を付加した制約付ルールを生成してルール記憶手段に格納する処理と、
アクセス権が制約を満たしているか否かについて検証するために、前記ルール記憶手段に格納する制約付ルールに含まれるアクセス権と同一の制約に関係する識別子付きのアクセス権のみを検証対象とし、前記検証対象とするアクセス権の点が、制約に記載された配置パターンに有るか否かを検証することによって、アクセス権の矛盾の有無を検証する処理とを
実行させるためのアクセス権管理用プログラム。
An access right management program for verifying inconsistencies in access rights,
On the computer,
By representing at least one of the subject, object or action, which is a value constituting the access right, on the coordinate axis, one access right is represented as one point on the coordinate space, and a set of access rights is represented. Expressed as an area in the coordinate space, and the constraints that the access right should satisfy are defined in advance as an arrangement pattern in which points should not be or must be arranged for one or more areas in the coordinate space Thus, if the access right point derived from the policy including the access right definition is within the restriction target area, the identifier indicating that the access right is related to the restriction and that it corresponds to the restriction area. A process for generating a restricted rule to which is added and storing it in the rule storage means;
In order to verify whether or not the access right satisfies the restriction, only the access right with an identifier related to the same restriction as the access right included in the restricted rule stored in the rule storage unit is to be verified, An access right management program for executing a process of verifying whether there is a contradiction in access rights by verifying whether the access rights to be verified are in the arrangement pattern described in the constraint.
コンピュータに、
座標空間上で、制約を特定する属性が付与された点のみを比較対象として、座標空間上の位置関係を比較することによって、アクセス権の矛盾を検証する処理を実行させる
請求項11又は請求項12記載のアクセス権管理用プログラム。
On the computer,
The processing for verifying the contradiction of access rights is performed by comparing the positional relationship in the coordinate space only with respect to the point to which the attribute specifying the constraint is given in the coordinate space. 12. The access right management program according to 12.
JP2008032780A 2008-02-14 2008-02-14 Access right management method, access management system and access right management program Pending JP2009193289A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2008032780A JP2009193289A (en) 2008-02-14 2008-02-14 Access right management method, access management system and access right management program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2008032780A JP2009193289A (en) 2008-02-14 2008-02-14 Access right management method, access management system and access right management program

Publications (1)

Publication Number Publication Date
JP2009193289A true JP2009193289A (en) 2009-08-27

Family

ID=41075250

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2008032780A Pending JP2009193289A (en) 2008-02-14 2008-02-14 Access right management method, access management system and access right management program

Country Status (1)

Country Link
JP (1) JP2009193289A (en)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005182478A (en) * 2003-12-19 2005-07-07 Ntt Data Corp Access control system for detecting contradictory/redundant rule of access right and computer program therefor
JP2005284883A (en) * 2004-03-30 2005-10-13 Internatl Business Mach Corp <Ibm> Determination device, program, recording medium, and determination method
JP2007086893A (en) * 2005-09-20 2007-04-05 Canon Inc Access control method

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005182478A (en) * 2003-12-19 2005-07-07 Ntt Data Corp Access control system for detecting contradictory/redundant rule of access right and computer program therefor
JP2005284883A (en) * 2004-03-30 2005-10-13 Internatl Business Mach Corp <Ibm> Determination device, program, recording medium, and determination method
JP2007086893A (en) * 2005-09-20 2007-04-05 Canon Inc Access control method

Similar Documents

Publication Publication Date Title
US7647577B2 (en) Editing, creating, and verifying reorganization of flowchart, and transforming between flowchart and tree diagram
CN103631904B (en) System and method for selecting synchronous or asynchronous file access method during antivirus analysis
CN103279459B (en) Semantic diff and automerge
US11200214B2 (en) Construction and application of data cleaning templates
JP2021182415A (en) Techniques for configuring generic program using controls
US20150356280A1 (en) Systems and methods for determining compatibility between software licenses
Müller et al. A graph-based feature location approach using set theory
JP5555550B2 (en) Data conversion method, apparatus and program
WO2021022703A1 (en) Software project reconstruction method and device, and computer device and storage medium
Rios et al. A unifying framework for the systematic analysis of git workflows
JP5424062B2 (en) Access control system, access control method, and storage medium
Tebernum et al. DERM: A Reference Model for Data Engineering.
JP2013077124A (en) Software test case generation device
JP5029619B2 (en) Access right management method, access right management system, and access right management program
JP2009193289A (en) Access right management method, access management system and access right management program
JP5790820B2 (en) Inconsistency detection apparatus, program and method, correction support apparatus, program and method
JPH0850559A (en) File memory protector
JP4851872B2 (en) Layer editing system, server device, client device, and program
JP5359446B2 (en) Information processing system, access path determination method, and access path determination program
WO2015145992A1 (en) Non-functional-evaluation-parameter extraction device, non-functional-evaluation-parameter extraction method, and storage medium
US9038049B2 (en) Automated discovery of resource definitions and relationships in a scripting environment
US20240111523A1 (en) Chained pull requests in a source code management system
JP4564526B2 (en) Information creation support device and program
JP2012118609A (en) Sql verification system, method and program thereof
JP2011113298A (en) Shared source code analysis system, program, and recording medium

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20110114

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20120131

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20120228

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120425

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20120529