問合せ解像度に基づくデータベースの静的安全性確保に関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500092
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: メディア情報学・データベース
• 研究機関: 大阪大学
• 研究代表者: 石原 靖哲 大阪大学, 大学院・情報科学研究科, 准教授 (00263434)
• 研究期間 (年度): 2008 – 2010
• キーワード: データベースセキュリティ / 安全性検証

研究概要

本研究では,まず,データベースへの推論攻撃に対して,「問合せ解像度の高低関係」という概念に基づく静的な安全性定義を提案した.推論攻撃とは,ユーザが,実行を許可された問合せのみを用いて,許可されていない問合せの実行結果を推論することをいう.本研究ではさらに,連言問合せを対象とし,問合せ解像度に関連するいくつかの性質を示した.また,ある前提条件のもとで,問合せ間の解像度高低関係が成立するための判定可能な必要十分条件を与えた

研究成果

• [雑誌論文] Verification of the Security against Inference Attacks on XML Databases (2009)
  • 著者名/発表者名: Kenji Hashimoto, Kimihide Sakano, Fumikazu Takasuka, Yasunori Ishihara, Toru Fujiwara
  • 雑誌名: IEICE Transactions on Information and Systems Vol.E92-D, No.5 ページ: 1022-1032
  • 査読あり
• [学会発表] 連言問合せ間の解像度高低関係成立のための必要十分条件に関する考察 (2011)
  • 著者名/発表者名: 松村卓朗, 橋本健二, 石原靖哲, 藤原融
  • 学会等名: 第3回データ工学と情報マネジメントに関するフォーラム
  • 発表場所: ラフォーレ修善寺(静岡県)
  • 年月日: 2011-02-28
• [学会発表] XMLデータベースへの関数従属性を用いた推論攻撃に対する無限安全性検証法の提案 (2011)
  • 著者名/発表者名: 川居裕人, 橋本健二, 石原靖哲, 藤原融
  • 学会等名: 第3回データ工学と情報マネジメントに関するフォーラム
  • 発表場所: ラフォーレ修善寺(静岡県)
  • 年月日: 2011-02-28
• [学会発表] Extending the Tractability Results on XPath Satisfiability with Sibling Axes (2010)
  • 著者名/発表者名: Yasunori Ishihara, Shogo Shimizu, Toru Fujiwara
  • 学会等名: 7th International XML Database Symposium
  • 発表場所: Grand Copthorne Waterfront Hotel, Singapore
  • 年月日: 2010-09-17
• [学会発表] A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes (2009)
  • 著者名/発表者名: Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara
  • 学会等名: 12th International Symposium on Database Programming Languages
  • 発表場所: Cite Internationale, Lyon, France
  • 年月日: 2009-08-24
• [学会発表] データベースへの推論攻撃に対する問合せ解像度の高低関係を用いたインスタンス独立の安全性定義の提案 (2009)
  • 著者名/発表者名: 廣田祐一, 橋本健二, 石原靖哲, 藤原融
  • 学会等名: データ工学と情報マネジメントに関するフォーラム
  • 発表場所: ヤマハリゾートつま恋(静岡県)
  • 年月日: 2009-03-09
• [学会発表] データベースへの推論攻撃に対する問合せ解像度に基づいた安全性定義の提案 (2008)
  • 著者名/発表者名: 廣田祐一, 橋本健二, 石原靖哲, 藤原融
  • 学会等名: コンピュータセキュリティシンポジウム2008
  • 発表場所: 沖縄コンベンションセンター(沖縄県)
  • 年月日: 2008-10-09