(57)【要約】【課題】  ラベルベースセキュアＯＳのアクセス制御設定の追加設定を容易に実施可能にする。【解決手段】  ラベルで識別されるリソースに対しプロセス毎にドメインと呼ばれるアクセス権限及び操作内容を設定可能なラベルベースセキュアＯＳのセキュリティポリシ追加設定方法であって、ラベルベースセキュアＯＳが稼働するコンピュータ内に設けた変換手段により、既存のセキュリティポリシに対して追加設定するポリシについて名前ベースセキュアＯＳにおける設定書式で記述された追加セキュリティポリシの設定内容を受付け、ラベルベースセキュアＯＳのセキュリティポリシに追加可能な形式に変換し、変換後のセキュリティポリシの内容を既存のラベルベースセキュリティポリシに追加設定するステップを備える。【選択図】      図１
2008234263.tif 000002
【特許請求の範囲】
【請求項１】
ラベルで識別されるリソースに対しプロセス毎にドメインと呼ばれるアクセス権限及び操作内容を設定可能なラベルベースセキュアＯＳのセキュリティポリシ追加設定方法であって、
前記ラベルベースセキュアＯＳが稼働するコンピュータ内に設けた変換手段により、既存のセキュリティポリシに対して追加設定する追加セキュリティポリシについて名前ベースセキュアＯＳにおけるセキュリティポリシの設定書式で記述された追加セキュリティポリシの設定内容を受付け、ラベルベースセキュアＯＳのセキュリティポリシに追加可能な形式に変換し、変換後のセキュリティポリシの内容を既存のラベルベースセキュリティポリシに追加設定するステップを備えることを特徴とするラベルベースセキュアＯＳのセキュリティポリシ追加設定方法。
【請求項２】
前記変換手段が、名前ベースで記述されたセキュリティポリシの設定内容に対して、各リソース名に対するラベルを生成し、その生成したラベルを各リソース名に対応したリソースに付与し、各リソースにアクセス可能なドメイン及び操作内容を設定したラベルベースのセキュリティポリシ設定内容に変換し、既存のセキュリティポリシに追加設定するステップを備えることを特徴とする請求項１に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定方法。
【請求項３】
前記変換手段が、既存のセキュリティポリシで使用しているラベルと新規に生成したラベルとの競合があるかを調べ、競合するラベルがあった場合には競合関係を解消するステップを備えることを特徴とする請求項２に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定方法。
【請求項４】
前記変換手段が、既存のドメインがアクセス可能なリソース名に対するラベルを変更する必要が生じた場合、ラベルの変更を設定者に警告するステップを備えることを特徴とする請求項３に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定方法。
【請求項５】
ラベルで識別されるリソースに対しプロセス毎にドメインと呼ばれるアクセス権限及び操作内容を設定可能なラベルベースセキュアＯＳのセキュリティポリシ追加設定システムであって、
既存のセキュリティポリシに対して追加設定する追加セキュリティポリシについて名前ベースセキュアＯＳにおけるセキュリティポリシの設定書式で記述された追加セキュリティポリシの設定内容を受付け、ラベルベースセキュアＯＳのセキュリティポリシに追加可能な形式に変換し、変換後のセキュリティポリシの内容を既存のラベルベースセキュリティポリシに追加設定する変換手段を備えることを特徴とするラベルベースセキュアＯＳのセキュリティポリシ追加設定システム。
【請求項６】
前記変換手段が、名前ベースで記述されたセキュリティポリシの設定内容に対して、各リソース名に対するラベルを生成し、その生成したラベルを各リソース名に対応したリソースに付与し、各リソースにアクセス可能なドメイン及び操作内容を設定したラベルベースのセキュリティポリシ設定内容に変換し、既存のセキュリティポリシに追加設定する手段を備えるものであることを特徴とする請求項５に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定システム。
【請求項７】
前記変換手段が、既存のセキュリティポリシで使用しているラベルと新規に生成したラベルとの競合があるかを調べ、競合するラベルがあった場合には競合関係を解消する手段をさらに備えることを特徴とする請求項６に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定システム。
【請求項８】
前記変換手段が、既存のドメインがアクセス可能なリソース名に対するラベルを変更する必要が生じた場合、ラベルの変更を設定者に警告する手段をさらに備えることを特徴とする請求項７に記載のラベルベースセキュアＯＳのセキュリティポリシ追加設定システム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明はセキュアOSのセキュリティポリシの追加設定に係る方法及びシステムに関する。
【背景技術】
【０００２】
現在広く使われているOSのアクセス制御は、リソースの所有者がそのリソースへのアクセス権限を設定する。また、全ての権限をもつ特権というものが存在する。それに対してセキュアOSとは、全権を持つ特権を排除し、プロセス毎にドメインと呼ばれるアクセス権限を付与できるようにしたOSである。
プロセス毎にどんな権限を持つかという設定はセキュリティポリシファイルというファイルに記載されている。この機能により、プロセスが必要なリソースにだけアクセスすることがOSによって保証され、プロセスにセキュリティホールがあり、攻撃者にプロセスが乗っ取られたとしても、その被害を最小限にすることができる。
【０００３】
セキュアＯＳは、そのアクセス制御方法として、ラベルベースのセキュアＯＳと名前ベースのセキュアＯＳの２つに大きく分かれる。
ラベルベースのセキュアＯＳでは、ファイルやネットワークなどのリソースをラベルで識別する。すなわち、ファイルやネットワークにラベルという識別子を付与し、ドメインがどんなラベルにアクセスできるかを制御する。セキュリティポリシの設定としては、ラベルとリソースの対応付けと、ドメインがどんなラベルにアクセスできるかを設定する必要がある。
【０００４】
一方、名前ベースのセキュアＯＳでは、リソースをそのリソース名で識別する。例えば、ファイルならばファイル名、ネットワークならばポート番号やネットワークアドレスを識別子として用いる。そして、ドメインがどんな名前にアクセスできるかを制御する。セキュリティポリシの設定としては、ドメインがどんな名前にアクセスできるかを設定することになる。
セキュリティポリシの設定に関する技術としては、下記の特許文献１および非特許文献１のような技術がある。
特許文献１の技術は、アプリケーションのソースコードもしくはモデリング図を用いてセキュリティポリシを生成するものである。
【０００５】
【特許文献１】特開２００５−６３２２４
【発明の開示】
【発明が解決しようとする課題】
【０００６】
ラベルベースのセキュアＯＳにおけるセキュリティポリシの設定は、名前ベースのセキュアＯＳに比べて困難である。何故ならば、ラベルベースのセキュアＯＳの設定を行うには、ファイルにラベルを付与し、そのラベルに対してアクセス制御を行う必要があるため、ラベルとファイル名の対応付けの管理を行う必要があるからである。その上、設定者は、ラベルという概念に馴染んでおらず、ファイルをラベルではなくファイル名で識別することが多いため、ラベルベースのセキュアＯＳの設定は困難である。
【０００７】
ラベルベースのセキュアＯＳの設定を容易にするために、予めサンプルのセキュリティポリシを数多く用意しておくことが考えられる。しかし、全ての用途のセキュリティポリシを用意することは事実上不可能であり、セキュリティポリシの追加の必要が生じる。
セキュリティポリシの追加を行う際には、設定の手間が生じる。前述の特許文献１の方法であっても、追加セキュリティポリシを生成することが可能ではあるが、アプリケーションのソースコードもしくはアプリケーションの設計モデリング図を必要とするため、これらが用意されていないアプリケーションに関するセキュリティポリシを設定することはできない。
【０００８】
本発明の目的は、アプリケーションのソースコードもしくはアプリケーションの設定モデリング図を必要とせず、ラベルベースのセキュアＯＳにおけるセキュリティポリシの追加設定を容易にする方法及びシステムを提供することである。
【課題を解決するための手段】
【０００９】
上記課題を解決するために、本発明に係る方法は、ラベルで識別されるリソースに対しプロセス毎にドメインと呼ばれるアクセス権限及び操作内容を設定可能なラベルベースセキュアＯＳのセキュリティポリシ追加設定方法であって、
前記ラベルベースセキュアＯＳが稼働するコンピュータ内に設けた変換手段により、既存のセキュリティポリシに対して追加設定する追加セキュリティポリシについて名前ベースセキュアＯＳにおけるセキュリティポリシの設定書式で記述された追加セキュリティポリシの設定内容を受付け、ラベルベースセキュアＯＳのセキュリティポリシに追加可能な形式に変換し、変換後のセキュリティポリシの内容を既存のラベルベースセキュリティポリシに追加設定するステップを備えることを特徴とする。
また、前記変換手段が、名前ベースで記述されたセキュリティポリシの設定内容に対して、各リソース名に対するラベルを生成し、その生成したラベルを各リソース名に対応したリソースに付与し、各リソースにアクセス可能なドメイン及び操作内容を設定したラベルベースのセキュリティポリシ設定内容に変換し、既存のセキュリティポリシに追加設定するステップを備えることを特徴とする。
また、前記変換手段が、既存のセキュリティポリシで使用しているラベルと新規に生成したラベルとの競合があるかを調べ、競合するラベルがあった場合には競合関係を解消するステップを備えることを特徴とする。
また、前記変換手段が、既存のドメインがアクセス可能なリソース名に対するラベルを変更する必要が生じた場合、ラベルの変更を設定者に警告するステップを備えることを特徴とする。
【００１０】
本発明に係るシステムは、ラベルで識別されるリソースに対しプロセス毎にドメインと呼ばれるアクセス権限及び操作内容を設定可能なラベルベースセキュアＯＳのセキュリティポリシ追加設定システムであって、
既存のセキュリティポリシに対して追加設定する追加セキュリティポリシについて名前ベースセキュアＯＳにおけるセキュリティポリシの設定書式で記述された追加セキュリティポリシの設定内容を受付け、ラベルベースセキュアＯＳのセキュリティポリシに追加可能な形式に変換し、変換後のセキュリティポリシの内容を既存のラベルベースセキュリティポリシに追加設定する変換手段を備えることを特徴とする。
また、前記変換手段が、名前ベースで記述されたセキュリティポリシの設定内容に対して、各リソース名に対するラベルを生成し、その生成したラベルを各リソース名に対応したリソースに付与し、各リソースにアクセス可能なドメイン及び操作内容を設定したラベルベースのセキュリティポリシ設定内容に変換し、既存のセキュリティポリシに追加設定する手段を備えるものであることを特徴とする。
また、前記変換手段が、既存のセキュリティポリシで使用しているラベルと新規に生成したラベルとの競合があるかを調べ、競合するラベルがあった場合には競合関係を解消する手段をさらに備えることを特徴とする。
また、前記変換手段が、既存のドメインがアクセス可能なリソース名に対するラベルを変更する必要が生じた場合、ラベルの変更を設定者に警告する手段をさらに備えることを特徴とする。
【発明の効果】
【００１１】
本発明によれば、アプリケーションのソースコードもしくはアプリケーションの設定モデリング図を必要とせず、ラベルベースのセキュアＯＳにおけるセキュリティポリシの追加設定を容易にすることができる。
また、ラベルの競合を解決する機能を付加したことにより、既存のセキュリティポリシが悪影響を受けるのを防止することができる。
さらに、既存のセキュリティポリシにおけるラベルを変更する場合には設定者に警告を発することにより、設定者は既存のラベルの変更を確実に認識し、その変更が既存のセキュリティポリシに悪影響を与えるような場合には、追加設定を阻止することができる。
【発明を実施するための最良の形態】
【００１２】
以下、本発明の一実施形態を図面を参照しながら説明する。
図１は、本発明に係るラベルベースセキュアＯＳにおけるセキュリティポリシの設定方法を適用したコンピュータシステムの全体構成を示す図である。
図１において、コンピュータ１１０にはセキュアＯＳ１１１が搭載されている。
セキュアＯＳ１１１は、セキュリティポリシファイル１１２を参照してリソースに対するアクセス制御を行う。セキュリティポリシの設定者１２０が、セキュリティポリシファイル１１２に対する追加設定を行う。その際、追加設定を追加セキュリティポリシファイル１１３に記述する。これは、図６で後述するように、設定者に分かりやすい形式で記述することができる。
追加セキュリティポリシファイル１１３は、変換プログラム１１４によって、変換後セキュリティポリシファイル１１５に変換される。
変換後セキュリティポリシファイル１１５は、セキュリティポリシファイル１１２に追加し、セキュアＯＳ１１１に読み込ませることで、設定者１２０が追加設定した内容を反映させる。
【００１３】
図２は、コンピュータ１１０の詳細な構成を示した図である。
セキュアＯＳ１１１は、ラベルベースのアクセス制御手段２１１を搭載している。
ラベルベースのアクセス制御手段２１１は、プロセスにドメインを、ファイルなどのリソースにラベルを付与し、「ドメインがどんなラベルにどんなアクセスができるか」というアクセス制御を行う。その設定は、セキュリティポリシファイル１１２に格納されている。
セキュリティポリシファイル１１２は、ラベルベースアクセス制御設定ファイル２２１、ラベル付与設定ファイル２２２、ドメイン付与設定ファイル２２３で構成されている。これらの詳細は、図３，４，５で説明する。
追加セキュリティポリシファイル１１３は、名前ベースアクセス制御設定ファイル２３１で構成されている。その詳細は、図６で説明する。
変換後セキュリティポリシファイル１１５は、変換後ラベルベースアクセス制御設定ファイル２４１、変換後ラベル付与設定ファイル２４２、変換後ドメイン付与設定ファイル２４３から成り立っている。これら３つの詳細は、図７，８，９で説明する。
変換プログラム１１４は、追加セキュリティポリシファイル１１３をセキュリティポリシファイル１１２に変換する。その詳細は、図１０で説明する。
【００１４】
図３は、ラベルベースアクセス制御設定ファイル２２１の詳細な構成を示した図である。
ラベルベースアクセス制御設定ファイル２２１では、ドメイン３１０、ラベル３２０、操作３３０の組を指定して設定する。
ドメイン３１０は、プロセスに付与される識別子である。
ラベル３２０は、リソース（ファイルやネットワークなど、プロセスがアクセスする対象のこと）に付与される識別子である。
操作３３３０は、ドメインがラベルにどんな操作ができるかを表す。例えば１行目は、httpd_tドメインは、homepage_tというラベルが付与されたリソースに対して、read(読み込み)操作ができる、という設定内容であることを示している。なお、このファイルに明示的に記述されていない場合のアクセスは全て不可になる。
【００１５】
図４は、ラベル付与設定ファイル２２２の詳細な構成を示した図である。
ラベル付与設定ファイル２２２では、リソース名４１０に、ファイル名などリソース名を列挙する。ラベル４２０に列挙されたリソース名に対して、どんなラベルを付与するかを記述する。例えば、行４３１は、/etcディレクトリ以下のリソースにconfig_tという名前のラベルを付与していることを意味する。
【００１６】
図５は、ドメイン付与設定ファイル２２３の詳細な構成を示した図である。
ドメイン付与設定ファイル２２３では、ドメイン５１０にドメインを列挙する。
プログラム５２０にはプログラムの実行ファイル名を列挙する。例えば、1行目は、/usr/sbin/httpdという実行ファイルから起動したプロセスにhttpd_tというドメインを付与している、という意味である。
なお、プログラム５２０には条件を付与することも可能である。例えば、２行目では、「/usr/bin/loginから、/bin/shを起動し、/bin/shのユーザidがrootの時、admin_tドメインを付与する」という設定をしている。
【００１７】
図６は、名前ベースアクセス制御設定ファイル２３１の詳細な構成を示した図である。
名前ベースアクセス制御設定ファイル２３１では、ドメイン６１０、プログラム６２０に、プロセスにどんなドメインを付与するのかを設定する。本例の場合、「/usr/sbin/ftpdから起動したプロセスにftpd_tドメインを付与する」という設定をしたことを示している。
また、リソース名６３０、操作６４０にて、ドメイン６１０にどんなアクセスを許可するのかを設定する。行６５１，６５２での設定内容は「ftpd_tドメインに、/var/ftp,/etcディレクトリ以下のファイルにread(読み込み)を許可する」という設定をしたことを示している。
【００１８】
図７は、変換後ラベルベースアクセス制御設定ファイル２４１の詳細な構成である。
設定内容の意味は、ラベルベースアクセス制御設定ファイル２２１と同じである。
【００１９】
図８は、変換後ラベル付与設定ファイル２４２の詳細な構成である。
表の意味はフラグ８３０を除いてラベル付与設定ファイル２２２と同じである。
フラグ８３０に、変換プログラム１１４が付与した補足情報を格納する。
【００２０】
図９は、変換後ドメイン付与設定２４３の詳細な構成である。
表の意味は、ドメイン付与設定ファイル２２３と同じである。
【００２１】
図１０は、変換プログラム１１４の処理の流れを示した図である。
以下、各ステップ毎に説明する。
まず、ステップ１０１０において、追加セキュリティポリシファイル１１３を入力として、変換後セキュリティポリシファイル１１５を生成する。この処理の詳細は、図１１で説明する。
次にステップ１０２０において、変換後セキュリティポリシファイル１１５を読み込み、変換結果を表示する。この詳細は図１２で説明する。
次に、ステップ１０３０において、ステップ１０２０の表示結果を元に、変換後セキュリティポリシファイル１１５を、セキュリティポリシファイル１１２に統合することで、設定内容を反映する。この詳細は図１８で説明する。
【００２２】
以下、どのようにして変換プログラム１１４が処理を行うのかを、実際の入力を例にしながら説明する。
図１１は、図１０のステップ１０１０における名前ベース・ラベルベースセキュリティポリシ変換処理の詳細な処理を示すフローチャートである。
まず、ステップ１１１０において、名前ベースアクセス制御ファイル２３１を読み込み、リソース名６３０からラベルを生成する。
図６の例の場合、６５１のリソース名「/var/ftp/**」については「var_ftp_t」というラベルを、６５２のリソース名「/etc/**」については「etc_t」という名前のラベルを生成する。
そして、生成したラベルとリソース名の対応付けを、変換後ラベル付与設定ファイル２４２に出力する。ただし、ラベル付与設定ファイル２２２に既にラベル付けされているファイルについては、出力しない。今回の場合、「/var/ftp/**にvar_ftp_tを付与する」設定は、８４１のように出力する。ただし、「/etc/**にetc_tを付与する」設定については、４３１を見てみると、既に/etc/**にconfig_tを付与する設定がされているため、変換後ラベル付与設定ファイル２４２には出力しない。
【００２３】
次に、ステップ１１２０において、名前ベースアクセス制御ファイル２３１の６３０，６４０でアクセスを許可された設定について、ラベル付与設定ファイル２２２および変換後ラベル付与設定ファイル２４２を参照しながら、変換後ラベルベースアクセス制御設定ファイル２４１に出力する。この処理の詳細を図１２に示す。
【００２４】
行６５１について、図１２のステップに沿って処理を説明する。
ステップ１２２０では、リソース名をキーとして、ラベル付与後設定ファイル２２２及び変換後ラベル付与設定ファイル２４２を探索し、対応するラベルを取得する。
ここでは、/var/ftp/**には、８４１のようにvar_ftp_tラベルが付与されているため、var_ftp_tラベルを得る。
次に、ステップ１２３０では、名前ベースアクセス制御ファイル２３１に記述されたドメイン、ステップ１２２０で取得したラベル、操作６４０を変換後ラベルベースアクセス制御設定ファイル２４１に出力する。従って、ステップ１２３０では、図７の７４１のような出力がされることになる。同様に、行６５２については、７４２のような出力となる。
【００２５】
図１１に戻り、ステップ１１３０において、ステップ１１２０で出力漏れがあるアクセス許可を出力する。ここの処理の詳細を図１３に示す。
ステップ１３１０において、名前ベースアクセス制御ファイル２３１のリソース名６３０、操作６４０の各行について以下を繰り返す。
ステップ１３２０においいて、リソース名６３０の下位ディレクトリが、ラベル付与設定ファイル２２２および変換後ラベル付与設定２４２のリソース名にあるかを確認する。
図６の行６５１の場合、/var/ftp/**の下位ディレクトリとして、ラベル付与設定ファイル２２２に行４３４に「/var/ftp/www/**」がある（対応するラベルはhomepage_t）ので、次のステップに進む。行６５２の場合は、該当するものがないので処理は終わる。
次に、ステップ１３３０において、ドメイン６１０、ステップ１３２０で対応するラベル、操作６４０を変換後ラベルベースアクセス制御設定ファイル２４１に出力する。今回の場合、ドメインftpd_t,ラベルhomepage_t,操作readとなるので、７４３のような出力になる。
【００２６】
図１１に戻り、ステップ１１４０において新規作成ラベルの衝突解決処理を行う。
即ち、ステップ１１１０で、新規にラベルが付与されるが、これにより、既存ポリシファイルに設定されたドメインが、今までアクセスできていたファイル名にアクセスできなくなる事態が生じる。例えば、今回の場合だと、当初は、admin_tは、var_t(/var/以下に付与されたラベル)に読み書きアクセスができるため、/var/ftp/**にも読み書きアクセスが許可されている。
一方、ステップ１１１０で、/var/ftp/**に、var_ftp_tがラベル付けされた。これにより、admin_tは、/var/ftp/にアクセスできなくなってしまったため、これを解決するための処理である。この処理の詳細を図１４に示す。
【００２７】
図１４のステップ１４１０において、変換後ラベル付与設定ファイル２４２の各行について以下を繰り返す。今回の例では、８４２は、この段階では記述されていないため、８４１の１行だけである。
ステップ１４２０において、ラベルベースアクセス制御ファイル２２１の各行について以下を繰り返す
ステップ１４３０では、ラベル３２０が、ラベル８２０より上位ディレクトリに付与されているかをチェックする。されているなら、ステップ１４４０に進む、されていなければステップ１４２０に戻る。
８４１のラベル「var_ftp_tは/var/ftp/**」に付与されているが、３４２のラベル「var_t」は「/var/**」に付与されているため、この条件に当てはまることが分かる。
ステップ１４４０において、ドメイン３１０、ラベル８２０、操作３４２を変換後ラベルベースアクセス制御設定ファイル２４１に出力する。
今回の例の場合、行３４１のドメイン３１０は「admin_t」、ラベル８２０は「var_ftp_t」、操作３４２は「read,write」であるため、変換後ラベルベースアクセス制御設定ファイル２４１には、７４４のように出力される。
これにより、これにより、admin_tは、/var/ftp/にアクセスできなくなってしまった問題が解決される。
【００２８】
図１１に戻り、ステップ１１５０ではラベル変更処理を行う。
即ち、ステップ１１３０で生成された、変換後ラベルベースアクセス制御設定ファイル２４１の行７４３には、問題が含まれている。例えば、ラベルhomepage_tは、/var/www/**にも与えられているため、ftpd_tに/var/www/**へのアクセスも許可されるからである。これは、名前ベースアクセス制御設定ファイル２３１で許可されていない設定である。これを解決するには、/var/ftp/www以下に、新たなラベルを定義する必要がある。図１５にその処理の詳細を示す。
まず、ステップ１５１０において、変換後ラベルベースアクセス制御設定ファイル２４１の各行について以下を繰り返す
ステップ１５２０において、ラベル７２０がどんなファイルに付与されているかチェックする。複数のファイルまたはディレクトリに付与されている場合は、ステップ１５３０に進む。今回の場合は、行７４３のhomepage_tのみが、/var/www/**,/var/ftp/www/**と複数のディレクトリに付与されているため、行７４３のみが処理対象になる。
ステップ１５３０において、処理対象のラベルを新しいラベルで置き換える。今回の場合は、homepage_tというラベルを新しいラベルで書き換える。新しいラベルの生成方法であるが、homepage_tというラベルにアクセスしているドメインから生成してもよい。今回の場合、ftpd_t, httpd_tがhomepage_tにアクセスしているので、ftpd_httpd_homepage_tというラベルを作る。
そして、変換後ラベルベースアクセス制御設定ファイル２４１のhomepage_tというラベルを、ftpd_httpd_homepage_tで置き換える。
【００２９】
さらに、変換後ラベル付与設定ファイル２４２に、ラベル付与設定を８４２のように追加する。
ステップ１５４０においては、ステップ１５３０で、ラベルを変更したため、変更前のラベルにアクセスしていたドメインがアクセスできなくなる。今回の例の場合、行３４１のようにhttpd_tがhomepage_tにread許可されているが、/var/ftp/www/**にアクセスできなくなってしまう。httpd_tに、ステップ１５３０で新規作成されたラベルに対するアクセス許可設定を追加する。本処理の結果、変換後ラベルベースアクセス制御設定ファイル２４１は、図１６のようになる。
【００３０】
以上で、ステップ１０１０の処理を具体例と共に示した。この結果をステップ１０２０で表示すると、図１７のようになる。
名前ベースアクセス制御ファイル２３１のドメイン６１０、プログラム６２０が１７１０に表示される。変換後ラベルベースアクセス制御設定ファイル２４１の行１６１１〜１６１６が１７２０に表示される。
さらに、変換後ラベル付与設定ファイル２４２の行８４１，８４２が１７３０に表示される。
ここで、フラグ８３０が「ラベル変更」となっているものについては、１７３１のように強調表示して設定者に注意を促す。
「設定を適用」ボタン１７４０を選択すると、１７１０，１７２０，１７３０の内容がステップ１０３０の設定反映処理によって設定が反映される。反映処理の流れは図１８に示した。
【００３１】
ステップ１８１０では、図１７の１７１０に表示された結果をドメイン付与設定ファイル２２３に追加する。また、１７２０に表示された結果を、ラベルベースアクセス制御設定ファイル２２１に追加する。さらに１７３０に表示された結果を、ラベル付与設定ファイル２２２に追加する。
続くステップ１８２０では、セキュリティポリシファイル１１２をセキュアＯＳ１１１にロードする。さらに、１７３０に表示されているファイルについては、ラベル付けが変更になっているため、ラベル付け設定内容を反映する。
【００３２】
以上のようにして、追加設定をリソース名を用いて行い、それを変換し、既存ポリシファイルに設定を追加し、設定を反映することができた。さらに、既存ポリシファイルに記述されたドメイン「admin_t」、「httpd_t」がアクセス可能なリソース名は、追加設定前と同じである。
図１４、図１５の処理で行１６１４、行１６１５、行８４２を設定することにより、これは実現されている。
【図面の簡単な説明】
【００３３】
【図１】本発明の実施の形態を示す全体構成図である。
【図２】図１におけるコンピュータの構成を示した図である。
【図３】ラベルベースアクセス制御設定ファイルの構成を示した図である。
【図４】ラベル付与設定ファイルの構成を示した図である。
【図５】ドメイン付与設定ファイルの構成を示した図である。
【図６】名前ベースアクセス制御設定ファイルの構成を示した図である。
【図７】変換後ラベルベースアクセス制御設定ファイルの構成を示した図である。
【図８】変換後ラベル付与設定ファイルの構成を示した図である。
【図９】変換後ドメイン付与設定ファイルの構成を示した図である。
【図１０】変換プログラムの処理の流れを示したフローチャートである。
【図１１】名前ベース・ラベルベース変換処理の流れを示したフローチャートである。
【図１２】アクセス許可設定作成処理の流れを示したフローチャートである。
【図１３】下位ディレクトリチェック処理の流れを示したフローチャートである。
【図１４】新規作成ラベル衝突解決処理の流れを示したフローチャートである。
【図１５】ラベル変更処理の流れを示したフローチャートである。
【図１６】名前ベース・ラベルベースポリシ変換処理後の変換後ラベルベースアクセス制御設定の構成を示した図である。
【図１７】結果表示画面を示した図である。
【図１８】設定反映処理の流れを示したフローチャートである。
【符号の説明】
【００３４】
１１０    コンピュータ
１１１    セキュアＯＳ
１１２    ポリシファイル
１１３    追加ポリシファイル
１１４    変換プログラム
１１５    変換後ポリシファイル
【図１】
2008234263.tif 000003
【図２】
2008234263.tif 000004
【図３】
2008234263.tif 000005
【図４】
2008234263.tif 000006
【図５】
2008234263.tif 000007
【図６】
2008234263.tif 000008
【図７】
2008234263.tif 000009
【図８】
2008234263.tif 000010
【図９】
2008234263.tif 000011
【図１０】
2008234263.tif 000012
【図１１】
2008234263.tif 000013
【図１２】
2008234263.tif 000014
【図１３】
2008234263.tif 000015
【図１４】
2008234263.tif 000016
【図１５】
2008234263.tif 000017
【図１６】
2008234263.tif 000018
【図１７】
2008234263.tif 000019
【図１８】
2008234263.tif 000020