静的解析を用いたXMLアクセス制御
スポンサーリンク
概要
- 論文の詳細を見る
XMLデータベースに対するアクセス制御ポリシーでは、アクセスの対象を指定するためにXPathなどのパス表現を用いることが多い。しかし、そのようなアクセス制御ポリシーは、XQueryのエンジンにとっては負担となる。この負担を軽減するために、我々はXMLアクセス制御のための静的解析を提案する。アクセス制御ポリシー、検索式、および、スキーマが与えられると、静的解析は、この検索式がスキーマでは許可されるがアクセス制御ポリシーによっては隠蔽される要素や属性にアクセスしないと保証されているかどうか決定する。静的解析は、実際のデータベースに対していかなる検索式をも評価することなく実行できるので、実行時の検査は、静的解析は決定できなかったときにだけ必要となる。我々は、XQueryのための静的解析のプロトタイプを実装し、実験によってその有効性を示した。
- 社団法人情報処理学会の論文
- 2003-07-17
著者
-
工藤 道治
日本アイ・ビー・エム東京基礎研究所
-
村田 真
日本IBM(株)東京基礎研
-
戸沢 晶彦
日本IBM(株)東京基礎研
-
村田 真
日本アイビーエム(株)東京基礎研究所
-
戸沢 晶彦
日本アイビーエム(株)東京基礎研究所
-
工藤 道治
日本アイビーエム(株)東京基礎研究所
-
羽田 知史
日本アイビーエム(株)東京基礎研究所
-
羽田 知史
日本アイ・ビー・エム(株)東京基礎研究所
-
工藤 道治
日本アイ・ビー・エム株式会社東京基礎研究所
関連論文
- 動的アプローチによる言語ベースの情報フロー制御(アクセス制御・認証,情報システムを支えるコンピュータセキュリティ技術の再考)
- Webアプリケーションにおける言語レベルの動的情報フロー制御(セッション3-C : 侵入検知(2))
- ビュースキーマを用いたXMLアクセス制御(XMLとアクセス制御)(夏のデータベースワークショップDBWS2004)
- ビュースキーマを用いたXMLアクセス制御(セッション2B : XMLとアクセス制御)(夏のデータベースワークショップ : DBWS2004)
- View Schemas for XML Access Control (夏のデータベースワークショップDBWS2004)
- 静的解析を用いたXMLアクセス制御
- 必須処理付きセキュリティポリシーのためのアクセス制御モデル
- XACL:XMLアクセス制御規則記述言語
- Boneh-Franklin分散RSA鍵生成法に基づいた時間鍵暗号の構成法
- インターネットにおける電子入札システム
- インターネットにおけるクレジット決済システム 3. クレジットカード会社用システム
- インターネットにおけるクレジット決済システム 2. 仮想商店システム
- インターネットにおけるクレジット決済システム 1. 消費者用システム
- 伝票処理アプリケーション構築環境におけるオブジェクト指向フレームワークの適用
- 伝票を用いたグループワーク構築環境の実装と業務構築における評価
- 帳票処理システムとそのアプリケーションモデル
- アプリケーションレベル分散セキュアグループのためのChinese-Wall型プロセス隔離手法
- Webアプリケーションにおける言語レベルの動的情報フロー制御(セッション3-C : 侵入検知(2))
- 来歴に基づくマルチレベルセキュリティ文書管理システム
- アカウンタビリティ・コンピューティング(一般,「Webサービス・クラウド」及び一般)
- 平成19年度情報処理学会喜安記念業績賞を受賞して : 受賞業績 Webサービス技術の基盤確立と標準化,ならびに普及への貢献(平成19年度喜安記念業績賞紹介)
- XMLとコンピュータサイエンス
- JAVA2のPermission機構のモデル化と実験
- 静的解析を用いたXMLアクセス制御
- オフィスでの協調作業を記述するルーティング・モデルの提案
- XMLとスキーマ言語
- GUIベースのコンピュータに適したアクセス制御ポリシ管理方法の提案
- アクセス条件テーブルを用いたXMLアクセス制御(XMLとアクセス制御)(夏のデータベースワークショップDBWS2004)
- アクセス条件テーブルを用いたXMLアクセス制御(セッション2B : XMLとアクセス制御)(夏のデータベースワークショップ : DBWS2004)
- A Path-table Based Access Control Model for XML Database System
- 必須処理付きセキュリティポリシーのためのアクセス制御モデル
- XMLの悩み:どこでどう使うべきか(インタラクティブ・エッセイ)
- 知識情報処理に基づく構造解析支援システムの研究
- 複合XML文書のNVDLによる検証のためのストリーム処理アルゴリズム(情報融合)
- パスオートマトンによるXML文書への型情報の付与(情報融合)
- 矩形表現された生産計画における対話的変更機構
- 4形式言語理論とXML(XML誕生秘話)
- SOAPにおける否認不可性の実現について
- SOAPにおける否認不可性の実現について
- ビジネスプロセスにおける複数属性類似パス検索を用いた将来予測
- EPUB 3 : 電子書籍フォーマット (特集 電子書籍の未来)
- XACMLアクセス制御ポリシー言語の国際標準化
- XML誕生秘話 : 3 国際化
- XML誕生秘話 : 2 個人と企業
- XML誕生秘話 : XML誕生秘話
- 乱立する新技術はXMLの実用化と関係ない(インタラクティブ・エッセイ)