| 研究概要 |
XMLデータベースのためのアクセス制御の効率化を目標に,木オートマトン理論に基づく静的解析法の研究を行った.本研究の基本アイデアは,アクセス制御ポリシーおよび問い合わせをそれぞれ木オートマトンでモデル化し,問い合わせがアクセス制御ポリシーに違反するかどうか判定する問題を木オートマトンの言語の包含性判定に帰着して解くことである.AND意味論とOR意味論という二つの意味論を定義し,AND意味論では多項式時間で解析可能であるのに対しOR意味論では決定性指数時間完全であることなどを明らかにした.
|
