XMLアクセス制御における木オートマトンを用いた静的解析

スポンサーリンク

概要

論文の詳細を見る
近年データベースセキュリティ分野において、XMLデータベースのアクセス制御が注目されている。XMLアクセス制御における静的解析とは、アクセス制御ポリシ(以下、ポリシと呼ぶ)と問い合わせが与えられたとき、その問合せの実行中に、ポリシによってアクセスが禁止された要素または属性へのアクセスが発生しないかどうかを調べることをいう。村田らは、静的解析のためポリシおよび問合せを木の中のパスの正規集合でモデル化しているが、このモデルでは木構造上の情報が失われることがある。本稿では、XMLのアクセス制御ポリシおよび問合せを木オートマトンでモデル化し、ポリシに対する2つの意味論(AND-意味論、OR-意味論)を与える。そして、静的解析問題の計算量が、AND-意味論の下ではO(n^2)時間可解であり、OR-意味論の下ではEXPTIME-完全であることを示す。
2005-06-17

著者

関連論文

もっと見る

スポンサーリンク