講演名 1997/11/14
オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
森多 俊之, 石原 靖哲, 関 浩之, 伊藤 実,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) データベースの安全性を維持するためにはデータ漏洩を検出することが重要である. オブジェクト指向デークベースにおけるデータ漏洩とは, ユーザが許可されたメソッドのみを用いて, 許可されていないメソッドの適用結果を得ることである. 本稿では, まず, 与えられたアクセス権のもとでのデータ漏洩を検出する問題を形式的に定義する. この問題は, 合同閉包問題に帰着することによって, 多項式時間で解くことが可能である. また, データ漏洩が起こらないようなアクセス権の極大な部分集合を求める問題についても述べる.
抄録(英) It is important to detect data flaws in order to keep the database secure. A data flaw in object-oriented databases means that users can infer the result of an unpermitted method only from permitted methods. The main aim of this paper is to show an efficient decision algorithm for detecting a data flaw under a given authorization. This problem is solvable in polynomial time in practical cases by reducing it to the congruence closure problem. This paper also mentions the problem to find a maximal subset of a given authorization under which no data flaw exists.
キーワード(和) オブジェクト指向データベース / アクセス権 / データ漏洩 / 項書換え系
キーワード(英) object-oriented database / authorization / data flaw / term rewriting system
資料番号 COMP97-66
発行日

研究会情報
研究会 COMP
開催期間 1997/11/14(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Theoretical Foundations of Computing (COMP)
本文の言語 ENG
タイトル(和) オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
サブタイトル(和)
タイトル(英) On the Detection Problem of Data Flaws in Object-Oriented Databases
サブタイトル(和)
キーワード(1)(和/英) オブジェクト指向データベース / object-oriented database
キーワード(2)(和/英) アクセス権 / authorization
キーワード(3)(和/英) データ漏洩 / data flaw
キーワード(4)(和/英) 項書換え系 / term rewriting system
第 1 著者 氏名(和/英) 森多 俊之 / Toshiyuki Morita
第 1 著者 所属(和/英) 奈良先端科学技術大学院大学 情報科学研究科
Graduate School of Information Science Nara Institute of Science and Technology
第 2 著者 氏名(和/英) 石原 靖哲 / Yasunori Ishihara
第 2 著者 所属(和/英) 奈良先端科学技術大学院大学 情報科学研究科
Graduate School of Information Science Nara Institute of Science and Technology
第 3 著者 氏名(和/英) 関 浩之 / Hiroyuki Seki
第 3 著者 所属(和/英) 奈良先端科学技術大学院大学 情報科学研究科
Graduate School of Information Science Nara Institute of Science and Technology
第 4 著者 氏名(和/英) 伊藤 実 / Minoru Ito
第 4 著者 所属(和/英) 奈良先端科学技術大学院大学 情報科学研究科
Graduate School of Information Science Nara Institute of Science and Technology
発表年月日 1997/11/14
資料番号 COMP97-66
巻番号(vol) vol.97
号番号(no) 375
ページ範囲 pp.-
ページ数 8
発行日