データベースにおけるセキュリティ検査のためのプログラム解析技術

Research Project

Project/Area Number	10780192
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	計算機科学
Research Institution	Kobe University
Principal Investigator	田島敬史神戸大学, 工学部, 助手 (60283876)
Project Period (FY)	1998 – 1999
Project Status	Completed (Fiscal Year 1999)
Budget Amount *help	¥1,700,000 (Direct Cost: ¥1,700,000) Fiscal Year 1999: ¥800,000 (Direct Cost: ¥800,000) Fiscal Year 1998: ¥900,000 (Direct Cost: ¥900,000)
Keywords	データベース / セキュリティ / アクセス制御 / バージョン / 依存関係 / コンフィギュレーション / アクセス管理 / アクセス権 / プログラム解析
Research Abstract	データベースにおけるセキュリティのための技術として,各データに関してセキュリティレベルの異なる複数のバージョンを用意し,ユーザがあるデータを要求した場合,そのユーザに許される範囲で最も情報量の多いバージョンを返すというアクセス制御の枠組を考える.この枠組をさらに依存関係のあるデータにも拡張する.データ間の依存関係とは,このデータを使う場合には必ずこのデータも必要になるという関係である.ここでは,依存関係は個々のバージョン間に定義されるものとする.すなわち,あるデータのあるバージョンは,別のデータの特定のバージョンに依存し,同じデータの異なるバージョンでは依存するデータはバージョンの違いに留まらず全く異なり得るとする.ただし,バージョン間には互換性に関する半順序が存在し,あるデータのあるバージョンを使用するために,そのデータが依存する別のデータのあるバージョンが必要となる時,それを互換性のある別のバージョンで置き換えることができるとする.このような状況の例としては,プログラムモジュール群において,各モジュールには複数のバージョンが存在するような場合があげられる.このような状況において,あるユーザがあるデータを要求した場合に,そのデータとそのデータが直接,関節に依存する全てのデータに関して,適切なバージョンを決定し,セキュリティ上問題のない結果をユーザに返す枠組を設計した.このようなバージョンの組合せを計算するアルゴリズムを与え,このアルゴリズムが正しい結果,すなわち,バージョン間の依存関係を互換性が許す範囲で保存し,かつそのユーザに許される範囲の情報しか与えない結果を返すことを証明した.