| 研究概要 |
オブジェクト指向データベースにおける問い合わせの推論攻撃に対する安全性についての研究成果は以下の通りである.
1.メソッドの安全性判定問題に関する考察
データベーススキーマとアクセス権が与えられたとき,どんなデータベースインスタンスのもとでも推論攻撃され得ないメソッドを,推論攻撃に対して安全なメソッドと呼ぶ.本研究では,メソッドの安全性判定問題が一般に決定不能であることを示し,メソッドが安全であるための多項式時間判定可能な十分条件を提案した.また,すべてのメソッドの引数の個数が1であるようなデータベーススキーマについては,上記の十分条件が必要条件にもなることを示した.
2.逐次的な安全性判定アルゴリズムの開発
データベースインスタンス,アクセス権およびメソッドが与えられたとき,そのインスタンスのもとでそのメソッドの実行結果が推論できるか否かはインスタンスのサイズの多項式時間で判定できることが,報告者らの以前の研究結果により知られている.しかし,安全であることがわかっているインスタンスの一部を変更したとき,インスタンス全体を用いて再検査するのは効率的ではない.本研究では,変更箇所がメソッドの実行結果の推論に影響を与えるための十分条件を求め,それを用いた逐次的安全性判定アルゴリズムを開発した.
3.逐次的安全性判断システムの試作
2で開発した逐次的安全性判定アルゴリズムの実装を現在行っている.
|
