• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A study on static security of databases based on query resolution

Research Project

Project/Area Number 20500092
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Media informatics/Database
Research InstitutionOsaka University

Principal Investigator

ISHIHARA Yasunori  Osaka University, 大学院・情報科学研究科, 准教授 (00263434)

Project Period (FY) 2008 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2008: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywordsデータベースセキュリティ / 安全性検証 / 推論攻撃 / 安全性定義 / インスタンス独立
Research Abstract

In this study, we first proposed static security definitions against inference attacks on databases, based on a concept of "query resolution". Inference attacks mean that an attacker tries to infer the execution result of a query unauthorized to the attacker from the execution results of queries authorized to the attacker. Then, we focused on conjunctive queries and showed some properties of query resolution. Moreover, under some assumptions, we proposed decidable necessary and sufficient conditions for existence of resolution relation between two conjunctive queries.

Report

(4 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (21 results)

All 2011 2010 2009 2008

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (19 results)

  • [Journal Article] Verification of the Security against Inference Attacks on XML Databases2009

    • Author(s)
      Kenji Hashimoto, Kimihide Sakano, Fumikazu Takasuka, Yasunori Ishihara, Toru Fujiwara
    • Journal Title

      IEICE Transactions on Information and Systems Vol.E92-D, No.5

      Pages: 1022-1032

    • NAID

      10026809340

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Verification of the Security against Inference Attacks on XML Databases2009

    • Author(s)
      Kenji Hashimoto, Kimihide Sakano, Fumikazu Takasuka, Yasunori Ishihara, Toru Fujiwara
    • Journal Title

      IEICE Transactions on Information and Systems E92-D

      Pages: 1022-1032

    • NAID

      10026809340

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Presentation] 連言問合せ間の解像度高低関係成立のための必要十分条件に関する考察2011

    • Author(s)
      松村卓朗, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      第3回データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      ラフォーレ修善寺(静岡県)
    • Year and Date
      2011-02-28
    • Related Report
      2010 Annual Research Report 2010 Final Research Report
  • [Presentation] XMLデータベースへの関数従属性を用いた推論攻撃に対する無限安全性検証法の提案2011

    • Author(s)
      川居裕人, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      第3回データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      ラフォーレ修善寺(静岡県)
    • Year and Date
      2011-02-28
    • Related Report
      2010 Annual Research Report 2010 Final Research Report
  • [Presentation] XMLスキーマで定義された型とXPath式との対応の解析およびその複雑度2011

    • Author(s)
      大野敦司, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      第3回データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      ラフォーレ修善寺(静岡県)
    • Year and Date
      2011-02-27
    • Related Report
      2010 Annual Research Report
  • [Presentation] The Validity Problem of Positive XPath Queries in the Presence of DTDs2010

    • Author(s)
      Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      ホテル天坊(群馬県)
    • Year and Date
      2010-12-15
    • Related Report
      2010 Annual Research Report
  • [Presentation] Extending the Tractability Results on XPath Satisfiability with Sibling Axes2010

    • Author(s)
      Yasunori Ishihara, Shogo Shimizu, Toru Fujiwara
    • Organizer
      7th International XML Database Symposium
    • Place of Presentation
      Grand Copthorne Waterfront Hotel, Singapore
    • Year and Date
      2010-09-17
    • Related Report
      2010 Final Research Report
  • [Presentation] Extending the Tractability Results on XPath Satisfiability with Sibling Axes2010

    • Author(s)
      Yasunori Ishihara, Shougo Shimizu, Toru Fujiwara
    • Organizer
      7th International XML Database Symposium
    • Place of Presentation
      Grand Copthorne Waterfront Hotel(シンガポール)
    • Year and Date
      2010-09-17
    • Related Report
      2010 Annual Research Report
  • [Presentation] XML文書集合の極大共通構造を表すXPath 式の導出法及びその計算量2010

    • Author(s)
      小倉達也, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      淡路夢舞台国際会議場 (兵庫県)
    • Year and Date
      2010-03-01
    • Related Report
      2009 Annual Research Report
  • [Presentation] XMLスキーマに対する等価変換操作群の提案とその評価2010

    • Author(s)
      山田大, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      淡路夢舞台国際会議場 (兵庫県)
    • Year and Date
      2010-03-01
    • Related Report
      2009 Annual Research Report
  • [Presentation] XMLスキーマで定義された型とXPath 式との対応の解析手法2009

    • Author(s)
      大野敦司, 石原靖哲, 藤原融
    • Organizer
      情報処理学会 第75回数理モデル化と問題解決研究会
    • Place of Presentation
      北海道大学 (北海道)
    • Year and Date
      2009-09-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes2009

    • Author(s)
      Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara
    • Organizer
      12th International Symposium on Database Programming Languages
    • Place of Presentation
      Cite Internationale, Lyon, France
    • Year and Date
      2009-08-24
    • Related Report
      2010 Final Research Report
  • [Presentation] A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes2009

    • Author(s)
      Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara
    • Organizer
      The 12th International Symposium on Database Programming Languages
    • Place of Presentation
      Cite Internationale, Lyon, France
    • Year and Date
      2009-08-24
    • Related Report
      2009 Annual Research Report
  • [Presentation] 正規木言語の極大共通構造を表すXPath 式の導出2009

    • Author(s)
      小倉達也, 石原靖哲, 藤原融
    • Organizer
      2009年夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿 松島 (宮城県)
    • Year and Date
      2009-07-22
    • Related Report
      2009 Annual Research Report
  • [Presentation] データベースへの推論攻撃に対する問合せ解像度の高低関係を用いたインスタンス独立の安全性定義の提案2009

    • Author(s)
      廣田祐一, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      ヤマハリゾートつま恋(静岡県)
    • Year and Date
      2009-03-09
    • Related Report
      2010 Final Research Report
  • [Presentation] XMLデータベースへの関数従属性を用いた推論攻撃に対する安全性の定式化とその検証法の提案2009

    • Author(s)
      阪野 公秀, 橋本 健二, 石原 靖哲, 藤原 融
    • Organizer
      データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      静岡県掛川市
    • Related Report
      2008 Annual Research Report
  • [Presentation] データベースへの推論攻撃に対する問合せ解像度の高低関係を用いたインスタンス独立の安全性定義の提案2009

    • Author(s)
      廣田祐一, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      データ工学と情報マネジメントに関するフォーラム
    • Place of Presentation
      静岡県掛川市
    • Related Report
      2008 Annual Research Report
  • [Presentation] データベースへの推論攻撃に対する問合せ解像度に基づいた安全性定義の提案2008

    • Author(s)
      廣田祐一, 橋本健二, 石原靖哲, 藤原融
    • Organizer
      コンピュータセキュリティシンポジウム2008
    • Place of Presentation
      沖縄コンベンションセンター(沖縄県)
    • Year and Date
      2008-10-09
    • Related Report
      2010 Final Research Report
  • [Presentation] Verification of the Security against Inference Attacks on XML Databases2008

    • Author(s)
      K. Hashimoto, F. Takasuka, K. Sakano, Y. Ishihara, T. Fujiwara
    • Organizer
      10th Asia Pacific Web Conference
    • Place of Presentation
      中国・瀋陽
    • Related Report
      2008 Annual Research Report
  • [Presentation] XMLデータベースへの関数従属性を用いた推論攻撃に対する安全性の定式化とある条件下での安全性検証法の提案2008

    • Author(s)
      阪野 公秀, 橋本 健二, 石原 靖哲, 藤原 融
    • Organizer
      コンピュータセキュリティシンポジウム2008
    • Place of Presentation
      沖縄県宜野湾市
    • Related Report
      2008 Annual Research Report
  • [Presentation] データペースへの推論攻撃に対する問合せ解像度に基づいた安全性定義の提案2008

    • Author(s)
      廣田 祐一, 橋本 健二, 石原 靖哲, 藤原 融
    • Organizer
      コンピュータセキュリティシンポジウム2008
    • Place of Presentation
      沖縄県宜野湾市
    • Related Report
      2008 Annual Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi